Activity

From 11 May 2023 to 09 Jun 2023

15:38 CoCoA-5 Bug #1746 (Resolved): ManExamples target: need to reset VerbosityLevel: done. I'll run some more tests and check it in soon.
Anna Maria Bigatti

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... John Abbott

14:30 CoCoALib Design #1744: Implement GBMill (aka Groebner Framework): Currently in CoCoA all GB-related computations are done in this way:
# prepare an ideal/ideal-like submodule in a s... Anna Maria Bigatti
14:18 CoCoALib Design #1744: Implement GBMill (aka Groebner Framework): John Abbott wrote:
> A possible advantage of using "funny" indet names is that it is then clear that the value does ... Anna Maria Bigatti
11:41 CoCoALib Design #1744: Implement GBMill (aka Groebner Framework): John Abbott wrote:
> A possible advantage of using "funny" indet names is that it is then clear that the value does ... Anna Maria Bigatti
11:31 CoCoALib Design #1744: Implement GBMill (aka Groebner Framework): As a guideline: in CoCoA-4 there was the Groebner Framework:... Anna Maria Bigatti

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... John Abbott
16:58 CoCoALib Design #1744 (In Progress): Implement GBMill (aka Groebner Framework): The computation of a GBasis is the core computation of many others (colon, saturation, homogenization, ...).
Such GB... Anna Maria Bigatti
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... John Abbott
16:45 CoCoA-5 Bug #1745 (Feedback): Printing of Hilbert series via indent: added test in exbugs.cocoa5 Anna Maria Bigatti
12:11 CoCoA-5 Bug #1745: Printing of Hilbert series via indent: John Abbott wrote:
> There was a bug in @sppoly.cpkg5@ where the asterisk was printed directly rather than to the ou... Anna Maria Bigatti
14:50 CoCoA-5 Slug #1629 (Feedback): RingElem slow with many indets: Anna Maria Bigatti

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 ... John Abbott
21:02 CoCoA-5 Bug #1745 (Closed): Printing of Hilbert series via indent: Printing of Hilbert series is "strange":... John Abbott

22:07 CoCoA-5 Slug #1629: RingElem slow with many indets: Should we advance this issue to "feedback"?
John Abbott
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 ... John Abbott
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... John Abbott
15:47 CoCoALib Design #1744 (In Progress): Implement GBMill (aka Groebner Framework): Investigate and design about converting current "Buchberger"'s code into a GBMill, i.e. a class containing partial co... Anna Maria Bigatti
15:42 CoCoALib Feature #1743 (In Progress): Implement Truncated GBases for homogeneous input: Truncated GBases can be quite useful.
Find a way to implement them without duplicating to much code.
Ideally we sho... Anna Maria Bigatti

13:44 CoCoALib Feature #1742 (Resolved): MinGens could be faster: When asking for MinGens with homogeneous input, we do not need to compute the whole GBasis, not even to make pairs wh... Anna Maria Bigatti
12:53 CoCoALib Bug #1740: MinGens gives non minimal gens *if some deg=0*: New smallest example: I doubt I can beat this ;-)... Anna Maria Bigatti

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.
John Abbott
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@.
... John Abbott

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 John Abbott
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... John Abbott

16:24 CoCoALib Bug #1740: MinGens gives non minimal gens *if some deg=0*: smaller... Anna Maria Bigatti
08:03 CoCoALib Feature #1654: New function IsInSymbols: See function... Anna Maria Bigatti
07:24 CoCoALib Feature #1654: New function IsInSymbols: John Abbott wrote:
> Anna, could you please describe more explicitly what you are proposing?
> I am not sure I unde... Anna Maria Bigatti
07:59 CoCoA-5 Slug #1629: RingElem slow with many indets: Thinking all this again, I noticed that we are now using the map just to detect if the symbol found is in the symbols... Anna Maria Bigatti
07:52 CoCoA-5 Slug #1629: RingElem slow with many indets: I checked my personal code.
My guess at the old history is that I made a @map<symbol, long>@ (long instead of RingEl... Anna Maria Bigatti

08:01 CoCoA-5 Slug #1629: RingElem slow with many indets: I have my own prototype... Anna Maria Bigatti
07:34 CoCoA-5 Feature #1731: Verbosity level in CoCoA5: John Abbott wrote:
> I think it might be helpful to put 1 or 2 spaces at the start of each line printed as "verbose"... Anna Maria Bigatti

Also available in: Atom

CoCoA Project