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