Activity
From 28 Jul 2018 to 26 Aug 2018
16 Aug 2018
- 09:22 CoCoALib Design #1221 (Closed): Reconsider design for accessing headers and libs of external libraries
- The current design for accessing headers of external libs more or less assumes that the external lib has a single hea...
- 08:48 CoCoA-5 Support #1220 (In Progress): NewRingFp obsolescent; superseded by NewZZmod
- Made obsolescent in CoCoA-5. Manual updated. tests and packages updated.
Also I prefer @NewZZmod@ to @NewRingFp@... - 08:10 CoCoA-5 Support #1220 (Closed): NewRingFp obsolescent; superseded by NewZZmod
- The function *@NewZZmod@* generalizes @NewRingFp@, so make the latter obsolescent.
- 07:48 CoCoALib Feature #1219: Frobby version number
- With the current design it is trickier than expected.
The main point is that the current design of CoCoALib assume... - 06:58 CoCoALib Feature #1219 (In Progress): Frobby version number
- The Frobby version number (C string) is in @constants::version@ defined in @src/stdinc.h@ and @src/stdinc.cpp@.
Note... - 06:56 CoCoALib Feature #1219 (In Progress): Frobby version number
- It is possible to get the version number from Frobby.
Modify @ExternalLibs.C@ so that it extracts Frobby's version n...
09 Aug 2018
- 10:36 CoCoALib Support #1149 (Closed): Release: CoCoALib-0.99600 (together with CoCoA-5.2.4)
- 10:35 CoCoA-5 Support #1148 (Closed): Release CoCoA-5.2.4
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:...
- 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 ...
- 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".
- 17:49 CoCoA-5 Bug #1216: RationalSolve: gives wrong answer
- Another example......
- 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...
- 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?
- 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...
07 Aug 2018
- 18:19 CoCoA-5 Bug #1216 (In Progress): RationalSolve: gives wrong answer
- Here is a 0-dim failing example:...
- 18:17 CoCoA-5 Bug #1216 (Closed): RationalSolve: gives wrong answer
- @RationalSolve@ gives the wrong answer in this example:...
- 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... - 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...
- 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!
- 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... - 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... - 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.
- 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... - 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... - 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...
06 Aug 2018
- 18:58 CoCoALib Feature #374: Porting "IdealOfProjectivePoints"
- fixed bug: now result is homog
- 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:... - 18:22 CoCoALib Support #1149: Release: CoCoALib-0.99600 (together with CoCoA-5.2.4)
- valgrind tests OK!
- 16:22 CoCoA-5 Support #1148 (In Progress): Release CoCoA-5.2.4
- 16:22 CoCoA-5 Slug #907 (Closed): ApproxSolve very slow on this example
- Just tested the two examples. They are acceptably fast now.
Closing.
- 16:20 CoCoA-5 Feature #1202 (Closed): New package: arrangements
- As done as it may be, for this version.
- 16:20 CoCoA-5 Feature #1201 (Closed): New package: poset
- As done as it may be, for this version.
- 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
- 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. - 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... - 15:53 CoCoALib Slug #1105 (In Progress): Primary Decompositon (zero-dim) slow cases
- 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,... - 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... - 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.
05 Aug 2018
- 18:30 CoCoALib Slug #1105: Primary Decompositon (zero-dim) slow cases
- Moved to cocoalib, because now implemented in C++.
- 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...
- 18:21 CoCoALib Feature #1212: New function: GBasisByHomog
- Implemented for the case ordering is StdDegRevLex (@SparsePolyOps-ideal.C@).
This is enough for PrimaryDecomposition... - 16:41 CoCoALib Feature #1212 (Closed): New function: GBasisByHomog
- Implement GBasis computation via homogenization
- 16:19 CoCoALib Feature #966 (In Progress): New function or explain: first and last for a vector?
03 Aug 2018
- 18:11 CoCoALib Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)
- 18:09 CoCoALib Bug #1205 (Closed): SyzOfGens: bug with zero generators
- 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... - 17:41 CoCoALib Feature #1178 (Closed): New function: myPrimaryDecomposition_0dim
- 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.
- 17:37 CoCoALib Slug #1165 (Closed): MinPoly over QQ: verification may be very slow
- 17:31 CoCoALib Feature #900 (Closed): New function: MinPoly of RingElem in quotient ring
- 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, ... - 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...
- 17:20 CoCoALib Bug #1211 (Closed): HilbertSeries should check grading
- ...
- 17:16 CoCoALib Slug #1009 (Closed): coefficients for MinPoly e Frobenius
- 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... - 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*
- 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 ...
- 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... - 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*
- 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... - 16:18 CoCoALib Design #1177 (Closed): File names: use "SparsePolyOps" prefix for pertinent files
- 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... - 16:15 CoCoALib Design #410 (Closed): New file: BigRatOps
- 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... - 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@*
... - 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...
- 16:01 CoCoALib Design #1162 (Closed): Check semantics of NoSmallFactorSeq
- 15:56 CoCoALib Slug #1110 (Closed): Determinant of matrix over QQ (whose entries are actually integers)
- 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.
- 14:32 CoCoALib Support #1099 (Closed): MinPolyQuot: missing doc
- 14:31 CoCoALib Bug #1199 (Closed): GCD bug with high degree arg
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... - 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... - 17:29 CoCoALib Feature #1167 (Closed): New class VerificationLevel
- Made and used for MinPoly.
(and documented, by John Abbott) - 17:27 CoCoALib Design #1179 (In Progress): Clean up SparsePolyOps-MonomialIdeals
- 17:26 CoCoALib Design #1179: Clean up SparsePolyOps-MonomialIdeals
- Some work has been done (in parallel with ZeroDimIdeals).
More thorough checks needed.
Postponing.
- 17:04 CoCoALib Design #1163 (Closed): Split SparsePolyRing.C in smaller files
- Effectively solved. Mostly with @SparsePolyOps-xxx@ files (issue #1177)
- 16:59 CoCoALib Feature #1169 (Closed): New function: RandomLinearForm (CoCoALib)
- *RandomLinearForm(P, RndSeq)* has been moved to its own new issue.
- 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... - 16:43 CoCoALib Feature #958: New function: multiplicity and dim
- Yet to be fixed: non homogeneous input.
(postponed) - 16:42 CoCoALib Feature #1158 (Closed): New function: MinPolyQuotHeuristic --> MinPolyQuot with VerificationLevel
- 16:20 CoCoALib Feature #1126 (Closed): New function: SubmoduleOfMinGens
- Done // Revision 1.30 2017/11/20 20:10:26 bigatti
- 16:12 CoCoALib Feature #1126 (In Progress): New function: SubmoduleOfMinGens
- @SubmoduleOfMinGens@ is implemented (in place of minimalized)
- 16:19 CoCoALib Feature #1207 (New): New function: SubmoduleOfGBasis
- as @IdealOfGBasis@
- 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 ... - 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... - 15:09 CoCoALib Bug #1205 (Feedback): SyzOfGens: bug with zero generators
- ...
- 14:54 CoCoALib Feature #1206 (Closed): syz, SyzOfGens: which shifts for zero?
- It makes to be able to compute...
- 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...
01 Aug 2018
- 09:37 CoCoA-5 Feature #1174: package of a function --> of an identifier!
- Waiting for a proper implementation in C++, we can do something like @starting@.
- 08:19 CoCoALib Bug #1205 (Closed): SyzOfGens: bug with zero generators
- ...
31 Jul 2018
- 14:39 CoCoA-5 Feature #1204 (New): MinPoly for matrix: fix in cocoalib and export to cocoa5
- MinPoly for matrix has an implementation in cocoalib and another in mat.cpkg5.
Compare them, clean up cocoalib, and ... - 14:34 CoCoALib 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 CoCoALib Feature #900 (Feedback): New function: MinPoly of RingElem in quotient ring
- 14:25 CoCoALib Slug #1181 (Closed): CpuTime is costly!
- 14:21 CoCoALib Slug #1009: coefficients for MinPoly e Frobenius
- done.
@coefficients@ in anonymous namespace in @SparsePolyOps-MinPoly.C@ - 14:21 CoCoALib Slug #1165 (Feedback): MinPoly over QQ: verification may be very slow
- 14:20 CoCoALib Support #1099 (Feedback): MinPolyQuot: missing doc
- 13:15 CoCoALib Bug #1185 (Closed): factor: multivariate, wrong RemainingFactor (sign wrong)
- 13:13 CoCoA-5 Bug #1157 (Closed): FactorAlgExt
- 13:13 CoCoALib Feature #1203 (Closed): factor over algebraic extensions
- 13:12 CoCoALib Feature #1203 (Closed): factor over algebraic extensions
- port factor (for algebraic extensions) to cocoalib (SC2 work)
- 12:11 CoCoA-5 Slug #907 (Feedback): ApproxSolve very slow on this example
- I tested the examples, they are now quite fast.
I suggest closing this.
(controlling the error in the evaluation is... - 12:03 CoCoA-5 Slug #1114: Some other examples for 0-dim radical
- Checked. They are all reasonably fast using timeout.
Closed. - 11:54 CoCoALib 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 CoCoALib 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 CoCoALib Design #1184: should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?
- I think it should be in @SparsePolyIter@
- 18:02 CoCoA-5 Feature #1007 (Closed): (makefile) New "clean" target which does not clean documentation
- Closing this issue. Maybe a similar one will be reopened later if some problems arise.
- 14:46 CoCoA-5 Bug #1152 (Closed): Release: problems with sed
- I have just checked *@doc/Makefile@* and noticed that it calls both @sed@ and @txt2tags@ without specifying the full ...
- 14:36 CoCoA-5 Feature #1202 (Closed): New package: arrangements
- Functions for arrangements (for School in Sapporo Aug 2018)
- 14:36 CoCoA-5 Feature #1201 (Closed): New package: poset
- Functions for posets (for School in Sapporo Aug 2018)
- 14:33 CoCoA-5 Support #1188 (Closed): Product of empty list: manual and code disagree
- Have not really tested, but what can go wrong???
- 14:28 CoCoA-5 Feature #978 (Closed): CommonDenom: for polys and lists?
- 14:23 CoCoA-5 Bug #1172 (Closed): MinSubsetOfGens: problem with generators = 0
- 14:22 CoCoA-5 Feature #1122 (Closed): New fn: RandomLinearForm
- Closing
- 14:20 CoCoA-5 Slug #1114: Some other examples for 0-dim radical
- Probably better now: we are using timeout.
Run and compare.
- 14:17 CoCoA-5 Bug #1189 (Closed): HilbertBasisKer: unhelpful error with some inputs
- Closing
- 14:15 CoCoA-5 Bug #1190 (Closed): HilbertBasisKer: SEGV (again)
- CLosing
- 14:10 CoCoA-5 Design #1164 (Feedback): Manual: loading manual entries written by users
Also available in: Atom