Project

General

Profile

Activity

From 15 Apr 2017 to 14 May 2017

14 May 2017

11:05 Feature #1011: Random seed fn
I have implemented @reseed@, and written a manual page.
Not sure about making a test... I suppose I could make an ea...
John Abbott
11:03 Design #1067 (In Progress): "Randomize" and "Randomized" obsolete?
The old CoCoA-4 function @Randomize(F)@ is essentially equivalent to:... John Abbott
10:57 Design #1067 (Closed): "Randomize" and "Randomized" obsolete?
While looking through the CoCoA-5 on-line manual, I noticed that there are references to @Randomize@ and @Randomized@... John Abbott

12 May 2017

17:16 Feature #1011 (In Progress): Random seed fn
The CoCoA-5 function *@random@* calls @random_forC5@ defined in @CoCoALibSupplement.C@.
Presumably @reseed@ can be d...
John Abbott

11 May 2017

16:48 Feature #1021: CoCoA Manual: search should ignore multiple spaces
Yes, the last example was deliberately strange; I do not think it matters if such a strange input works...
Maybe I...
John Abbott
16:43 Feature #1021: CoCoA Manual: search should ignore multiple spaces
John Abbott wrote:
> I think my current preference is not to do anything "clever" with unusual chars: if the user ty...
Anna Maria Bigatti
15:23 Feature #1021: CoCoA Manual: search should ignore multiple spaces
Here are the special chars which I have noticed in the manual page headings (obtained by typing just *@?@*):
* comma...
John Abbott

10 May 2017

13:16 Bug #1062 (In Progress): IsRadical bug?
When this is fixed remember to add some new tests to @exbugs.cocoa5@!
John Abbott

09 May 2017

