CoCoA » CoCoALib

02 Aug 2018

18:38 Bug #1199 (Feedback): GCD bug with high degree arg

This is resolved.
The exponent check in the homomorphism calls is already quite good in detecting extreme examples l... Anna Maria Bigatti

18:33 Design #707: MatrixOrderingMod32749Impl: test and write documentation!

As explained in Bug #1199:
I added and exponent overflow check in @ApplySPRCodomain@ (and also in @GeneralPPMonoidHo... Anna Maria Bigatti

17:29 Feature #1167 (Closed): New class VerificationLevel

Made and used for MinPoly.
(and documented, by John Abbott) Anna Maria Bigatti

17:27 Design #1179 (In Progress): Clean up SparsePolyOps-MonomialIdeals

Anna Maria Bigatti

17:26 Design #1179: Clean up SparsePolyOps-MonomialIdeals

Some work has been done (in parallel with ZeroDimIdeals).
More thorough checks needed.
Postponing.
Anna Maria Bigatti

17:04 Design #1163 (Closed): Split SparsePolyRing.C in smaller files

Effectively solved. Mostly with @SparsePolyOps-xxx@ files (issue #1177) Anna Maria Bigatti

16:59 Feature #1169 (Closed): New function: RandomLinearForm (CoCoALib)

*RandomLinearForm(P, RndSeq)* has been moved to its own new issue. Anna Maria Bigatti

16:58 Bug #1208 (New): New function: Threadsafe RandomLinearForm (CoCoALib)

We have RandomLinearForm, but it is not threadsafe.
Probably there should also be a version with interface: *Rando... Anna Maria Bigatti

16:43 Feature #958: New function: multiplicity and dim

Yet to be fixed: non homogeneous input.
(postponed) Anna Maria Bigatti

16:42 Feature #1158 (Closed): New function: MinPolyQuotHeuristic --> MinPolyQuot with VerificationLevel

Anna Maria Bigatti

16:20 Feature #1126 (Closed): New function: SubmoduleOfMinGens

Done // Revision 1.30 2017/11/20 20:10:26 bigatti
Anna Maria Bigatti

16:12 Feature #1126 (In Progress): New function: SubmoduleOfMinGens

@SubmoduleOfMinGens@ is implemented (in place of minimalized) Anna Maria Bigatti

16:19 Feature #1207 (New): New function: SubmoduleOfGBasis

as @IdealOfGBasis@ Anna Maria Bigatti

16:06 Design #764 (Closed): ExternalLib: simplify configuration

I've added MathSAT last year: I guess I suffered less, maybe I improved something?
I did not update this issue.
I ... Anna Maria Bigatti

16:04 Slug #967 (Resolved): Improve saturate

The fix I did is not bad for that class of examples, and to say it is slow we should make proper comparisons....
pos... Anna Maria Bigatti

15:09 Bug #1205 (Feedback): SyzOfGens: bug with zero generators

... Anna Maria Bigatti

14:54 Feature #1206 (Closed): syz, SyzOfGens: which shifts for zero?

It makes to be able to compute... Anna Maria Bigatti

13:14 Design #1124 (Feedback): Move examples directory into doc -- or just change makefile?

After a long design discussion, John Abbott and I decided to try, as a first step, to separate from the examples make... Anna Maria Bigatti

01 Aug 2018

08:19 Bug #1205 (Closed): SyzOfGens: bug with zero generators

... Anna Maria Bigatti

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