John Abbott's activity
From 10 May 2023 to 08 Jun 2023
06 Jun 2023
-
22:14 CoCoA-5 Bug #1746 (Feedback): ManExamples target: need to reset VerbosityLevel
- I tried running @make ManExamples@ and was surprised to see verbosity output (for @IsLRSDegenerate@).
I think each e...
23 May 2023
-
19:09 CoCoALib 0.25 hour (Design #1744 (In Progress): Implement GBMill (aka Groebner Framework))
- Export or not?
-
19:09 CoCoALib Design #1744: Implement GBMill (aka Groebner Framework)
- A possible advantage of using "funny" indet names is that it is then clear that the value does not belong to the orig...
-
18:59 CoCoA-5 Bug #1745: Printing of Hilbert series via indent
- I think we can leaving printing in a list as it is (for the time being).
Tagged values are (often) ones which we pri... -
18:59 CoCoA-5 0.25 hour (Bug #1745 (Closed): Printing of Hilbert series via indent)
- In a list
22 May 2023
-
21:07 CoCoA-5 0.75 hour (Bug #1745 (Closed): Printing of Hilbert series via indent)
- Fixed
-
21:07 CoCoA-5 Bug #1745 (Resolved): Printing of Hilbert series via indent
- There was a bug in @sppoly.cpkg5@ where the asterisk was printed directly rather than to the output stream @D@.
Now ... -
21:02 CoCoA-5 Bug #1745 (Closed): Printing of Hilbert series via indent
- Printing of Hilbert series is "strange":...
19 May 2023
-
22:07 CoCoA-5 0.10 hour (Slug #1629 (Closed): RingElem slow with many indets)
- Feedback?
-
22:07 CoCoA-5 Slug #1629: RingElem slow with many indets
- Should we advance this issue to "feedback"?
-
22:05 CoCoALib Design #1744: Implement GBMill (aka Groebner Framework)
- I would also like to be able to perform a GB computation in chunks determined by a time-out. It may suffice to have ...
-
22:05 CoCoALib 0.10 hour (Design #1744 (In Progress): Implement GBMill (aka Groebner Framework))
- Timeout
-
22:03 CoCoALib Design #1744: Implement GBMill (aka Groebner Framework)
- There should probably be a "graded" mode, and then the possibility to know whether the partial/truncated basis is com...
-
22:03 CoCoALib 0.25 hour (Design #1744 (In Progress): Implement GBMill (aka Groebner Framework))
- More suggestions
16 May 2023
-
09:26 CoCoA-5 Slug #1629: RingElem slow with many indets
- I have just checked out Anna's update, and confirm that the first example in comment 8 is now fast. Thanks to Anna.
-
09:26 CoCoA-5 0.10 hour (Slug #1629 (Closed): RingElem slow with many indets)
- OK
-
09:24 CoCoALib Slug #967: Improve saturate
- My suggestion above is not quite right.
The poly which I am saturating with respect to must be reduced modulo @I@.
... -
09:24 CoCoALib 0.25 hour (Slug #967 (Resolved): Improve saturate)
- Better idea
15 May 2023
-
20:36 CoCoA-5 0.20 hour (Slug #1629 (Closed): RingElem slow with many indets)
- Not up-to-date?
-
20:36 CoCoA-5 Slug #1629: RingElem slow with many indets
- I must do a check-out, or Anna must do a check-in? The example from comment 8 is still slow on my computer
-
20:32 CoCoALib Slug #967: Improve saturate
- Let @P@ be a poly ring with indets @x[1]..x[n]@ and @y[1]..y[m]@.
Suppose the gens of ideal @I@ involve only @x@ ind... -
20:32 CoCoALib 0.50 hour (Slug #967 (Resolved): Improve saturate)
- An idea
10 May 2023
-
20:53 CoCoA-5 Feature #1731: Verbosity level in CoCoA5
- Anna pointed out verbally that my idea in comment 5 (above) cannot easily be made to work, because the "depth counter...
-
20:53 CoCoA-5 0.25 hour (Feature #1731 (In Progress): Verbosity level in CoCoA5)
- Not a good idea
-
20:49 CoCoA-5 0.25 hour (Support #1741 (In Progress): Documentation/Manual for HilbertFn)
- Simpler
-
20:49 CoCoA-5 Support #1741: Documentation/Manual for HilbertFn
- We could just change the second example so that it uses all the indets in the chosen ring; then I'd get an error (sin...
-
09:29 CoCoA-5 Support #1741 (In Progress): Documentation/Manual for HilbertFn
- The example I tried is correct (as reported on the manual page).
I copied the second example *without noticing* that... -
09:29 CoCoA-5 0.25 hour (Support #1741 (In Progress): Documentation/Manual for HilbertFn)
- Example is right
Also available in: Atom