Activity
From 29 Mar 2019 to 27 Apr 2019
09 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 ...
-
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...
05 Apr 2019
-
16:31 Feature #385: Design new errors using inheritance
- This really the same as #743.
-
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 ... -
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... -
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...
-
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...
-
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@.
04 Apr 2019
-
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... -
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...
-
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 ...
-
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...
29 Mar 2019
-
09:18 Feature #1267: Ideal equality
- It is implemented in @ideals.C@ like this:...
Also available in: Atom