Activity

From 28 Mar 2019 to 26 Apr 2019

17:48 Feature #1267: Ideal equality: I'm very uneasy in doing an automatic choice: the "trick" might work out as a slow overhead in a long loop with many ... Anna Maria Bigatti
10:50 Support #1134: Organize better the documentation for CoCoALib: I am postponing this issue. Even though I think it is important, it is likely to need a lot of time; anyway, the doc... John Abbott

16:31 Feature #385: Design new errors using inheritance: This really the same as #743. John Abbott
16:26 Feature #743: Better errors: give supplementary info about the error: It would be nice to have a quiet moment to get this matter properly sorted out.
We really should try to deal with ... John Abbott
16:06 Design #581: C++14: MachineInt: I have modified the subject and description to refer to C++14 instead of C++11.
There is a summary of the integral... John Abbott
15:48 Feature #1218: 32-bit or 64-bit preprocessor macro?: We should check whether this still makes sense with C++14. I should also check on my little 32-bit machine...
John Abbott
15:46 Feature #1197: IsZeroDet: new fn: The idea is simple: compute the det modulo various primes, and if any is non-zero then we know the non-modular det is... John Abbott
12:30 Feature #1267: Ideal equality: A similar trick could be used for ideal membership: if @x@ is not in @I+J@ then it is certainly not in @I@.
John Abbott

21:31 Feature #658: Indets actually in a poly (or vector or matrix): It seems that there is already an impl in @SparsePolyOps-RingElem@.
There is no doc, no test. Also not exported t... John Abbott
15:16 Feature #1267 (In Progress): Ideal equality: Long sent me one example which wanted to test if a large ideal (in a ring with 36 indets) contained 1. He actually d... John Abbott
15:07 Feature #1269 (New): Ideal Ops: sort-cuts for trivial args?: A colleague here in Passau was disappointed that @intersection(ideal(1), J)@ was taking a long time, even though the ... John Abbott
15:00 Design #1255: Ideals with trivial GBasis: Generators which are monomials are also a special case.
Then one could imagine a more complicated "mixed" situatio... John Abbott

09:18 Feature #1267: Ideal equality: It is implemented in @ideals.C@ like this:... Anna Maria Bigatti

16:49 Feature #1267 (In Progress): Ideal equality: Long in Passau lamented that sometimes testing two ideals for equality was too slow.
It might help to perform a fe... John Abbott
16:42 Design #1266 (New): Make a poly ring QQ[x,y,z] also contain a ZZ[x,y,z]: Idea: every polyring @QQ[x,y,z]@ should also contain a single copy of @ZZ[x,y,z]@.
This single copy can then be us... John Abbott
16:39 Feature #1249: principal ideal has a Gbasis: Having seen in the code that computing a GBasis over @QQ@ implies creating a new ring (with coeffs in @ZZ@), encourag... John Abbott
10:20 Bug #1260: Fix file permissions after using CVS: @.command@ is for MacOS:
<quote>
(...) .sh files are "owned" by Xcode by default, so if you were to double-click on... Anna Maria Bigatti

Also available in: Atom

CoCoA » CoCoALib