Activity
From 21 Apr 2017 to 20 May 2017
18 May 2017
- 22:03 Feature #1072: syz: apply to ModuleElem?
- Is it right that @syz@ should give error if one of the coords is zero?...
- 21:59 Feature #1072: syz: apply to ModuleElem?
- The man page still calls th fn @Syz@ with a capital @S@; it should be @syz@, shouldn't it?
- 21:57 Feature #1072: syz: apply to ModuleElem?
- The current solution is to do the following:...
- 21:55 Feature #1072 (Rejected): syz: apply to ModuleElem?
- Would it make sense to allow @syz@ to be applied to a @ModuleElem@?...
- 21:50 Support #1071: LinKerBasis is user-unfriendly
- Should the manual page for @LinKerBasis@ also refer to the page for @syz@?
- 21:49 Support #1071: LinKerBasis is user-unfriendly
- I am not sure what is happening here:...
- 21:46 Support #1071: LinKerBasis is user-unfriendly
- The version that takes a list gives an unhelpful error when one component is zero:...
- 21:40 Support #1071 (In Progress): LinKerBasis is user-unfriendly
- What is @LinKerBasis@ supposed to do when given a list?...
- 21:31 Support #1071: LinKerBasis is user-unfriendly
- This is an unfriendly error message:...
- 21:29 Support #1071 (In Progress): LinKerBasis is user-unfriendly
- The CoCoA-5 function @LinKerBasis@ produces unhelpful error messages, and too many of them!
Part of the problem ma... - 08:16 Bug #1062 (Feedback): IsRadical bug?
- added tests. CVS-ed
- 07:58 Bug #1062: IsRadical bug?
- Found it in @TmpGOperations.C@:
Saturation by @ideal(f)@ calls @factor(f)@ and wrongly assumes that the factor list ... - 07:40 Bug #1062: IsRadical bug?
- Bug (radical >0 dim) trapped by Elisa Palezzato...
17 May 2017
- 11:40 Slug #1068: PolyRing constructor: NewOrdvArith computed twice
- OK, Anna; take a look.
I'm a bit busy with other things right now.
- 11:33 Slug #1068: PolyRing constructor: NewOrdvArith computed twice
- Anna Maria Bigatti wrote:
> It would be handy to get the OrdvArith from a PPMonoid (if possible).
If John allows ... - 11:19 Slug #1068 (In Progress): PolyRing constructor: NewOrdvArith computed twice
- It would be handy to get the OrdvArith from a PPMonoid (if possible).
This could also be used internally by the GBas... - 10:35 Slug #1068 (In Progress): PolyRing constructor: NewOrdvArith computed twice
- We never considered that a slow ring constructor could be a problem, but may be.
In particular this bit of code:
<p... - 08:30 Bug #946: Function "ideal" evaluates the argument twice
- I made a test: "bug-EvalTwice.cocoa5" where we can collect all cases we meet, solved or unsolved.
16 May 2017
- 18:07 Bug #946 (Resolved): Function "ideal" evaluates the argument twice
- Found it! (and fixed most of them)
The problem is when using the hand functions @EvalArgAsT1OrT2..<..>(ARG(0), whic... - 17:22 Design #1067: "Randomize" and "Randomized" obsolete?
- John Abbott wrote:
> Why do you want to specify @lo@ and @hi@ for @RandomLinearForm@?
> Is it not enough to specify... - 15:32 Design #1067: "Randomize" and "Randomized" obsolete?
- Why do you want to specify @lo@ and @hi@ for @RandomLinearForm@?
Is it not enough to specify a single value N and us... - 15:21 Design #1067: "Randomize" and "Randomized" obsolete?
- John Abbott wrote:
> There is a commented out fn called @RandomLinearForm@ in @experimental.cpkg5@.
That's a kind... - 15:06 Design #1067: "Randomize" and "Randomized" obsolete?
- John Abbott wrote:
> But what about @BackwardCompatible.cpkg5@? How does it differ from @obsolescent.cpkg5@?
Und... - 13:20 Design #1067: "Randomize" and "Randomized" obsolete?
- There is a commented out fn called @RandomLinearForm@ in @experimental.cpkg5@.
- 11:35 Design #1067: "Randomize" and "Randomized" obsolete?
- There is also an undocumented fn called *@Rand@* in @misc.cpkg5@.
Should it be made obsolete? Or simply eliminated?... - 14:49 Design #943 (In Progress): Managing credits
- The function *@ExternalLibs()@* does not work properly. It must be fixed using the new CoCoALib fn.
15 May 2017
- 12:31 Design #1067: "Randomize" and "Randomized" obsolete?
- OK, I'll do it and check in tomorrow -- too busy today.
- 11:46 Design #1067: "Randomize" and "Randomized" obsolete?
- ok, you convinced me: let's declare Randomize(d) obsolete, and make (in case) explicit functions for random things.
- 11:17 Design #1067: "Randomize" and "Randomized" obsolete?
- We could create: @RandomLinearForm(P,100)@ or even @RandomLinearForm(P)@ if coeff ring is finite field.
- 10:59 Design #1067: "Randomize" and "Randomized" obsolete?
- @L := DensePoly(P,1); randomized(L, -100,100);@ is a nice way to make lots of random linear forms.
- 10:36 Design #1067: "Randomize" and "Randomized" obsolete?
- I thought @Randomize@ in CoCoA-4 would work only for polynomials (and integers). Did it also work for matrices?
K... - 07:48 Design #1067: "Randomize" and "Randomized" obsolete?
- I sometimes miss old @Randomized@.
I suggest implementing it, but with explicit range: @randomized(f, 100);@ random... - 10:25 Support #1027 (In Progress): CoCoAManual: add a page with some emacs hints?
- I suggest as a first version of the man page just to put in a reference to the website; not ideal, but better than no...
- 09:13 Support #1027: CoCoAManual: add a page with some emacs hints?
- Currently there is a web page (I've just improved it a bit).
http://cocoa.dima.unige.it/download/screenshots.shtml
...
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... - 11:03 Design #1067 (In Progress): "Randomize" and "Randomized" obsolete?
- The old CoCoA-4 function @Randomize(F)@ is essentially equivalent to:...
- 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@...
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...
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... - 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... - 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...
10 May 2017
- 13:16 Bug #1062 (In Progress): IsRadical bug?
- When this is fixed remember to add some new tests to @exbugs.cocoa5@!
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... - 11:58 Bug #1062: IsRadical bug?
- Smaller example...
- 11:54 Bug #1062: IsRadical bug?
- I'm not that surprised. Radical for non zero-dimensional ideals is not that robust.
I'm investigating
- 09:49 Bug #1062: IsRadical bug?
- This example triggers SEGV:...
- 09:47 Bug #1062: IsRadical bug?
- Aaargh!! Now I have a SEGV :-(...
- 09:44 Bug #1062: IsRadical bug?
- This example has simpler coeffs:...
- 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...
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... - 11:57 Support #851 (Closed): Release: CoCoA-5.2.0
- 11:57 Support #851: Release: CoCoA-5.2.0
- Closing issue, cleaning up redmine
- 11:49 Support #851: Release: CoCoA-5.2.0
- published manual on ResearchGate
- 11:48 Support #851: Release: CoCoA-5.2.0
- updated list with undelivered emails
- 09:48 Support #851: Release: CoCoA-5.2.0
- Sent email and notice on facebook page
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...
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... - 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... - 15:56 Support #851: Release: CoCoA-5.2.0
- manual pdf and html uploaded
- 16:21 Bug #1060: describe ring: add final newline
- The problem can be exhibited by doing:...
- 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.
- 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... - 10:02 Feature #708 (Closed): ExternalLib Normaliz: verbose flag?
03 May 2017
- 13:44 Support #851: Release: CoCoA-5.2.0
- released cocoa for linux
(asked testing)
02 May 2017
- 15:01 Support #851: Release: CoCoA-5.2.0
- -- release for Mac is done
- 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...
- 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.
... - 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.
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)
- 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...
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)
- 08:34 Feature #996 (Closed): New function: IdealOfGBasis
- 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.
28 Apr 2017
- 20:22 Feature #708 (Feedback): ExternalLib Normaliz: verbose flag?
- 20:18 Feature #708: ExternalLib Normaliz: verbose flag?
- Done.
Two functions (4 in cocoalib, for default and for cone): @NmzSetVerbosityLevel/NmzVerbosityLevel@, as in cocoa... - 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...
- 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...
- 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... - 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... - 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... - 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...
- 12:16 Feature #708: ExternalLib Normaliz: verbose flag?
- should we call it @NmzSetVerbosityLevel@?
- 11:32 Feature #708: ExternalLib Normaliz: verbose flag?
- JAA prefers that there be independent verbosity settings for CoCoALib and any external libraries.
- 09:13 Feature #708: ExternalLib Normaliz: verbose flag?
- Should we pass the VerbosityLevel from CoCoALib?
- 19:21 Feature #1045 (Closed): Error message from cocoalib to cocoa-5
- 09:20 Feature #1045: Error message from cocoalib to cocoa-5
- function renamed @message_forC5@ and moved in @CoCoALibSupplement@
- 19:21 Feature #1043 (Closed): New function: IsCoprime
- 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... - 17:08 Support #851: Release: CoCoA-5.2.0
- Fixed all bugs in manual (found with make ManExamples)
- 15:49 Support #851: Release: CoCoA-5.2.0
- Another run of make ManExamples
- 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...
- 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 ... - 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 ... - 15:40 Feature #175: Approximate BuchbergerMoeller: port to CoCoA-5
- OK, postponed: I did not receive enough information to make a decision.
- 15:12 Feature #175 (In Progress): Approximate BuchbergerMoeller: port to CoCoA-5
- Is it better to postpone this than try to rush it?
- 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.
- 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...
- 14:34 Support #521: Manual: automatically check all examples
- it is in the checklist in #851 ;-)
which I copy for every release - 14:14 Support #521 (Closed): Manual: automatically check all examples
- WQe mustremember to do this before each release!Closing
- 09:16 Support #521: Manual: automatically check all examples
- John, close this issue, as done in #558?
- 14:31 Bug #1055 (Resolved): CoCoAManual: duplication (2 pages for operators)
- 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... - 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...
- 11:46 Bug #1055 (Closed): CoCoAManual: duplication (2 pages for operators)
- Why are there the following two manual pages?...
- 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...
- 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:...
- 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 ... - 09:24 Design #868 (Closed): Der, Bin: why the capital letter?
- 09:10 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 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 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 Support #851: Release: CoCoA-5.2.0
- make ManExamples
done - 18:14 Feature #996 (Feedback): New function: IdealOfGBasis
- John Abbott wrote:
> Cosa dovrebbe fare il seguente?
fixed - 18:05 Design #868: Der, Bin: why the capital letter?
- done, tested.
- 17:43 Design #868: Der, Bin: why the capital letter?
- John Abbott wrote:
> Can we move @Der@ and @Bin@ to @obsolescent.cpkg5@?
yes. - 17:15 Design #868: Der, Bin: why the capital letter?
- Can we move @Der@ and @Bin@ to @obsolescent.cpkg5@?
- 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...
- 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... - 17:19 Design #1018: Interpreter: limit range for ".." operator
- sounds good to me
- 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... - 15:38 Bug #1046 (Closed): CoCoA-5 no longer lists the external libs present
- Now it works well enough.
Closing! - 09:09 Bug #1046 (Resolved): CoCoA-5 no longer lists the external libs present
- Added to @VersionInfo@ (in @BuiltinFunctions.C@) the field @ExternalLibs@.
- 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...
- 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...
- 15:20 Support #1040 (Closed): CoCoAManual: entry for SetVerbosityLevel/VerbosityLevel
- I have just improved the entries for @VerbosityLevel@ and @SetVerbosityLevel@. Checked in. Closing.
- 15:09 Support #1000 (In Progress): CoCoAManual for "all cocoa commands"
- Postponing (because it will take some time), but also increasing priority.
- 15:03 Support #863 (Closed): CoCoA-5 manual: IsInteger and IsRational are missing?
- 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...
- 14:57 Feature #877 (Closed): Easier syntax to make a PRINCIPAL ideal?
- Closing after 7 months in feedback.
- 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.
- 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...
- 14:34 Bug #878 (Closed): RingElem applied to a symbol (repr as a string)
- 11:43 Feature #909 (Closed): ReadExpr: decimal point
- Closing after 7 months in feedback without any problems (but probably not much stress testing either).
- 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... - 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... - 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.
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. - 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...
- 17:20 Feature #1038 (Closed): Emacs: sent interrupt to CoCoA
- Works for John (new emacs) and for me (old emacs).
Good.
Closing. - 17:19 Design #998 (Closed): Emacs UI: sending empty input from cocoa5 buffer
- 17:18 Feature #978: CommonDenom: for polys and lists?
- * We are going to work on this, better postpone this.
- 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.
- 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. - 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... - 16:00 Bug #963 (Closed): Manual: XML problem with html doc
- 15:56 Bug #870 (Closed): GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()
- 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... - 13:31 Design #1051 (In Progress): ReadExpr(P, string) and RingElem(P, string)
- Should we make *@ReadExpr@* obsolescent?
- 11:07 Design #1051: ReadExpr(P, string) and RingElem(P, string)
- Done (cocoa5) and checked in.
- 09:12 Design #1051: ReadExpr(P, string) and RingElem(P, string)
- OK, I'll implement "3".
Should I modify CoCoALib as well?
- 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 ... - 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... - 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...
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...
24 Apr 2017
- 18:11 Design #1051: ReadExpr(P, string) and RingElem(P, string)
- Currently implemented 2, meaningful error message.
- 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...
Also available in: Atom