CoCoA » CoCoALib

31 Jul 2018

14:34 Feature #900: New function: MinPoly of RingElem in quotient ring

Works in cocoalib, but not ported in cocoa5 because of exported fn @MinPoly@ defined in package *@mat.cpkg5@*. Anna Maria Bigatti

14:26 Feature #900 (Feedback): New function: MinPoly of RingElem in quotient ring

Anna Maria Bigatti

14:25 Slug #1181 (Closed): CpuTime is costly!

Anna Maria Bigatti

14:21 Slug #1009: coefficients for MinPoly e Frobenius

done.
@coefficients@ in anonymous namespace in @SparsePolyOps-MinPoly.C@ Anna Maria Bigatti

14:21 Slug #1165 (Feedback): MinPoly over QQ: verification may be very slow

Anna Maria Bigatti

14:20 Support #1099 (Feedback): MinPolyQuot: missing doc

Anna Maria Bigatti

13:15 Bug #1185 (Closed): factor: multivariate, wrong RemainingFactor (sign wrong)

Anna Maria Bigatti

13:13 Feature #1203 (Closed): factor over algebraic extensions

Anna Maria Bigatti

13:12 Feature #1203 (Closed): factor over algebraic extensions

port factor (for algebraic extensions) to cocoalib (SC2 work) Anna Maria Bigatti

11:54 Design #1184 (Resolved): should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?

John Abbott wrote:
> I agree that @BeginIter@ should be with the other iterator fns.
> Should the file be called @S... Anna Maria Bigatti

30 Jul 2018

18:13 Design #1184: should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?

I agree that @BeginIter@ should be with the other iterator fns.
Should the file be called @SparsePolyOps-iter@???
John Abbott

16:15 Design #1184: should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?

I think it should be in @SparsePolyIter@ Anna Maria Bigatti

02 Jul 2018

18:42 Feature #1198: Non-standard DegRevLex (NonStdDegRevLex, WDegRevLex)

Here are some thoughts about the design/impl.
If the GradingDim is 1 then we have a vector of positive "weights": ... John Abbott