Activity

From 16 Jul 2018 to 14 Aug 2018

09 Aug 2018

10:36 CoCoALib Support #1149 (Closed): Release: CoCoALib-0.99600 (together with CoCoA-5.2.4): Anna Maria Bigatti
10:35 CoCoA-5 Support #1148 (Closed): Release CoCoA-5.2.4: Anna Maria Bigatti

08 Aug 2018

18:38 CoCoALib Feature #1218: 32-bit or 64-bit preprocessor macro?: Currently I use the following "trick" to hide code on 32-bit platforms:... John Abbott
18:33 CoCoALib 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 ... John Abbott
18:09 CoCoA-5 Support #1217 (Rejected): CoCoA-5 tests directory: cleaning: There are some "suspect" files in the CoCoA-5 tests directory.
Check the contents, and eliminate any "junk".
John Abbott
17:49 CoCoA-5 Bug #1216: RationalSolve: gives wrong answer: Another example...... John Abbott
12:48 CoCoA-5 Bug #1216: RationalSolve: gives wrong answer: Assuming we still want to have the automatic selection between affine and projective solving, I suggest the following... John Abbott
12:41 CoCoA-5 Bug #1216: RationalSolve: gives wrong answer: What should @RationalSolve@ do if the input is homogeneous but the grading is non-standard?
John Abbott
11:34 CoCoA-5 Bug #1216: RationalSolve: gives wrong answer: The point is that @RationalSolve@ tries to be clever about deciding whether it should look for solutions in affine sp... John Abbott

07 Aug 2018

18:19 CoCoA-5 Bug #1216 (In Progress): RationalSolve: gives wrong answer: Here is a 0-dim failing example:... John Abbott
18:17 CoCoA-5 Bug #1216 (Closed): RationalSolve: gives wrong answer: @RationalSolve@ gives the wrong answer in this example:... John Abbott
18:10 CoCoA-5 Bug #1215: RationalSolve: gives "Error: must be non-zero": The first cause of the bug is that the code attempts to factorize the zero polynomial.
Perhaps in a finite field, th... John Abbott
18:08 CoCoA-5 Bug #1215 (Closed): RationalSolve: gives "Error: must be non-zero": I tried running the example in the first comment of issue #723. The call to @RationalSolve@ reported @Error: value m... John Abbott
18:06 CoCoA-5 Feature #723: Referring to indets with multiple indices from a polyring: The example comment 1 gives @ERROR: Value must be non-zero@ when calling @RationalSolve@. This cannot be right!
John Abbott
17:56 CoCoA-5 Feature #912: Add TUTORIALs to online manual: I have added some more tutorials (since there are two imminent summer schools).
The original list in comment 1 wil... John Abbott
17:53 CoCoA-5 Support #169: Font for parameters in manual: I think this already have been done (in most entries).
In the description we have used @<tt>@ rather than @code@ be... John Abbott
17:50 CoCoA-5 Design #168 (In Progress): Type info in CoCoA-5 manual: I think that has already been (mostly) done. Right?
Setting new target version.
John Abbott
17:48 CoCoA-5 Support #1214 (In Progress): CoCoAManual: ensure that LaTeX compilation is "clean": I have revised the @Makefile@ in @src/CoCoA/CoCoAManual/@ so that LaTeX warnings are made visible.
Anna has elimin... John Abbott
17:46 CoCoA-5 Support #1214 (Closed): CoCoAManual: ensure that LaTeX compilation is "clean": Compiling the LaTeX version of the CoCoA-5 manual produces a number of warnings and overfull boxes.
We should elim... John Abbott
17:44 CoCoA-5 Support #406 (In Progress): Manual for CoCoAManual/CoCoAHelp.xml: I think that has been partly done. There is certainly *a preliminary @README@ file.*
We should check that it is rea... John Abbott

06 Aug 2018

18:58 CoCoALib Feature #374: Porting "IdealOfProjectivePoints": fixed bug: now result is homog Anna Maria Bigatti
18:11 CoCoALib 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 CoCoALib Support #1149: Release: CoCoALib-0.99600 (together with CoCoA-5.2.4): valgrind tests OK!
Anna Maria Bigatti
16:22 CoCoA-5 Support #1148 (In Progress): Release CoCoA-5.2.4: Anna Maria Bigatti
16:22 CoCoA-5 Slug #907 (Closed): ApproxSolve very slow on this example: Just tested the two examples. They are acceptably fast now.
Closing.
John Abbott
16:20 CoCoA-5 Feature #1202 (Closed): New package: arrangements: As done as it may be, for this version. Anna Maria Bigatti
16:20 CoCoA-5 Feature #1201 (Closed): New package: poset: As done as it may be, for this version. Anna Maria Bigatti
16:16 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Slug #1105 (In Progress): Primary Decompositon (zero-dim) slow cases: Anna Maria Bigatti
15:31 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Slug #1105: Primary Decompositon (zero-dim) slow cases: Moved to cocoalib, because now implemented in C++. Anna Maria Bigatti
18:26 CoCoALib 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 CoCoALib 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 CoCoALib Feature #1212 (Closed): New function: GBasisByHomog: Implement GBasis computation via homogenization Anna Maria Bigatti
16:19 CoCoALib Feature #966 (In Progress): New function or explain: first and last for a vector?: Anna Maria Bigatti

