Activity
From 27 Mar 2019 to 25 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:...
28 Mar 2019
-
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... -
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... -
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...
-
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...
27 Mar 2019
-
17:21 Bug #1256 (Closed): RingID: different values in test-output on different platforms
- John Abbott wrote:
> Using @gdb@ I see that *@ComputeGBasis@* is called, and it detected that the input ring is a po... -
15:26 Bug #1256: RingID: different values in test-output on different platforms
- Using @gdb@ I see that *@ComputeGBasis@* is called, and it detected that the input ring is a polyring over a fraction...
-
15:11 Bug #1256: RingID: different values in test-output on different platforms
- ...
-
13:55 Support #1265: Unregistered TXT files in doc
- These files exist but are not present in @index-alpha.html@....
-
13:52 Support #1265 (Closed): Unregistered TXT files in doc
- There are some "unregistered" *@.txt@* files in the CoCoALib documentation.
Rectify!
-
13:27 Bug #1260: Fix file permissions after using CVS
- I have noticed that some shell scripts in the source tree have suffix *@.sh@* while others have suffix *@.command@*. ...
Also available in: Atom