Activity - CoCoALib - CoCoA Project

Activity

From 08 Jul 2018 to 06 Aug 2018

06 Aug 2018

18:58 Feature #374: Porting "IdealOfProjectivePoints": fixed bug: now result is homog Anna Maria Bigatti
18:11 Feature #374 (In Progress): Porting "IdealOfProjectivePoints": Anna has done the work, but it gives obviously wrong result (not homog).
Here is a failing example:... John Abbott
18:22 Support #1149: Release: CoCoALib-0.99600 (together with CoCoA-5.2.4): valgrind tests OK!
Anna Maria Bigatti
16:16 Support #1195 (Rejected): Release: CoCoALib-0.99580 (together with CoCoA-5.2.4): We have decided to call the release 0.99600 -- this is no longer relevant. Rejected this; closed.
See issue #1149
John Abbott
16:12 Bug #935: ElimMat, ElimHomogMat: complain about zero or negative weights: Decide what we really want for these two functions.
They are mostly OK. Anna Maria Bigatti
16:06 Slug #1105: Primary Decompositon (zero-dim) slow cases: Some things still to do (or consider doing):
# Compare speed with Singular
# using CpuTimeOut option, attempt to co... John Abbott
15:53 Slug #1105 (In Progress): Primary Decompositon (zero-dim) slow cases: Anna Maria Bigatti
15:31 Design #1184 (Resolved): should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?: After closing this, I changed my mind:
It is simpler to leave the in @SparsePolyOps-RingElem.C@.
As simple is good,... Anna Maria Bigatti
15:20 Design #1213: Create PolyOps-RingElem?: We should also check whether there are functions in *@SparsePolyOps-RingElem@* which should be moved here.
The mai... John Abbott
15:18 Design #1213 (New): Create PolyOps-RingElem?: Consider creating a new file *@PolyOps-RingElem@* to contain all functions on ringelems which belong to a polyring.
John Abbott

05 Aug 2018

18:30 Slug #1105: Primary Decompositon (zero-dim) slow cases: Moved to cocoalib, because now implemented in C++. Anna Maria Bigatti
18:26 Slug #1105: Primary Decompositon (zero-dim) slow cases: I have implemented in cocoalib the function @GBasisViaHomog@ (homog-->compute-->dehomog), as it was in the old cocoa... Anna Maria Bigatti
18:21 Feature #1212: New function: GBasisByHomog: Implemented for the case ordering is StdDegRevLex (@SparsePolyOps-ideal.C@).
This is enough for PrimaryDecomposition... Anna Maria Bigatti
16:41 Feature #1212 (Closed): New function: GBasisByHomog: Implement GBasis computation via homogenization Anna Maria Bigatti
16:19 Feature #966 (In Progress): New function or explain: first and last for a vector?: Anna Maria Bigatti

03 Aug 2018

18:11 Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..): John Abbott
18:09 Bug #1205 (Closed): SyzOfGens: bug with zero generators: John Abbott
17:55 Slug #1105: Primary Decompositon (zero-dim) slow cases: I have just tried the 9.16s example from comment 3. It now *does not finish* in a reasonable time for me.
Using v... John Abbott
17:41 Feature #1178 (Closed): New function: myPrimaryDecomposition_0dim: John Abbott
17:40 Feature #901 (Closed): New function: PrimaryDecomposition0 in CoCoALib: Work was done but not registered here. Anna does not recall how many hours. John Abbott
17:37 Slug #1165 (Closed): MinPoly over QQ: verification may be very slow: John Abbott
17:31 Feature #900 (Closed): New function: MinPoly of RingElem in quotient ring: John Abbott
17:28 Feature #1210: New Fn: make public "coefficients" (of poly wrt a given PP basis): What should the fn signature be? Should there be more than one signature?
* *(1)* @void coeffs(vector<RingElem& C, ... John Abbott
17:18 Feature #1210 (Closed): New Fn: make public "coefficients" (of poly wrt a given PP basis): In @SparsePolyOps-MinPoly.C@ (near line 70) there is a private fn for computing the coeffs of a poly wrt to a PP basi... John Abbott
17:20 Bug #1211 (Closed): HilbertSeries should check grading: ... Anna Maria Bigatti
17:16 Slug #1009 (Closed): coefficients for MinPoly e Frobenius: John Abbott
17:14 Feature #1209 (Closed): New function: HasPositiveGrading: It would be handy to have a function saying whether a polynomial ring (or a ppmonoid) has a positive grading.
This w... Anna Maria Bigatti
17:08 Feature #1005 (Closed): Makefile: install target for CoCoALib: *SUMMARY: it has not yet been tested much, but is probably safe enough to "close" this issue*
John Abbott
17:04 Design #1124 (Closed): Move examples directory into doc -- or just change makefile?: *SUMMARY: we leave @examples/@ directory where it is (as it is more visible to the user), and have created a special ... John Abbott
17:01 Design #825 (Closed): IsPositiveGrading -- really need 2 signatures?: *SUMMARY: we have removed the version of @IsPositiveGrading@ which took 2 args*
(nobody seemed to need it, except pe... John Abbott
16:56 Design #1184 (Closed): should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?: *SUMMARY: yes, @BigInter@ goes into the same file where the iterator class is defined* John Abbott
16:27 Design #1182 (Closed): "mod" for BigInt: *SOLUTION: improved the documentation*
Main point is that defn in C/C++ is deliberately ambiguous. JAA chose to d... John Abbott
16:18 Design #1177 (Closed): File names: use "SparsePolyOps" prefix for pertinent files: John Abbott
16:17 Design #1145 (Closed): File names, coding conventions: Fns, Ops, Operations? part 2: *FINAL DECISION: we use the abbreviation @Ops@ for "operations"@
All files have been renamed; in some cases they hav... John Abbott
16:15 Design #410 (Closed): New file: BigRatOps: John Abbott
16:14 Feature #1154 (Closed): SmallFpImpl: new ctor arg to say do-not-check-that-arg-is-prime: *Aim effectively achieved by the new class @SmallPrime@*
(this is a cleaner and more general solution than one origi... John Abbott
16:11 Feature #1155 (Closed): Create a new "prime source" iterator: *SUMMARY*
*Created 5 new iterators for generating primes (or "almost primes")*
*Created new type @SmallPrime@*
... John Abbott
16:05 Feature #1131 (Closed): Sturm sequence: The impl ought to be generalized (to any "ordered field"). This is probably not an easy task, so let's wait until it... John Abbott
16:01 Design #1162 (Closed): Check semantics of NoSmallFactorSeq: John Abbott
15:56 Slug #1110 (Closed): Determinant of matrix over QQ (whose entries are actually integers): John Abbott
15:53 Support #847 (Closed): Doc for BigInt, BigIntOps, BigRat -- should there be BigRatOps?: The doc has already been split. Everything has worked fine for 2 months. Closing.
John Abbott
14:32 Support #1099 (Closed): MinPolyQuot: missing doc: Anna Maria Bigatti
14:31 Bug #1199 (Closed): GCD bug with high degree arg: Anna Maria Bigatti

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

Also available in: Atom