03 Aug 2018

18:11 CoCoALib Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..): John Abbott
18:09 CoCoALib Bug #1205 (Closed): SyzOfGens: bug with zero generators: John Abbott
17:55 CoCoALib 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 CoCoALib Feature #1178 (Closed): New function: myPrimaryDecomposition_0dim: John Abbott
17:40 CoCoALib 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 CoCoALib Slug #1165 (Closed): MinPoly over QQ: verification may be very slow: John Abbott
17:31 CoCoALib Feature #900 (Closed): New function: MinPoly of RingElem in quotient ring: John Abbott
17:28 CoCoALib 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 CoCoALib 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 CoCoALib Bug #1211 (Closed): HilbertSeries should check grading: ... Anna Maria Bigatti
17:16 CoCoALib Slug #1009 (Closed): coefficients for MinPoly e Frobenius: John Abbott
17:14 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Design #1177 (Closed): File names: use "SparsePolyOps" prefix for pertinent files: John Abbott
16:17 CoCoALib 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 CoCoALib Design #410 (Closed): New file: BigRatOps: John Abbott
16:14 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Design #1162 (Closed): Check semantics of NoSmallFactorSeq: John Abbott
15:56 CoCoALib Slug #1110 (Closed): Determinant of matrix over QQ (whose entries are actually integers): John Abbott
15:53 CoCoALib 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 CoCoALib Support #1099 (Closed): MinPolyQuot: missing doc: Anna Maria Bigatti
14:31 CoCoALib Bug #1199 (Closed): GCD bug with high degree arg: Anna Maria Bigatti

02 Aug 2018

18:38 CoCoALib 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 CoCoALib 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 CoCoALib Feature #1167 (Closed): New class VerificationLevel: Made and used for MinPoly.
(and documented, by John Abbott) Anna Maria Bigatti
17:27 CoCoALib Design #1179 (In Progress): Clean up SparsePolyOps-MonomialIdeals: Anna Maria Bigatti
17:26 CoCoALib 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 CoCoALib Design #1163 (Closed): Split SparsePolyRing.C in smaller files: Effectively solved. Mostly with @SparsePolyOps-xxx@ files (issue #1177) Anna Maria Bigatti
16:59 CoCoALib Feature #1169 (Closed): New function: RandomLinearForm (CoCoALib): *RandomLinearForm(P, RndSeq)* has been moved to its own new issue. Anna Maria Bigatti
16:58 CoCoALib 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 CoCoALib Feature #958: New function: multiplicity and dim: Yet to be fixed: non homogeneous input.
(postponed) Anna Maria Bigatti
16:42 CoCoALib Feature #1158 (Closed): New function: MinPolyQuotHeuristic --> MinPolyQuot with VerificationLevel: Anna Maria Bigatti
16:20 CoCoALib Feature #1126 (Closed): New function: SubmoduleOfMinGens: Done // Revision 1.30 2017/11/20 20:10:26 bigatti
Anna Maria Bigatti
16:12 CoCoALib Feature #1126 (In Progress): New function: SubmoduleOfMinGens: @SubmoduleOfMinGens@ is implemented (in place of minimalized) Anna Maria Bigatti
16:19 CoCoALib Feature #1207 (New): New function: SubmoduleOfGBasis: as @IdealOfGBasis@ Anna Maria Bigatti
16:06 CoCoALib 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 CoCoALib 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 CoCoALib Bug #1205 (Feedback): SyzOfGens: bug with zero generators: ... Anna Maria Bigatti
14:54 CoCoALib Feature #1206 (Closed): syz, SyzOfGens: which shifts for zero?: It makes to be able to compute... Anna Maria Bigatti
13:14 CoCoALib 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

27 Jul 2018

12:10 CoCoA-5 Bug #1200 (Closed): Package exported function: wrong package name: Very strange.
The code in Interpreter.C look reasonable, but this message is wrong:... Redmine Admin

26 Jul 2018

14:05 CoCoA-5 Feature #1122: New fn: RandomLinearForm: It may be more fast-and-robust to use geobuckets... is it worth doing so?
[I have added a comment to the source code... John Abbott
13:59 CoCoA-5 Bug #1191 (Closed): ApproxSolve: log(0) on some examples: Closing John Abbott
13:54 CoCoA-5 Feature #1007 (Feedback): (makefile) New "clean" target which does not clean documentation: Our makefile targets do not yet follow the GNU conventions, but they seem to work well enough at the moment.
Close... John Abbott
11:47 CoCoA-5 Support #1188 (Feedback): Product of empty list: manual and code disagree: We have decided for safety that sum/product of an empty list should give error (unless an initial value is given).
... John Abbott

25 Jul 2018

17:14 CoCoA-5 Design #1075: LaTeX package: power-product printing: The use of @"\!\:"@ is not ideal since @"\:"@ is elastic. Maybe it is a reasonable compromise?
Anna points out that... John Abbott

Also available in: Atom

Project

General

Profile

CoCoA

Activity

Activity

09 Aug 2018

08 Aug 2018

07 Aug 2018

06 Aug 2018

05 Aug 2018

03 Aug 2018

02 Aug 2018

01 Aug 2018

31 Jul 2018

30 Jul 2018

27 Jul 2018

26 Jul 2018

25 Jul 2018