CoCoA » CoCoALib

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

19 Mar 2021

15:43 Support #1584: Benchmarks?

This was hinted at in issue #1375#note-19.
The benchmarks will very platform specific... primarily for developers.
John Abbott

15:40 Support #1584 (New): Benchmarks?

Should we devise a way to produce some benchmarks to let us measure how changes we make affect performance?
If so,... John Abbott

13:29 Design #786: MemPool: review min and max loaf sizes

This has been working for some time now... closing.
As mentioned above this is now largely irrelevant given the chan... John Abbott

13:27 Feature #82: C++11 compatibility questions

Do we have progress to report?
John Abbott

13:13 Design #854: Function MakeTermOrd should be renamed MakeTermOrdMat?

Anna will do this shortly.
John Abbott

13:12 Support #618: Instructions for compiling libnormaliz

Anna will check what happens on her (new) computer.
Hope we can close this soon.
Update website too!
John Abbott

13 Mar 2021

21:02 Feature #1580: New fn prim for polys

It might be helpful to generalize the fn so that it works in rings such as @QQ(a,b)[c,d](e,f)[x,y]@.
John Abbott

12 Mar 2021

10:37 Feature #1417: RadicalZeroDim with extra parameter for GBasis timeout

If no timeout is specified (_i.e._ the current situation) then some "heuristic" timeout is used.
Currently the heuri... John Abbott

10:08 Feature #1417: RadicalZeroDim with extra parameter for GBasis timeout

What is the status of this issue?
As I recall @radical@ now works fairly well for 0-dim ideals (see issue #948). Bu... John Abbott

10:27 Slug #1375 (Resolved): Radical 0-dim: varied timings

I have just tried most of the examples listed in this issue.
The early part about varied timings now seems to be com... John Abbott

09:57 Slug #777: SLUG: elimination

Has there been any progress on this issue?
In the case of elimination perhaps the "final clean up" could be limite... John Abbott

09:48 Slug #1337: PrimaryDecomposition: a interesting/pathological example

Since we now have GBasis with timeout, perhaps that could be used to implement a sort of "parallel" approach where th... John Abbott