Activity
From 04 Jul 2018 to 02 Aug 2018
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... - 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... - 17:29 Feature #1167 (Closed): New class VerificationLevel
- Made and used for MinPoly.
(and documented, by John Abbott) - 17:27 Design #1179 (In Progress): Clean up SparsePolyOps-MonomialIdeals
- 17:26 Design #1179: Clean up SparsePolyOps-MonomialIdeals
- Some work has been done (in parallel with ZeroDimIdeals).
More thorough checks needed.
Postponing.
- 17:04 Design #1163 (Closed): Split SparsePolyRing.C in smaller files
- Effectively solved. Mostly with @SparsePolyOps-xxx@ files (issue #1177)
- 16:59 Feature #1169 (Closed): New function: RandomLinearForm (CoCoALib)
- *RandomLinearForm(P, RndSeq)* has been moved to its own new issue.
- 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... - 16:43 Feature #958: New function: multiplicity and dim
- Yet to be fixed: non homogeneous input.
(postponed) - 16:42 Feature #1158 (Closed): New function: MinPolyQuotHeuristic --> MinPolyQuot with VerificationLevel
- 16:20 Feature #1126 (Closed): New function: SubmoduleOfMinGens
- Done // Revision 1.30 2017/11/20 20:10:26 bigatti
- 16:12 Feature #1126 (In Progress): New function: SubmoduleOfMinGens
- @SubmoduleOfMinGens@ is implemented (in place of minimalized)
- 16:19 Feature #1207 (New): New function: SubmoduleOfGBasis
- as @IdealOfGBasis@
- 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 ... - 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... - 15:09 Bug #1205 (Feedback): SyzOfGens: bug with zero generators
- ...
- 14:54 Feature #1206 (Closed): syz, SyzOfGens: which shifts for zero?
- It makes to be able to compute...
- 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...
01 Aug 2018
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@*.
- 14:26 Feature #900 (Feedback): New function: MinPoly of RingElem in quotient ring
- 14:25 Slug #1181 (Closed): CpuTime is costly!
- 14:21 Slug #1009: coefficients for MinPoly e Frobenius
- done.
@coefficients@ in anonymous namespace in @SparsePolyOps-MinPoly.C@ - 14:21 Slug #1165 (Feedback): MinPoly over QQ: verification may be very slow
- 14:20 Support #1099 (Feedback): MinPolyQuot: missing doc
- 13:15 Bug #1185 (Closed): factor: multivariate, wrong RemainingFactor (sign wrong)
- 13:13 Feature #1203 (Closed): factor over algebraic extensions
- 13:12 Feature #1203 (Closed): factor over algebraic extensions
- port factor (for algebraic extensions) to cocoalib (SC2 work)
- 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...
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@???
- 16:15 Design #1184: should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?
- I think it should be in @SparsePolyIter@
Also available in: Atom