15:13 Bug #1062: IsRadical bug?
The two bugs (0-dim and non-0-dim) are quite distinct.
Debugging the zero-dimensional example in the description o...
Anna Maria Bigatti
11:58 Bug #1062: IsRadical bug?
Smaller example... Anna Maria Bigatti
11:54 Bug #1062: IsRadical bug?
I'm not that surprised. Radical for non zero-dimensional ideals is not that robust.
I'm investigating
Anna Maria Bigatti
09:49 Bug #1062: IsRadical bug?
This example triggers SEGV:... John Abbott
09:47 Bug #1062: IsRadical bug?
Aaargh!! Now I have a SEGV :-(... John Abbott
09:44 Bug #1062: IsRadical bug?
This example has simpler coeffs:... John Abbott
09:43 Bug #1062 (Closed): IsRadical bug?
I have an example where @IsRadical@ produces an error (when applying a RingHom)
*0-dimensional bug: related with Min...
John Abbott

08 May 2017

11:58 Support #1061 (Closed): Release: CoCoA-5.2.2
Everything for the release
# Redmine Roadmap: close or postpone issue
# Redmine Release issues: check percentages...
Anna Maria Bigatti
11:57 Support #851 (Closed): Release: CoCoA-5.2.0
Anna Maria Bigatti
11:57 Support #851: Release: CoCoA-5.2.0
Closing issue, cleaning up redmine Anna Maria Bigatti
11:49 Support #851: Release: CoCoA-5.2.0
published manual on ResearchGate Anna Maria Bigatti
11:48 Support #851: Release: CoCoA-5.2.0
updated list with undelivered emails
Anna Maria Bigatti
09:48 Support #851: Release: CoCoA-5.2.0
Sent email and notice on facebook page Anna Maria Bigatti

06 May 2017

21:34 Support #851: Release: CoCoA-5.2.0
Another failed attempt to test the windows emacs version on my virtual machine...
+ some clarification in windows in...
Anna Maria Bigatti

05 May 2017

19:35 Support #851: Release: CoCoA-5.2.0
Trying to test windows release.
From shell it works.
From emacs I don't know: I do not have enough privilegies on t...
Anna Maria Bigatti
18:54 Support #851: Release: CoCoA-5.2.0
Compiled on windows, improved script @release-win-fromMac.sh@.
Uploaded release for windows.
Updated install5 web p...
Anna Maria Bigatti
15:56 Support #851: Release: CoCoA-5.2.0
manual pdf and html uploaded Anna Maria Bigatti
16:21 Bug #1060: describe ring: add final newline
The problem can be exhibited by doing:... John Abbott
16:18 Bug #1060 (Closed): describe ring: add final newline
In CoCoA-5, it might be nice if *@describe@* for a ring added a final newline. John Abbott
10:36 Feature #708: ExternalLib Normaliz: verbose flag?
Winfried Bruns wrote:
> I have thought about introducing three levels of verbosity: off, the most important steps, e...
Anna Maria Bigatti
10:02 Feature #708 (Closed): ExternalLib Normaliz: verbose flag?
John Abbott

03 May 2017

13:44 Support #851: Release: CoCoA-5.2.0
released cocoa for linux
(asked testing)
Anna Maria Bigatti

02 May 2017

15:01 Support #851: Release: CoCoA-5.2.0
-- release for Mac is done Anna Maria Bigatti
15:00 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... John Abbott
14:42 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.
...
Anna Maria Bigatti
14:35 Design #766: CoCoA version number: copy CoCoALib
COCOA5_VER_MINMIN is not in configuration/version.
Where is it? I'm looking for it.
Anna Maria Bigatti

01 May 2017

21:28 Support #851: Release: CoCoA-5.2.0
last minute bug fix: IsPrimary false positive in some cases (found by Sandro Logar) Anna Maria Bigatti
10:43 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...
Anna Maria Bigatti

29 Apr 2017

08:39 Slug #1047: NewPolyRing with user defined ordering is slower than CoCoALib
Still missing: make speed tests with GroebnerFan (I had some strange results) Anna Maria Bigatti
08:34 Feature #996 (Closed): New function: IdealOfGBasis
Anna Maria Bigatti
08:28 Support #187: CoCoA-5 (partial) releases: make the process simpler
Decision: corresponding CoCoALib versions will end with "0"
Still missing: release script for windows.
Anna Maria Bigatti

28 Apr 2017

20:22 Feature #708 (Feedback): ExternalLib Normaliz: verbose flag?
Anna Maria Bigatti
20:18 Feature #708: ExternalLib Normaliz: verbose flag?
Done.
Two functions (4 in cocoalib, for default and for cone): @NmzSetVerbosityLevel/NmzVerbosityLevel@, as in cocoa...
Anna Maria Bigatti
20:15 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... Winfried Bruns
19:21 Feature #708: ExternalLib Normaliz: verbose flag?
OK for the names @XXXSetVerbosityLevel@ and @XXXVerbosityLevel@ where @XXX@ could be @Nmz@ or some other prefix for a... John Abbott
16:46 Feature #708: ExternalLib Normaliz: verbose flag?
John Abbott wrote:
> Currently Normaliz has just two verbosity levels (@true@ and @false@).
> There is not much pro...
Anna Maria Bigatti
16:32 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...
John Abbott
16:02 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...
Anna Maria Bigatti
13:41 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... John Abbott
12:16 Feature #708: ExternalLib Normaliz: verbose flag?
should we call it @NmzSetVerbosityLevel@? Anna Maria Bigatti
11:32 Feature #708: ExternalLib Normaliz: verbose flag?
JAA prefers that there be independent verbosity settings for CoCoALib and any external libraries.
John Abbott
09:13 Feature #708: ExternalLib Normaliz: verbose flag?
Should we pass the VerbosityLevel from CoCoALib? Anna Maria Bigatti
19:21 Feature #1045 (Closed): Error message from cocoalib to cocoa-5
Anna Maria Bigatti
09:20 Feature #1045: Error message from cocoalib to cocoa-5
function renamed @message_forC5@ and moved in @CoCoALibSupplement@ Anna Maria Bigatti
19:21 Feature #1043 (Closed): New function: IsCoprime
Anna Maria Bigatti
19:06 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...
Anna Maria Bigatti
17:08 Support #851: Release: CoCoA-5.2.0
Fixed all bugs in manual (found with make ManExamples) Anna Maria Bigatti
15:49 Support #851: Release: CoCoA-5.2.0
Another run of make ManExamples Anna Maria Bigatti
16:20 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... John Abbott
15:20 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 ...
Anna Maria Bigatti
15:10 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 ...
John Abbott
15:40 Feature #175: Approximate BuchbergerMoeller: port to CoCoA-5
OK, postponed: I did not receive enough information to make a decision. Anna Maria Bigatti
15:12 Feature #175 (In Progress): Approximate BuchbergerMoeller: port to CoCoA-5
Is it better to postpone this than try to rush it?
John Abbott
15:14 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.
John Abbott
14:49 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... Winfried Bruns
14:34 Support #521: Manual: automatically check all examples
it is in the checklist in #851 ;-)
which I copy for every release
Anna Maria Bigatti
14:14 Support #521 (Closed): Manual: automatically check all examples
WQe mustremember to do this before each release!Closing
John Abbott
09:16 Support #521: Manual: automatically check all examples
John, close this issue, as done in #558? Anna Maria Bigatti
14:31 Bug #1055 (Resolved): CoCoAManual: duplication (2 pages for operators)
Anna Maria Bigatti
14:31 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...
Anna Maria Bigatti
11:47 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... John Abbott
11:46 Bug #1055 (Closed): CoCoAManual: duplication (2 pages for operators)
Why are there the following two manual pages?... John Abbott
11:42 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... John Abbott
11:37 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:... John Abbott
11:21 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 ...
Anna Maria Bigatti
09:24 Design #868 (Closed): Der, Bin: why the capital letter?
Anna Maria Bigatti
09:10 Feature #1021: CoCoA Manual: search should ignore multiple spaces
? file io --> ? file io
? factor ; abcdefg --> don't know, maybe ? factor
? factor -- comment
? ...
Anna Maria Bigatti

27 Apr 2017

23:56 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...
John Abbott
15:27 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!
John Abbott
18:29 Support #851: Release: CoCoA-5.2.0
make ManExamples
done
Anna Maria Bigatti
18:14 Feature #996 (Feedback): New function: IdealOfGBasis
John Abbott wrote:
> Cosa dovrebbe fare il seguente?
fixed
Anna Maria Bigatti
18:05 Design #868: Der, Bin: why the capital letter?
done, tested.
Anna Maria Bigatti
17:43 Design #868: Der, Bin: why the capital letter?
John Abbott wrote:
> Can we move @Der@ and @Bin@ to @obsolescent.cpkg5@?
yes.
Anna Maria Bigatti
17:15 Design #868: Der, Bin: why the capital letter?
Can we move @Der@ and @Bin@ to @obsolescent.cpkg5@?
John Abbott
17:37 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... Anna Maria Bigatti
16:38 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...
Anna Maria Bigatti
17:19 Design #1018: Interpreter: limit range for ".." operator
sounds good to me
Anna Maria Bigatti
17:09 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...
John Abbott
15:38 Bug #1046 (Closed): CoCoA-5 no longer lists the external libs present
Now it works well enough.
Closing!
John Abbott
09:09 Bug #1046 (Resolved): CoCoA-5 no longer lists the external libs present
Added to @VersionInfo@ (in @BuiltinFunctions.C@) the field @ExternalLibs@. Anna Maria Bigatti
15:35 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... John Abbott
15:30 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... John Abbott
15:20 Support #1040 (Closed): CoCoAManual: entry for SetVerbosityLevel/VerbosityLevel
I have just improved the entries for @VerbosityLevel@ and @SetVerbosityLevel@. Checked in. Closing.
John Abbott
15:09 Support #1000 (In Progress): CoCoAManual for "all cocoa commands"
Postponing (because it will take some time), but also increasing priority.
John Abbott
15:03 Support #863 (Closed): CoCoA-5 manual: IsInteger and IsRational are missing?
John Abbott
15:01 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... John Abbott
14:57 Feature #877 (Closed): Easier syntax to make a PRINCIPAL ideal?
Closing after 7 months in feedback.
John Abbott
14:45 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.
Anna Maria Bigatti
11:30 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... John Abbott
14:34 Bug #878 (Closed): RingElem applied to a symbol (repr as a string)
Anna Maria Bigatti
11:43 Feature #909 (Closed): ReadExpr: decimal point
Closing after 7 months in feedback without any problems (but probably not much stress testing either).
John Abbott
11:40 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...
John Abbott
11:35 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...
John Abbott
11:31 Bug #1002 (Closed): Emacs UI: cocoa5-send-line skips too many chars
Closing after 3 months in feedback, and no problems have come up.
John Abbott

26 Apr 2017

19:04 Feature #903 (Closed): New function CallOnGroebnerFanIdeals: call function on GFan ideals
Updated manual (after cleaned up example in GBForEveryone paper).
closing.
Anna Maria Bigatti
17:25 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... Anna Maria Bigatti
17:20 Feature #1038 (Closed): Emacs: sent interrupt to CoCoA
Works for John (new emacs) and for me (old emacs).
Good.
Closing.
Anna Maria Bigatti
17:19 Design #998 (Closed): Emacs UI: sending empty input from cocoa5 buffer
Anna Maria Bigatti
17:18 Feature #978: CommonDenom: for polys and lists?
* We are going to work on this, better postpone this. Anna Maria Bigatti
16:58 Support #977: "universal denominator" (related with GroebnerFanIdeals)
I think we are going to do more work on this topic. Postponing to next release. Anna Maria Bigatti
16:49 Design #1020: Rename minimalized(I) into IdealOfMinGens(I)?
Changed my mind :-(
@minimalized@ is also for modules. This needs more thinking.
Postponing to next release.
Anna Maria Bigatti
16:06 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...
Anna Maria Bigatti
16:00 Bug #963 (Closed): Manual: XML problem with html doc
Anna Maria Bigatti
15:56 Bug #870 (Closed): GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()
Anna Maria Bigatti
13:51 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...
Anna Maria Bigatti
13:31 Design #1051 (In Progress): ReadExpr(P, string) and RingElem(P, string)
Should we make *@ReadExpr@* obsolescent?
John Abbott
11:07 Design #1051: ReadExpr(P, string) and RingElem(P, string)
Done (cocoa5) and checked in. Anna Maria Bigatti
09:12 Design #1051: ReadExpr(P, string) and RingElem(P, string)
OK, I'll implement "3".
Should I modify CoCoALib as well?
Anna Maria Bigatti
13:34 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 ...
Anna Maria Bigatti
13:28 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...
John Abbott
10:36 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...
Anna Maria Bigatti

25 Apr 2017

17:57 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...
John Abbott

24 Apr 2017

18:11 Design #1051: ReadExpr(P, string) and RingElem(P, string)
Currently implemented 2, meaningful error message.
Anna Maria Bigatti
17:15 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...
Anna Maria Bigatti

19 Apr 2017

18:13 Feature #996: New function: IdealOfGBasis
Cosa dovrebbe fare il seguente?... John Abbott

18 Apr 2017

11:11 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...
Anna Maria Bigatti
10:58 Slug #1047 (Closed): NewPolyRing with user defined ordering is slower than CoCoALib
Anna Maria Bigatti
 

Also available in: Atom