CoCoA » CoCoALib

29 Apr 2019

21:05 Support #1276: Release 0.99650

List of principal changes made: *19th november 2019*
* NO LONGER C++03 compatible! We are moving towards C++14 (#89... John Abbott

21:03 Support #1276 (Closed): Release 0.99650

Description
Everything related to making a CoCoALib release:
* Redmine Roadmap: close or postpone issue
* ... John Abbott

18:38 Support #1039 (Resolved): Rename iroot?

I have changed the names into *@FloorRoot@* and *@IsExactFloorRoot@*.
Added *@iroot@* to @obsolescent.H/C@.
Test an... John Abbott

13:25 Support #1039: Rename iroot?

Even though GMP allows negative inputs to its @mpz_root@ function, I like the idea of limiting the number whose root ... John Abbott

13:57 Support #1263: Tidy CoCoALib test directory

I have noticed that there some tests which run quickly (_e.g._ less than 0.01s on my computer), but the compilation t... John Abbott

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 ... 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

05 Apr 2019

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

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... 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