Activity
From 04 Apr 2017 to 03 May 2017
03 May 2017
-
13:44 CoCoA-5 Support #851: Release: CoCoA-5.2.0
- released cocoa for linux
(asked testing)
02 May 2017
-
15:01 CoCoA-5 Support #851: Release: CoCoA-5.2.0
- -- release for Mac is done
-
15:00 CoCoA-5 Support #265: Linking problems in CoCoA-5 GUI
- To be honest I do not recall encountering this problem in a very long time, but I also do not recall ever resolving i...
-
14:55 CoCoALib Feature #253: W.Bruns's wish list
- Task (6): convert a ringelem to an integer or rational should be fairly easy via *@ConvertTo@*:
here is a simplistic... -
14:42 CoCoA-5 Design #766: CoCoA version number: copy CoCoALib
- Anna Maria Bigatti wrote:
> COCOA5_VER_MINMIN is not in configuration/version.
> Where is it? I'm looking for it.
... -
14:35 CoCoA-5 Design #766: CoCoA version number: copy CoCoALib
- COCOA5_VER_MINMIN is not in configuration/version.
Where is it? I'm looking for it.
01 May 2017
-
21:28 CoCoA-5 Support #851: Release: CoCoA-5.2.0
- last minute bug fix: IsPrimary false positive in some cases (found by Sandro Logar)
-
10:43 CoCoA-5 Slug #1047 (Closed): NewPolyRing with user defined ordering is slower than CoCoALib
- Anna Maria Bigatti wrote:
> Still missing: make speed tests with GroebnerFan (I had some strange results)
The tim...
29 Apr 2017
-
08:39 CoCoA-5 Slug #1047: NewPolyRing with user defined ordering is slower than CoCoALib
- Still missing: make speed tests with GroebnerFan (I had some strange results)
-
08:36 CoCoALib Feature #931 (Closed): GBasis verbose mode
-
08:35 CoCoALib Feature #1053 (Resolved): New function: IdealOfGBasis, IdealOfMinGens in CoCoALib
- Still missing: copy flags.
-
08:34 CoCoA-5 Feature #996 (Closed): New function: IdealOfGBasis
-
08:31 CoCoALib Feature #957 (Closed): New function: HasGBasis
-
08:28 CoCoA-5 Support #187: CoCoA-5 (partial) releases: make the process simpler
- Decision: corresponding CoCoALib versions will end with "0"
Still missing: release script for windows.
28 Apr 2017
-
23:17 CoCoALib Feature #1050 (Closed): ExternalLibs: function for getting info
- While it may not be strictly correct to do it this way, I am closing this issue. We can proceed with the current imp...
-
20:22 CoCoA-5 Feature #708 (Feedback): ExternalLib Normaliz: verbose flag?
-
20:18 CoCoA-5 Feature #708: ExternalLib Normaliz: verbose flag?
- Done.
Two functions (4 in cocoalib, for default and for cone): @NmzSetVerbosityLevel/NmzVerbosityLevel@, as in cocoa... -
20:15 CoCoA-5 Feature #708: ExternalLib Normaliz: verbose flag?
- Normaliz has only two levels of verbosity: off or on. Via libnormaliz this can be toggled. I think the CoCoA interfac...
-
19:21 CoCoA-5 Feature #708: ExternalLib Normaliz: verbose flag?
- OK for the names @XXXSetVerbosityLevel@ and @XXXVerbosityLevel@ where @XXX@ could be @Nmz@ or some other prefix for a...
-
16:46 CoCoA-5 Feature #708: ExternalLib Normaliz: verbose flag?
- John Abbott wrote:
> Currently Normaliz has just two verbosity levels (@true@ and @false@).
> There is not much pro... -
16:32 CoCoA-5 Feature #708: ExternalLib Normaliz: verbose flag?
- Currently Normaliz has just two verbosity levels (@true@ and @false@).
There is not much problem in saying that nume... -
16:02 CoCoA-5 Feature #708: ExternalLib Normaliz: verbose flag?
- John Abbott wrote:
> If the behaviour from the point of view of a user is similar to that of CoCoA's own @SetVerbosi... -
13:41 CoCoA-5 Feature #708: ExternalLib Normaliz: verbose flag?
- If the behaviour from the point of view of a user is similar to that of CoCoA's own @SetVerbosityLevel@ then it would...
-
12:16 CoCoA-5 Feature #708: ExternalLib Normaliz: verbose flag?
- should we call it @NmzSetVerbosityLevel@?
-
11:32 CoCoA-5 Feature #708: ExternalLib Normaliz: verbose flag?
- JAA prefers that there be independent verbosity settings for CoCoALib and any external libraries.
-
09:13 CoCoA-5 Feature #708: ExternalLib Normaliz: verbose flag?
- Should we pass the VerbosityLevel from CoCoALib?
-
19:21 CoCoA-5 Feature #1045 (Closed): Error message from cocoalib to cocoa-5
-
09:20 CoCoA-5 Feature #1045: Error message from cocoalib to cocoa-5
- function renamed @message_forC5@ and moved in @CoCoALibSupplement@
-
19:21 CoCoA-5 Feature #1043 (Closed): New function: IsCoprime
-
19:06 CoCoA-5 Design #1051 (Closed): ReadExpr(P, string) and RingElem(P, string)
- I made ReadExpr obsolescent (in CoCoA-5).
Not convinced 100% it is right, but it's not too wrong either.
documented... -
17:08 CoCoA-5 Support #851: Release: CoCoA-5.2.0
- Fixed all bugs in manual (found with make ManExamples)
-
15:49 CoCoA-5 Support #851: Release: CoCoA-5.2.0
- Another run of make ManExamples
-
17:02 CoCoALib Support #1056 (Closed): Release: CoCoALib-0.99560 (together with CoCoA-5.2.2)
- Everything related to making a CoCoALib release:
# Redmine Roadmap: close or postpone issue
# Redmine Release iss... -
16:20 CoCoA-5 Design #1018 (Closed): Interpreter: limit range for ".." operator
- I have changed the code (@Interpreter.C:3643@) so that the limit is 10^7 values; also changed the error message and t...
-
15:20 CoCoA-5 Design #1018: Interpreter: limit range for ".." operator
- John Abbott wrote:
> I have added a note to the man page about "range operator".
>
> I wonder whether a limit of ... -
15:10 CoCoA-5 Design #1018: Interpreter: limit range for ".." operator
- I have added a note to the man page about "range operator".
I wonder whether a limit of 10^7 would be better than ... -
16:14 CoCoALib Bug #228 (Closed): libcocoa sometimes built without its index
- Since Winfried does not recall anything about this issue, I think we can regard it as having been resolved at some po...
-
14:54 CoCoALib Bug #228: libcocoa sometimes built without its index
- I have completely forgotten what the problem was. I don't think it is relevant anymore.
-
13:49 CoCoALib Bug #228 (In Progress): libcocoa sometimes built without its index
- We should ask Winfried if this problem has arisen lately. I have never seen anything like it, and I suspect that Win...
-
11:12 CoCoALib Bug #228: libcocoa sometimes built without its index
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... -
16:05 CoCoALib Feature #1016 (Closed): ReducedGBasis for RingWeyl (and other non-commutative rings)
- Checked: interreduction does not depend on commutativity.
Cleaned up. Closing
-
15:40 CoCoA-5 Feature #175: Approximate BuchbergerMoeller: port to CoCoA-5
- OK, postponed: I did not receive enough information to make a decision.
-
15:12 CoCoA-5 Feature #175 (In Progress): Approximate BuchbergerMoeller: port to CoCoA-5
- Is it better to postpone this than try to rush it?
-
15:17 CoCoALib Design #829: PPOrderingCtor: name of mem fn which actually constructs?
- John Abbott wrote:
> @NewLexOrdering(N)@ or @lex(N)@.
> I wonder whether we should simply eliminate the fn @NewLe... -
15:16 CoCoALib Design #822 (Closed): Should ElimMat return a ConstMatrix
-
15:14 CoCoA-5 Support #973 (Closed): GroebnerFanIdeals: verbosity and output style
- This seems to work well now.
Sometimes it is slow, but I think that is GFan's fault.
Closing.
-
15:03 CoCoALib Feature #253: W.Bruns's wish list
- An issue I stumbled on recently is 3) from my wish list. I think it is not yet implemented. Suppose I produce a polyn...
-
11:28 CoCoALib Feature #253: W.Bruns's wish list
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... -
14:49 CoCoA-5 Feature #711: External Libs: print credits?
- The Normaliz header of the development version that will soon become 3.3.0 now lists the external packages compiled i...
-
14:34 CoCoA-5 Support #521: Manual: automatically check all examples
- it is in the checklist in #851 ;-)
which I copy for every release -
14:14 CoCoA-5 Support #521 (Closed): Manual: automatically check all examples
- WQe mustremember to do this before each release!Closing
-
09:16 CoCoA-5 Support #521: Manual: automatically check all examples
- John, close this issue, as done in #558?
-
14:31 CoCoA-5 Bug #1055 (Resolved): CoCoAManual: duplication (2 pages for operators)
-
14:31 CoCoA-5 Bug #1055: CoCoAManual: duplication (2 pages for operators)
- operators, shortcuts
is in the list of commands/functios
CoCoA operators
is in the chapter about operators. I... -
11:47 CoCoA-5 Bug #1055: CoCoAManual: duplication (2 pages for operators)
- I also note that in the page for @operators, shortcuts@ we use @..@ to mean "missing expression" but also to mean the...
-
11:46 CoCoA-5 Bug #1055 (Closed): CoCoAManual: duplication (2 pages for operators)
- Why are there the following two manual pages?...
-
13:37 CoCoALib Feature #573 (Closed): Use symbolic links for external libraries
- This has been in feedback for ages (more than 2 years). I have tested on various different Linus platforms, and Anna...
-
11:31 CoCoALib Feature #573: Use symbolic links for external libraries
- I think this is well tested now.
This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and... -
13:35 CoCoALib Feature #575: Investigate using cmake for configuration
- We should talk to the Normaliz people again to see what they think of @cmake@ after some time using it. I thought I ...
-
11:30 CoCoALib Feature #575: Investigate using cmake for configuration
- If I recall well someone (ICMS Seoul) suggested us to keep our handwritten configure.
This issue was under "CoCoA"... -
11:50 CoCoALib Design #933: Separate configure scripts for CoCoALib and CoCoA-5
- Oh, I am of the opposite opinion.
Whatever solution we adopt, it should be as easy as possible to configure and bu... -
11:27 CoCoALib Design #933: Separate configure scripts for CoCoALib and CoCoA-5
- I'd rather not.
First of all, it works as it is.
Secondly, CoCoALib and CoCoA-5 are strictly related: nice to keep ... -
11:42 CoCoA-5 Support #1054: CoCoAManual: improved search, or improved selection of "see also" pages
- One possibility is to number the "see also" pages and offer a way to chose by number; for instance...
-
11:37 CoCoA-5 Support #1054 (New): CoCoAManual: improved search, or improved selection of "see also" pages
- I wanted to see the manual page for @SetVerbosityLevel@, but also wanted to be lazy, so I typed:...
-
11:27 CoCoALib Support #26: Redmine Administration
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... -
11:23 CoCoALib Design #752: Investigate using Boost.build instead of make
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... -
11:21 CoCoALib Support #574: Tidy CoCoA root directory
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... -
11:21 CoCoA-5 Support #439: CoCoA website: download pages and installing instructions
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... -
11:19 CoCoALib Design #360: CoCoAServer: what future, what issues?
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... -
11:18 CoCoALib Support #262: Play with GIT
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... -
11:17 CoCoALib Feature #255: Use BOOST lib default location if possible
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... -
11:11 CoCoALib Feature #37: matrix constructors
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... -
11:06 CoCoALib Support #676 (In Progress): Credits to CoCoALib contributors
- I would like to make a page like this: (contributions to emacs)
[[http://gnu.huihoo.org/emacs/24.4/emacs-editor/Ackn... -
11:04 CoCoALib Design #855: Copyright and authorship?
- I'm slowly doing it:
we have contacted most contributors and obtained their permission.
Some have also sent the sig... -
09:24 CoCoA-5 Design #868 (Closed): Der, Bin: why the capital letter?
-
09:10 CoCoA-5 Feature #1021: CoCoA Manual: search should ignore multiple spaces
- ? file io --> ? file io
? factor ; abcdefg --> don't know, maybe ? factor
? factor -- comment
? ...
27 Apr 2017
-
23:56 CoCoA-5 Feature #1021: CoCoA Manual: search should ignore multiple spaces
- I have written a simple implementation of @CleanupKeyword@, but it is rather different from the current version.
R... -
15:27 CoCoA-5 Feature #1021 (In Progress): CoCoA Manual: search should ignore multiple spaces
- There is a fn called *@CleanupKeyword@* at around @OnlineHelp.C:600@.
This is probably what needs to be changed!
-
18:29 CoCoA-5 Support #851: Release: CoCoA-5.2.0
- make ManExamples
done -
18:21 CoCoALib Feature #1050: ExternalLibs: function for getting info
- Anna Maria Bigatti wrote:
> But I think useful (in addition) the actual name of the "lib" file, together with the st... -
08:46 CoCoALib Feature #1050: ExternalLibs: function for getting info
- I compiled and it works fine.
I don't much like the "lib" names:... -
18:14 CoCoA-5 Feature #996 (Feedback): New function: IdealOfGBasis
- John Abbott wrote:
> Cosa dovrebbe fare il seguente?
fixed -
18:05 CoCoA-5 Design #868: Der, Bin: why the capital letter?
- done, tested.
-
17:43 CoCoA-5 Design #868: Der, Bin: why the capital letter?
- John Abbott wrote:
> Can we move @Der@ and @Bin@ to @obsolescent.cpkg5@?
yes. -
17:15 CoCoA-5 Design #868: Der, Bin: why the capital letter?
- Can we move @Der@ and @Bin@ to @obsolescent.cpkg5@?
-
17:37 CoCoA-5 Design #1051: ReadExpr(P, string) and RingElem(P, string)
- I also made a small improvement to @RingElem(Ring, RingElem)@ for the (effectively useless) case when there is ring c...
-
16:38 CoCoA-5 Design #1051 (Resolved): ReadExpr(P, string) and RingElem(P, string)
- Updated the documentation for @RingElem@.
Now I'm ready to make @ReadExpr@ obsolescent. Should I do it now or postp... -
17:35 CoCoALib Feature #1052: ReadExpr(P, string) and RingElem(P, string) in CoCoALib
- updated all examples
-
15:54 CoCoALib Feature #1052: ReadExpr(P, string) and RingElem(P, string) in CoCoALib
- Done, documented, tested.
RingElem is better than ReadExpr because it highlights it is just for *one* RingElem.
-
17:19 CoCoA-5 Design #1018: Interpreter: limit range for ".." operator
- sounds good to me
-
17:09 CoCoA-5 Design #1018 (Feedback): Interpreter: limit range for ".." operator
- In fact this has already been implemented: there is an arbitrary upper limit of 10^8 elements in the result.
Perhaps... -
15:38 CoCoA-5 Bug #1046 (Closed): CoCoA-5 no longer lists the external libs present
- Now it works well enough.
Closing! -
09:09 CoCoA-5 Bug #1046 (Resolved): CoCoA-5 no longer lists the external libs present
- Added to @VersionInfo@ (in @BuiltinFunctions.C@) the field @ExternalLibs@.
-
15:35 CoCoA-5 Slug #405 (Closed): ReducedGBasis not memorized in an ideal
- Closing after 5 months in feedback. A quick test shows that the RGB is now correctly memorized: well, the example gi...
-
15:30 CoCoA-5 Slug #709: Speed of some Normaliz calls (NmzComputation)
- Postponing as this is likely to take some time to comprehend and resolve. It is also "not critical" in that there is...
-
15:20 CoCoA-5 Support #1040 (Closed): CoCoAManual: entry for SetVerbosityLevel/VerbosityLevel
- I have just improved the entries for @VerbosityLevel@ and @SetVerbosityLevel@. Checked in. Closing.
-
15:09 CoCoA-5 Support #1000 (In Progress): CoCoAManual for "all cocoa commands"
- Postponing (because it will take some time), but also increasing priority.
-
15:03 CoCoA-5 Support #863 (Closed): CoCoA-5 manual: IsInteger and IsRational are missing?
-
15:01 CoCoALib Feature #1016 (Feedback): ReducedGBasis for RingWeyl (and other non-commutative rings)
- I think this is done automatically.
I did not write an example, but I think the problem was about a bug in the inter... -
15:01 CoCoA-5 Slug #798: use poly ring with many variables is too slow
- I do not like the fact that the last comment expressed doubt... but obviously I was too lazy to give any details. As...
-
14:57 CoCoA-5 Feature #877 (Closed): Easier syntax to make a PRINCIPAL ideal?
- Closing after 7 months in feedback.
-
14:45 CoCoA-5 Bug #748: Emacs UI: return inside a block of output sends several lines (not just the one I'm on)
- Great thanks!! I realized only now this was the problem I had!
Teasted: it works on old emacs too.
-
11:30 CoCoA-5 Bug #748 (Closed): Emacs UI: return inside a block of output sends several lines (not just the one I'm on)
- This has been in feedback for 10 months. I've not noticed any "nasty surprises" using Emacs, so it is probably OK no...
-
14:34 CoCoA-5 Bug #878 (Closed): RingElem applied to a symbol (repr as a string)
-
11:43 CoCoA-5 Feature #909 (Closed): ReadExpr: decimal point
- Closing after 7 months in feedback without any problems (but probably not much stress testing either).
-
11:40 CoCoA-5 Feature #711 (Closed): External Libs: print credits?
- I think it is best to skip the fancy idea suggested in comment 7, at least for the time being.
Closing after 7 mon... -
11:35 CoCoA-5 Bug #1028 (Closed): Readline: cursor moves wrongly when at start of line with a prompt
- Closing after about 1 month effectively in feedback.
I hardly ever use the readline interface myself -- almost alway... -
11:31 CoCoA-5 Bug #1002 (Closed): Emacs UI: cocoa5-send-line skips too many chars
- Closing after 3 months in feedback, and no problems have come up.
26 Apr 2017
-
22:35 CoCoALib Feature #1050: ExternalLibs: function for getting info
- Found missing include.
Also added mathsat and gsl -
18:55 CoCoALib Feature #1050: ExternalLibs: function for getting info
- It says:...
-
17:44 CoCoALib Feature #1050 (Feedback): ExternalLibs: function for getting info
- I have checked in some documentation.
-
17:04 CoCoALib Feature #1050 (Resolved): ExternalLibs: function for getting info
- I have just checked-in my implementation (after some cleaning).
I have also modified @src/CoCoA-5/Banner.C@ so that ... -
14:20 CoCoALib Feature #1050: ExternalLibs: function for getting info
- John Abbott wrote:
> We could simply set the field to @UNKNOWN@ or maybe @Unknown but >= v2.3.4@
OK -
14:10 CoCoALib Feature #1050: ExternalLibs: function for getting info
- I am not yet convinced that having 2 fields is a good idea.
We could simply set the field to @UNKNOWN@ or maybe @U... -
09:41 CoCoALib Feature #1050: ExternalLibs: function for getting info
- John Abbott wrote:
> I have a first prototype (sent to Anna by email). Currently, it is just a program in @examples... -
09:36 CoCoALib Feature #1050: ExternalLibs: function for getting info
- John Abbott wrote:
> An alternative file in which to put the function(s) is *@BuildInfo.H/C@*.
> Advantage: no need... -
21:56 CoCoALib Feature #1053: New function: IdealOfGBasis, IdealOfMinGens in CoCoALib
- John Abbott wrote:
> Is the intention that the gens given are *the reduced GBasis* (wrt ring ordering)?
Good ques... -
19:56 CoCoALib Feature #1053: New function: IdealOfGBasis, IdealOfMinGens in CoCoALib
- Is the intention that the gens given are *the reduced GBasis* (wrt ring ordering)?
Or do you want to allow any GBasi... -
18:02 CoCoALib Feature #1053 (Feedback): New function: IdealOfGBasis, IdealOfMinGens in CoCoALib
- Moved from cocoa-5 to cocoalib, updated calling code, and documented.
-
18:00 CoCoALib Feature #1053 (Closed): New function: IdealOfGBasis, IdealOfMinGens in CoCoALib
- port these 2 functions in cocoalib.
-
19:04 CoCoA-5 Feature #903 (Closed): New function CallOnGroebnerFanIdeals: call function on GFan ideals
- Updated manual (after cleaned up example in GBForEveryone paper).
closing. -
18:00 CoCoALib Slug #1049: GroebnerFan: slow examples
- Here are some examples with binomial ideals:...
-
15:31 CoCoALib Slug #1049 (In Progress): GroebnerFan: slow examples
- Here is a strange example:...
-
17:25 CoCoA-5 Feature #883 (Closed): gin: return/print a suitable change of variables
- With verbosity we print the changes used. I think this was the actual request by Werner Seiler, so I close this issu...
-
17:20 CoCoA-5 Feature #1038 (Closed): Emacs: sent interrupt to CoCoA
- Works for John (new emacs) and for me (old emacs).
Good.
Closing. -
17:19 CoCoA-5 Design #998 (Closed): Emacs UI: sending empty input from cocoa5 buffer
-
17:18 CoCoA-5 Feature #978: CommonDenom: for polys and lists?
- * We are going to work on this, better postpone this.
-
16:58 CoCoA-5 Support #977: "universal denominator" (related with GroebnerFanIdeals)
- I think we are going to do more work on this topic. Postponing to next release.
-
16:49 CoCoA-5 Design #1020: Rename minimalized(I) into IdealOfMinGens(I)?
- Changed my mind :-(
@minimalized@ is also for modules. This needs more thinking.
Postponing to next release. -
16:06 CoCoA-5 Design #1020: Rename minimalized(I) into IdealOfMinGens(I)?
- I'm about to make @minimalized@ obsolescent (cocoa and cocoalib).
Should I do the same for @minimalize@ (suggesting... -
16:00 CoCoA-5 Bug #963 (Closed): Manual: XML problem with html doc
-
15:56 CoCoA-5 Bug #870 (Closed): GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()
-
15:01 CoCoALib Feature #931 (Feedback): GBasis verbose mode
- Verbosity is also related to printing final statistics (#730).
That might change, but the basic progress information... -
14:51 CoCoALib Feature #931: GBasis verbose mode
- I cleaned up the code a bit, and settled some values for verbosity.
100 and 101 give some basic informations, for al... -
14:57 CoCoALib Feature #730: Stats in GBMill (GReductor)
- Current version is OK, probably not final but acceptable for version 99550/5.2.0
-
14:26 CoCoALib Feature #1052: ReadExpr(P, string) and RingElem(P, string) in CoCoALib
- John Abbott wrote:
> If in CoCoA-5 we are happy to have @RingElem(P, str)@ do what @ReadExpr(P, str)@ currently does... -
13:52 CoCoALib Feature #1052 (In Progress): ReadExpr(P, string) and RingElem(P, string) in CoCoALib
- We should try to keep CoCoALib similar to CoCoA-5 (or make CoCoALib simpler if it is different from CoCoA-5).
If i... -
12:23 CoCoALib Feature #1052 (Closed): ReadExpr(P, string) and RingElem(P, string) in CoCoALib
- Should we have in CoCoALib (as in CoCoA-5) @RingElem(P, string)@ behaving like @ReadExpr(P, string)@?
Currently ther... -
13:51 CoCoA-5 Design #1051: ReadExpr(P, string) and RingElem(P, string)
- John Abbott wrote:
> Should we make *@ReadExpr@* obsolescent?
Not before deciding if we want to do the same in Co... -
13:31 CoCoA-5 Design #1051 (In Progress): ReadExpr(P, string) and RingElem(P, string)
- Should we make *@ReadExpr@* obsolescent?
-
11:07 CoCoA-5 Design #1051: ReadExpr(P, string) and RingElem(P, string)
- Done (cocoa5) and checked in.
-
09:12 CoCoA-5 Design #1051: ReadExpr(P, string) and RingElem(P, string)
- OK, I'll implement "3".
Should I modify CoCoALib as well?
-
13:34 CoCoA-5 Bug #878: RingElem applied to a symbol (repr as a string)
- John Abbott wrote:
> Or should we just wait until the function is really needed? The @sprint@ solution can be used ... -
13:28 CoCoA-5 Bug #878 (Resolved): RingElem applied to a symbol (repr as a string)
- As already indicated in the description, I do not much like the awkward syntax @RingElem(P, ["a",i])@.
I do see th... -
10:36 CoCoA-5 Bug #878: RingElem applied to a symbol (repr as a string)
- Fixed, now calls @ReadExpr@.
Documented.
I kept the syntax @RingElem(P, ["a", i])@ because it allows variable indic...
25 Apr 2017
-
17:57 CoCoA-5 Design #1051: ReadExpr(P, string) and RingElem(P, string)
- If we make @RingElem(P, str)@ behave like @ReadExpr(P, str)@ then @ReadExpr@ becomes essentially redundant.
I thin...
24 Apr 2017
-
18:11 CoCoA-5 Design #1051: ReadExpr(P, string) and RingElem(P, string)
- Currently implemented 2, meaningful error message.
-
17:15 CoCoA-5 Design #1051 (Closed): ReadExpr(P, string) and RingElem(P, string)
- In cocoalib we have ReadExpr(P, *string*) and RingElem(P, *symbol*), but in cocoa-5 they both take a string.
I spent... -
17:55 CoCoALib Design #1019 (Closed): CPP flags in installed library
- I am now sufficiently convinced by the current design that I am closing this issue.
The flags in @PREPROCESSOR_DEFNS... -
17:37 CoCoALib Feature #1050: ExternalLibs: function for getting info
- I have a first prototype (sent to Anna by email). Currently, it is just a program in @examples/@.
The main proble... -
14:39 CoCoALib Feature #1050: ExternalLibs: function for getting info
- An alternative file in which to put the function(s) is *@BuildInfo.H/C@*.
Advantage: no need to create any new fil... -
14:21 CoCoALib Feature #1050 (In Progress): ExternalLibs: function for getting info
- I propose putting the new function(s) in a new file called @ExternalLibs.H@ (and @ExternalLibs.C@ of course!).
This ... -
14:14 CoCoALib Feature #1050 (Closed): ExternalLibs: function for getting info
- I propose a new feature: CoCoALib should offer a function(s) for finding out which "external libraries" have been com...
22 Apr 2017
-
23:23 CoCoALib Design #1019: CPP flags in installed library
- Can we close this issue and open a new one about the problem of CoCoA-5 not seeing which external libs are in CoCoALi...
-
23:19 CoCoALib Design #829: PPOrderingCtor: name of mem fn which actually constructs?
- Anna, you have not answered my question in comment 6: whether to make obsolescent @NewLexOrdering@
-
23:09 CoCoALib Design #822 (Feedback): Should ElimMat return a ConstMatrix
- The current code works without any apparent problems, so we can just accept it as it is. It may not be the best desi...
-
23:03 CoCoALib Support #944: Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
- I am hoping this can be completed very soon (within a week?).
I have just run @make valgrind@ in @src/tests/@ and ... -
22:57 CoCoALib Feature #357: Constructor for vectors? CoCoAVector
- Anna, can we postpone this to the next release?
I think that the problem I mentioned in comment 14 means that this... -
22:55 CoCoALib Bug #1004 (Closed): In scripts: use portable test for absolute paths
- Closing after 2 months in feedback without any problems being reported.
-
22:52 CoCoALib Feature #1036 (Closed): LogStream: stream for log output
- I have redesigned the interface to use a RAII-style approach. Documentation and example has been updated.
So the do... -
22:46 CoCoALib Feature #1008 (Closed): square function
- The solution is: *we do not define a @square@ function*. Use @power(...,2)@ instead!
-
22:43 CoCoALib Bug #1048 (Closed): Several tests fail when threadsafe-hack is active
- Closing because it has been properly solved. I hope I'll be more careful next time... if there is a next time.
-
22:42 CoCoALib Bug #1015 (Closed): Bruns SEGV: SparsePolyIter/DMPI problem
- Regarding this as solved by issue #1019. Closing.
21 Apr 2017
-
22:52 CoCoALib Feature #357: Constructor for vectors? CoCoAVector
- The example use in @ex-RingHom4.C@ did not work properly:...
-
17:59 CoCoALib Design #427: Error names and error messages (current design)
- .... just to explain what I'm doing and why: I'm doing some other things, and making mistakes (.... ehm... I'm making...
-
17:57 CoCoALib Design #427: Error names and error messages (current design)
- I simplified a few error messages and clarified error for @PolyRingHom@. Excerpt (...
-
17:08 CoCoALib Feature #961 (Closed): New function: ReducedGBasis
-
15:32 CoCoALib Feature #961: New function: ReducedGBasis
- I checked the example in https://cocoa.dima.unige.it/redmine/issues/418.
I convinced myself that this cannot happen ... -
15:14 CoCoALib Feature #961: New function: ReducedGBasis
- Subtle.... I think there were two problems: I fixed one (now repeating the cycle if a new LPP is found during interre...
-
11:09 CoCoALib Feature #961 (Resolved): New function: ReducedGBasis
- Found bug in interreduction....
20 Apr 2017
-
10:04 CoCoALib Slug #1049: GroebnerFan: slow examples
- John Abbott wrote:
> NOTE: this really ought to be a new issue... but hopefully Anna will fix it in a flash!
Emba... -
10:02 CoCoALib Feature #780: GroebnerFan/ExternalLib-GFan: improve package
- Abbott found this gives error (#1049)...
-
09:32 CoCoALib Design #427: Error names and error messages (current design)
- My current thoughts abou the design of errors is that CoCoALib errors will be represented as instances of very few di...
19 Apr 2017
-
20:56 CoCoALib Slug #1049: GroebnerFan: slow examples
- The following example fails:...
-
16:41 CoCoALib Slug #1049: GroebnerFan: slow examples
- Here are some @GroebnerFanIdeals@ examples which take a long time:...
-
16:37 CoCoALib Slug #1049 (In Progress): GroebnerFan: slow examples
- Possibly not too relevant to CoCoA(Lib), but I wanted to collect some challenging GFAN examples.
-
18:13 CoCoA-5 Feature #996: New function: IdealOfGBasis
- Cosa dovrebbe fare il seguente?...
-
14:40 CoCoALib Feature #765: ExternalLib-CDD: (needed by GFan)
- I still have to intervene manually to make GFAN compile even when CDD has been installed (apparently correctly).
T... -
14:30 CoCoALib Design #1019 (Feedback): CPP flags in installed library
- CoCoALib now compiles fine with this new approach to handling CPP flags.
There remains a problem with the way (dod... -
13:38 CoCoALib Feature #385: Design new errors using inheritance
- Following on from my comment 14... well, assuming that we adopt that approach...
This means that practically all e... -
08:28 CoCoALib Feature #385: Design new errors using inheritance
- There are some notes about "classes of errors" in the CoCoALib documentation for error, section "=== new improved lis...
-
08:13 CoCoALib Feature #385: Design new errors using inheritance
- From another point of view (kind of bottom-up).
What we have now shows a few of these situations... -
09:42 CoCoALib Design #427: Error names and error messages (current design)
- I think that, while thinking of the design using inheritance, it would help to simplify the current design. If we de...
-
08:39 CoCoALib Design #427: Error names and error messages (current design)
- In the error messages there are some "is not" and some "must be"...
-
08:36 CoCoALib Design #427 (In Progress): Error names and error messages (current design)
-
08:16 CoCoALib Design #427: Error names and error messages (current design)
- Anna Maria Bigatti wrote:
> Many errors now are called *Not...* (e.g. *NotNonZero*) but that's ambiguous/confusing.
... -
08:31 CoCoALib Feature #92 (In Progress): Error Codes: BadIndex
18 Apr 2017
-
22:54 CoCoALib Feature #385: Design new errors using inheritance
- It seems that about 2 years ago I already had the idea that all exceptions originating from CoCoALib should be derive...
-
17:49 CoCoALib Bug #1048 (Feedback): Several tests fail when threadsafe-hack is active
- As soon as had I created this issue, I had an idea how to solve the problem...
There were some missing @#include "Co... -
17:41 CoCoALib Bug #1048 (Closed): Several tests fail when threadsafe-hack is active
- Several tests fail when CoCoALib has been configured with @--threadsafe-hack@.
All failures are of the type "non-zer... -
12:09 CoCoALib Feature #730 (In Progress): Stats in GBMill (GReductor)
- Studying and organizing the old @GRStats@ code by Max Caboara.
Now adapting it to @VerbosityLevel@.
-
11:11 CoCoA-5 Slug #1047 (Feedback): NewPolyRing with user defined ordering is slower than CoCoALib
- Of course I wrote this issue after solving it ;-)
While comparing two functions using GBases with an elimination o... -
10:58 CoCoA-5 Slug #1047 (Closed): NewPolyRing with user defined ordering is slower than CoCoALib
14 Apr 2017
-
14:56 CoCoALib Feature #730: Stats in GBMill (GReductor)
- This issue is about "Stats", i.e. gathering info about number of pairs, timings, etc.
This is strictly related with ...
13 Apr 2017
-
22:27 CoCoA-5 Bug #1046: CoCoA-5 no longer lists the external libs present
- The problem is that the technique used employs a "hack" which reads the command line flags for the compiler.
The n... -
22:25 CoCoA-5 Bug #1046 (Closed): CoCoA-5 no longer lists the external libs present
- Previously CoCoA-5 listed which external libs had been compiled in.
It no longer does so (except for READLINE).
F... -
17:43 CoCoA-5 Feature #1045 (Feedback): Error message from cocoalib to cocoa-5
- Following what I said here:
https://cocoa.dima.unige.it/redmine/issues/743#note-7
I added in @Interpreter.C@ a fu... -
17:35 CoCoA-5 Feature #1045 (Closed): Error message from cocoalib to cocoa-5
- improve error message given by cocoa-5 for errors arising from cocoalib
-
17:29 CoCoALib Feature #92: Error Codes: BadIndex
- Anna Maria Bigatti wrote:
> There are some notes about "classes of errors" in the CoCoALib documentation for @error@... -
17:17 CoCoALib Feature #92: Error Codes: BadIndex
- There are some notes about "classes of errors" in the CoCoALib documentation for @error@, section "=== new improved l...
-
17:20 CoCoALib Feature #743: Better errors: give supplementary info about the error
- There are some notes about "classes of errors" in the CoCoALib documentation for error, section "=== new improved lis...
-
14:56 CoCoALib Feature #743: Better errors: give supplementary info about the error
- I agree that resolving this issue will take more time than we can invest in the next release.
I think it would be ... -
14:31 CoCoALib Feature #743: Better errors: give supplementary info about the error
- On the line of what I said earlier, I implemented in Interpreter.C the function @MESSAGE(err)@ to be called instead o...
-
14:01 CoCoALib Feature #743: Better errors: give supplementary info about the error
- John Abbott wrote:
> I agree that @BadArg@ is unhelpful. It would be nice to settle this matter, and it would be ni... -
13:43 CoCoALib Feature #743: Better errors: give supplementary info about the error
- I agree that @BadArg@ is unhelpful. It would be nice to settle this matter, and it would be nice to find some guidel...
-
09:40 CoCoALib Feature #743 (In Progress): Better errors: give supplementary info about the error
- I'm getting quite annoyed with getting @The arg(s) given are unsuitable@ in CoCoA-5: looks like being back at the CoC...
10 Apr 2017
-
17:55 CoCoA-5 Feature #1044 (Closed): New function: SectionalMatrix, PrintSectionalMatrix
-
17:43 CoCoA-5 Feature #1017 (Rejected): New function: SetGBasisAsGens [--> NO: use IdealOfGBasis]
-
17:42 CoCoA-5 Feature #1017: New function: SetGBasisAsGens [--> NO: use IdealOfGBasis]
- Update: don't modify ideal, by make a new one with @IdealOfGBasis@
-
17:39 CoCoA-5 Feature #965 (Closed): New function: multigraded BettiNumbers
- All done some time ago (forgot to update this).
Now documented.
-
16:47 CoCoA-5 Feature #845 (Closed): Primary Decomposition in CoCoA-5.1.6: zero dimensional, finite characteristic
- All done, also tests.
-
15:50 CoCoA-5 Feature #1043 (Feedback): New function: IsCoprime
- All done (for power-products).
This function (for power-products!) was already available in CoCoALib, so I just mean... -
15:34 CoCoA-5 Feature #1043: New function: IsCoprime
- Presumably the fn should actually be defined for pairs of @RINGELEM@ from any @TrueGCDDomain@.
Maybe for polynomia... -
14:43 CoCoA-5 Feature #1043 (Closed): New function: IsCoprime
- Add @IsCoprime@ for power-products (as in CoCoALib)
-
11:43 CoCoALib Slug #1042: LF curiously slow (breaking a poly into homog pieces)
- I think this issue is relatively unimportant, hence the "low" priority.
I have put it on redmine just so that we do ... -
11:29 CoCoALib Slug #1042: LF curiously slow (breaking a poly into homog pieces)
- Here is a complete example:...
-
11:25 CoCoALib Slug #1042 (Closed): LF curiously slow (breaking a poly into homog pieces)
- The following loop is curiously slow:...
-
11:40 CoCoALib Support #1039: Rename iroot?
- There is also a fn called *@IsExactIroot(ans, N,r)@*. It returns a @bool@, and puts into @ans@ the truncated integer...
07 Apr 2017
-
22:24 CoCoA-5 Design #1041: Separators for elements of a list
- Here is an example involving a matrix:...
-
22:21 CoCoA-5 Design #1041: Separators for elements of a list
- I have put this in the section CoCoA-5 even though the solution involves (possibly) modifying CoCoALib,
because the ... -
22:19 CoCoA-5 Design #1041 (In Progress): Separators for elements of a list
- Currently elements of a "list" are printed with comma-space-space between successive elements.
The string defining... -
17:19 CoCoA-5 Bug #697: Interpreter: Avoid outputting an empty line after each line of input
- removed the empty lines, and checked in.
I like it! A lot more compact :-)
Have a look, what do you think?
-
16:51 CoCoA-5 Bug #697 (In Progress): Interpreter: Avoid outputting an empty line after each line of input
- There is a class called @OSTREAM@ in @Interpreter.H:274@.
Perhaps that class could contain a flag which says wheth... -
16:23 CoCoA-5 Bug #697: Interpreter: Avoid outputting an empty line after each line of input
- I'm very tempted just to remove this empty line in all cases.... after all I also remove them in the manual and in my...
-
15:56 CoCoA-5 Bug #697: Interpreter: Avoid outputting an empty line after each line of input
- Perhaps the interpreter needs to have a flag saying whether a newline should be printed before printing the prompt.
... -
15:28 CoCoA-5 Bug #697: Interpreter: Avoid outputting an empty line after each line of input
- The line printing the newline is this, in @LineProviders.H@:...
-
16:31 CoCoA-5 Feature #883: gin: return/print a suitable change of variables
- John Abbott wrote:
> Printing out the changes of coordinates is OK as a "temporary fix".
Well, depends on what We... -
11:43 CoCoA-5 Feature #883: gin: return/print a suitable change of variables
- Printing out the changes of coordinates is OK as a "temporary fix".
An equivalent function in CoCoALib should cert... -
10:19 CoCoA-5 Feature #883 (Feedback): gin: return/print a suitable change of variables
- Final decision is:
- two good changes of coordinates are printed when verbosity is set
- a simpler change of coordi... -
14:12 CoCoA-5 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?
- John Abbott wrote:
> It seems a bit odd to have @verbosity@ and @interrupt@ under *@types@*.
@<type>@ is used for... -
11:47 CoCoA-5 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?
- It seems a bit odd to have @verbosity@ and @interrupt@ under *@types@*.
Better @types@ than @keywords@?
-
11:41 CoCoA-5 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?
- also added ...
-
11:24 CoCoA-5 Support #1023 (Resolved): CoCoAManual for verbosity: how to find which levels? how to find which functions?
-
11:20 CoCoA-5 Support #1023: CoCoAManual for verbosity: how to find which levels? how to find which functions?
- I refined my idea: now a function implementing verbosity should have these lines in its manual entry...
-
11:36 CoCoA-5 Feature #996: New function: IdealOfGBasis
- OK to put @IdealOfGBasis@ into @SparsePolyRing.C@ assuming you are convinced that that is the right place.
What ab... -
09:57 CoCoA-5 Feature #996 (Resolved): New function: IdealOfGBasis
-
09:56 CoCoA-5 Feature #996: New function: IdealOfGBasis
- John Abbott wrote:
> I don't recall being opposed to the idea of having @IdealOfGBasis@ (or something similar) in Co... -
10:55 CoCoA-5 Support #1040 (Feedback): CoCoAManual: entry for SetVerbosityLevel/VerbosityLevel
- done, and checked in.
-
10:01 CoCoA-5 Support #1040 (Closed): CoCoAManual: entry for SetVerbosityLevel/VerbosityLevel
- Write manual entry
-
10:13 CoCoA-5 Feature #734 (Closed): Primary Decomposition in CoCoA-5: zero dimensional, zero characteristic
- All done
-
10:09 CoCoA-5 Feature #175: Approximate BuchbergerMoeller: port to CoCoA-5
- To do:
- call TwinFloat
- check documentation
- Now called ApproxPointsNBM/SOI: find better acronym
Laura, Claud... -
09:48 CoCoA-5 Bug #994 (Closed): SEGV: Toric example from Kazuki Maeda
06 Apr 2017
-
23:48 CoCoA-5 Feature #1038: Emacs: sent interrupt to CoCoA
- I have just checked in a new version which should use @use-region-p@ if that fn is defined, o/w it uses @region-activ...
-
14:10 CoCoA-5 Feature #1038: Emacs: sent interrupt to CoCoA
- Well done! :-)
I have made a small change: call @use-region-p@ instead of @region-active-p@
If I understand corr... -
09:34 CoCoA-5 Feature #1038 (Feedback): Emacs: sent interrupt to CoCoA
- Done it!
I've been lucky and found @comint-interrupt-subjob@ quickly.
I had some problems in testing it (@load-file... -
18:04 CoCoALib Support #1039: Rename iroot?
- "better safe than sorry"
the easiest and safest is to give an error when the input is negative.
Even though "Floor"... -
15:20 CoCoALib Support #1039: Rename iroot?
- John Abbott wrote:
> Currently @iroot@ computes the *truncated* integer part of the real root.
> For instance @iroo... -
14:46 CoCoALib Support #1039 (In Progress): Rename iroot?
- Currently @iroot@ computes the *truncated* integer part of the real root.
For instance @iroot(-30,3)@ gives @-3@ as ... -
14:42 CoCoALib Support #1039 (Closed): Rename iroot?
- Some time ago we renamed @ILog2@ to @FloorLog2@, and some other similar functions.
There is still a function *@iro... -
06:01 CoCoALib Support #624: Wikipedia
- Here is the "wiki":https://www.everipedia.com/CoCoA/
05 Apr 2017
-
17:46 CoCoA-5 Feature #1038: Emacs: sent interrupt to CoCoA
- John Abbott wrote:
> @C-c C-q@ for "hard quit" (or @QUIT@ in the emacs-cocoa menu).
there is already @C-c C-k@ "k... -
13:33 CoCoA-5 Feature #1038: Emacs: sent interrupt to CoCoA
- Adding a new key-sequence should be quite easy; actually you probably need 2 new key-sequences (one for @C-c C-c@ eqi...
-
11:30 CoCoA-5 Feature #1038 (In Progress): Emacs: sent interrupt to CoCoA
- There are emacs commands *@region-active-p@* and *@use-region-p@*.
After reading the manual, I'm not really sure wha... -
07:42 CoCoA-5 Feature #1038: Emacs: sent interrupt to CoCoA
- John Abbott wrote:
> It would be nice if the key-sequence were the same as when the cursor is in the @cocoa5@ buffer... -
14:08 CoCoALib Feature #1036: LogStream: stream for log output
- There is one aspect of the design which is not wholly satisfactory:
there is no safe way of sending logging output t...
04 Apr 2017
-
18:35 CoCoA-5 Feature #1038: Emacs: sent interrupt to CoCoA
- It would be nice.
It would be nice if the key-sequence were the same as when the cursor is in the @cocoa5@ buffer, b... -
17:53 CoCoA-5 Feature #1038 (Closed): Emacs: sent interrupt to CoCoA
- It would be handy to have a menu item or a key-binding to send interrupt to the *cocoa5* buffer from a cocoa file.
-
17:04 CoCoALib Feature #1035 (In Progress): Improvement: how to sort QuotientBasis?
- First we should decide what the public interface is to be.
* One possibility is to have 2 fns *@QuotientBasis@* and ...
Also available in: Atom