Activity

Anna Maria Bigatti's activity

From 10 May 2023 to 08 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

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
11:31 CoCoALib 0.25 hour (Design #1744 (In Progress): Implement GBMill (aka Groebner Framework)): Anna Maria Bigatti
11:30 CoCoALib 0.25 hour (Design #1744 (In Progress): Implement GBMill (aka Groebner Framework)): Anna Maria Bigatti

16:58 CoCoALib 0.75 hour (Design #1744 (In Progress): Implement GBMill (aka Groebner Framework)): Anna Maria Bigatti
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
16:57 CoCoALib 0.50 hour (Design #1744 (In Progress): Implement GBMill (aka Groebner Framework)): Anna Maria Bigatti
16:51 CoCoALib 0.50 hour (Design #1744 (In Progress): Implement GBMill (aka Groebner Framework)): Anna Maria Bigatti
16:46 CoCoA-5 0.50 hour (Bug #1745 (Closed): Printing of Hilbert series via indent): Anna Maria Bigatti
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

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
12:53 CoCoALib 2.00 hours (Bug #1740 (Feedback): MinGens gives non minimal gens *if some deg=0*): Anna Maria Bigatti

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 0.25 hour (Slug #1629 (Closed): RingElem slow with many indets): 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 1.00 hour (Slug #1629 (Closed): RingElem slow with many indets): 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 0.25 hour (Slug #1629 (Closed): RingElem slow with many indets): Anna Maria Bigatti
08:01 CoCoA-5 Slug #1629: RingElem slow with many indets: I have my own prototype... Anna Maria Bigatti
07:42 CoCoA-5 0.25 hour (Feature #1731 (In Progress): Verbosity level in CoCoA5): checked in Anna Maria Bigatti
07:34 CoCoA-5 0.50 hour (Feature #1731 (In Progress): Verbosity level in CoCoA5): 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