CoCoA » CoCoALib

18 Apr 2021

22:51 Bug #1585: CRASH/ABORT: GMP overflow

I have put a first version of @mpz_mul@ with overflow check in @utils-gmp@.
A quick suggests that it is working as e... John Abbott

15 Apr 2021

11:34 Feature #1306: exgcd over integers (ZZ)

The source code is in *@NumTheory-gcd.C@*.
John Abbott

11:25 Bug #1473: isystem not working as expected

Any update? John Abbott

10:38 Bug #1579 (In Progress): Readexpr/RingElem: unhelpful error message when input is wrong

I have added a simple extra test: if the first char after the end of the expr is @'^'@, then it prints out a more hel... John Abbott

10:23 Slug #1057: Slug: Polynomial ring contructor slow with (big) matrix ordering

*Here is a benchmark* (since there was none given earlier:... John Abbott

10:17 Slug #1588: ElimMat is slow

My guess is that the code repeatedly calls @rank@, but we should be able to be "clever" in some common cases.
Is i... John Abbott

10:15 Slug #1588 (New): ElimMat is slow

@ElimMat@ is rather slow for larger inputs:... John Abbott

09:50 Design #1528: MacOS compilation with clang

Any progress here?
It is enough to make small steps rather than try to do it all in one go.
Presumably compilatio... John Abbott

09 Apr 2021

13:48 Support #1555: Software licence

I currently suggest the following:
* add copyright notices to all files (incl. @Makefile@ and other supporting files... John Abbott

13:40 Support #1555: Software licence

As mentioned in #855#note-15 the FSF gives advice at the following URL:... John Abbott

11:59 Design #855: Copyright and authorship?

Here is a URL to a page by the FSF about copyright notices to assign to works:... John Abbott

07 Apr 2021

18:08 Support #1555: Software licence

We seem to have used the standard GPL v3.0 for all source code (headers and source):
* in @include/CoCoA/@
* in @sr... John Abbott

05 Apr 2021

15:19 Feature #1210: New Fn: make public "coefficients" (of poly wrt a given PP basis)

How to impl neatly and efficiently the version @CoeffsWRT(f,QB)@?
Perhaps create a list of pairs (PP,index); sort ... John Abbott

02 Apr 2021

10:27 Bug #1585: CRASH/ABORT: GMP overflow

Which functions should test for overflow?
@power@ and multiplication certainly. Which others?... John Abbott

23 Mar 2021

13:39 Bug #1585: CRASH/ABORT: GMP overflow

I have increased the arbitrary limit so that the example in comment 4 above now runs without hiccups (except for the ... John Abbott

11:19 Bug #1585: CRASH/ABORT: GMP overflow

Here is a "torture test" using multiplication (on my machine):... John Abbott

10:12 Bug #1585 (Resolved): CRASH/ABORT: GMP overflow

No reply from the GMP people. I looked at the code, and it seems that the error is actually signalled inside a memor... John Abbott

22 Mar 2021

09:55 Bug #1585: CRASH/ABORT: GMP overflow

I have written to the GMP people asking whether there is some way to specify an alternative way to handle overflow.
... John Abbott

09:40 Bug #1585: CRASH/ABORT: GMP overflow

I have given this *high priority* because an abort is a nasty failure... everything is lost.
How to handle all pos... John Abbott

09:37 Bug #1585 (Closed): CRASH/ABORT: GMP overflow

The following causes an abort:... John Abbott