CoCoA Project

05 May 2023

11:51 CoCoALib Bug #1740: MinGens gives non minimal gens *if some deg=0*

This example was generated by simplifying the original big example found by L.Robbiano Anna Maria Bigatti

11:49 CoCoALib Bug #1740 (Feedback): MinGens gives non minimal gens *if some deg=0*

In this example MinGens gives a result which is not minimal.
Can the algorithm MinGens work if the input is homogene... Anna Maria Bigatti

09:31 CoCoALib Slug #1739 (Closed): IsHomog for ideals

the function IsHomog for ideals might take a long time computing a GBasis, but if
the check @IsHomog(gens(I))@ gives... Anna Maria Bigatti

08:47 CoCoALib Design #1738: Suggestion about Graded polynomial rings

Sounds interesting: this is surely handy for "human handling".
Maybe the homogenizing ring could be created the firs... Anna Maria Bigatti

12 Apr 2023

14:56 CoCoALib Design #1721 (Closed): Verbose messages: print level?

Anna Maria Bigatti

14:50 CoCoA-5 Feature #1731 (In Progress): Verbosity level in CoCoA5

New approach: easier to use, more similar to CoCoALib and sofisticated use of CoCoA-5 anonymous functions (@func@) ;-... Anna Maria Bigatti

14:45 CoCoALib Bug #1729 (Closed): Bug HilbertPoly of zero-dimensional ideals

Anna Maria Bigatti

14:44 CoCoA-5 Bug #1734 (Closed): Fix call to HilbertPoly in test/TutHokkaido5

Found, discussed with Elisa Palezzato & Michele Torielli, fixed.
Anna Maria Bigatti

14:42 CoCoA-5 Bug #1734 (Closed): Fix call to HilbertPoly in test/TutHokkaido5

In the tutorial we actually want to compare ArrPoincarePoly with the HVector (or numerator of the simplified HilberSe... Anna Maria Bigatti