Activity
From 12 Jul 2018 to 10 Aug 2018
09 Aug 2018
08 Aug 2018
- 18:38 Feature #1218: 32-bit or 64-bit preprocessor macro?
- Currently I use the following "trick" to hide code on 32-bit platforms:...
- 18:33 Feature #1218 (Closed): 32-bit or 64-bit preprocessor macro?
- To avoid compiler warnings etc. I have used (3 times so far) a CPP trick to "hide" code from 32-bit platforms (which ...
06 Aug 2018
- 18:58 Feature #374: Porting "IdealOfProjectivePoints"
- fixed bug: now result is homog
- 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:... - 18:22 Support #1149: Release: CoCoALib-0.99600 (together with CoCoA-5.2.4)
- valgrind tests OK!
- 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
- 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. - 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... - 15:53 Slug #1105 (In Progress): Primary Decompositon (zero-dim) slow cases
- 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,... - 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... - 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.
05 Aug 2018
- 18:30 Slug #1105: Primary Decompositon (zero-dim) slow cases
- Moved to cocoalib, because now implemented in C++.
- 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...
- 18:21 Feature #1212: New function: GBasisByHomog
- Implemented for the case ordering is StdDegRevLex (@SparsePolyOps-ideal.C@).
This is enough for PrimaryDecomposition... - 16:41 Feature #1212 (Closed): New function: GBasisByHomog
- Implement GBasis computation via homogenization
- 16:19 Feature #966 (In Progress): New function or explain: first and last for a vector?
03 Aug 2018
- 18:11 Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)
- 18:09 Bug #1205 (Closed): SyzOfGens: bug with zero generators
- 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... - 17:41 Feature #1178 (Closed): New function: myPrimaryDecomposition_0dim
- 17:40 Feature #901 (Closed): New function: PrimaryDecomposition0 in CoCoALib
- Work was done but not registered here. Anna does not recall how many hours.
- 17:37 Slug #1165 (Closed): MinPoly over QQ: verification may be very slow
- 17:31 Feature #900 (Closed): New function: MinPoly of RingElem in quotient ring
- 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, ... - 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...
- 17:20 Bug #1211 (Closed): HilbertSeries should check grading
- ...
- 17:16 Slug #1009 (Closed): coefficients for MinPoly e Frobenius
- 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... - 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*
- 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 ...
- 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... - 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*
- 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... - 16:18 Design #1177 (Closed): File names: use "SparsePolyOps" prefix for pertinent files
- 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... - 16:15 Design #410 (Closed): New file: BigRatOps
- 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... - 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@*
... - 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...
- 16:01 Design #1162 (Closed): Check semantics of NoSmallFactorSeq
- 15:56 Slug #1110 (Closed): Determinant of matrix over QQ (whose entries are actually integers)
- 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.
- 14:32 Support #1099 (Closed): MinPolyQuot: missing doc
- 14:31 Bug #1199 (Closed): GCD bug with high degree arg
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