Project

General

Profile

Activity

From 18 May 2023 to 16 Jun 2023

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

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

25 May 2023

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

23 May 2023

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

22 May 2023

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

19 May 2023

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

18 May 2023

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
 

Also available in: Atom