CoCoA » CoCoALib

03 May 2023

22:32 Design #1738: Suggestion about Graded polynomial rings

In CoCoA a poly ring has default term-order @degrevlex@ which we regard as 1-graded.
My suggestion means that by def... John Abbott

22:29 Design #1738 (New): Suggestion about Graded polynomial rings

If the user creates a graded polynomial ring, maybe CoCoA could actually create 2 polynomial rings:
* the one reques... John Abbott

29 Apr 2023

12:50 Slug #1737 (In Progress): Homogenization of an ideal with ZZ^1-grading

(1) With a ZZ^1-grading I think it is enough to compute a "wdeg-rev" ReducedGBasis then "saturate" each element indep... John Abbott

28 Apr 2023

16:01 Design #1736: Clean TmpGOperations, and remove Tmp prefix

I had to look in to *@TmpGoperations.C@* to find out about how CoCoALib implements ideal homogenization (and saturati... John Abbott

15:58 Design #1736 (New): Clean TmpGOperations, and remove Tmp prefix

How stable/clean is the code in *@TmpGOperations@*?
It forms a fairly central part of CoCoALib (and thus of CoCoA-5)... John Abbott

25 Apr 2023

21:31 Design #1735: PushFront/PushBack without checks?

The suggestion arose from some new code for computing cyclotomic polynomials.
The coeff vec is computed quite quickl... John Abbott

21:29 Design #1735 (Rejected): PushFront/PushBack without checks?

Currently @PushFront@ and @PushBack@ check their args (correct coeffring, correct ppmonoid).
Should there also be un... John Abbott

12 Apr 2023

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

Anna Maria Bigatti

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

Anna Maria Bigatti

09 Apr 2023

10:33 Bug #1733 (Resolved): FactorINT: funny order

I had expected small prime factors to appear in increasing order...... John Abbott