CoCoA » CoCoALib

02 Apr 2021

10:27 0.20 hour (Bug #1585 (Closed): CRASH/ABORT: GMP overflow)

Which functions? John Abbott

23 Mar 2021

13:39 1.00 hour (Bug #1585 (Closed): CRASH/ABORT: GMP overflow)

Increased limit John Abbott

10:12 1.50 hour (Bug #1585 (Closed): CRASH/ABORT: GMP overflow)

Progress John Abbott

22 Mar 2021

09:55 0.20 hour (Bug #1585 (Closed): CRASH/ABORT: GMP overflow)

Asked GMP John Abbott

09:40 0.25 hour (Bug #1585 (Closed): CRASH/ABORT: GMP overflow)

Some notes John Abbott

19 Mar 2021

15:43 0.20 hour (Support #1584 (New): Benchmarks?)

Some notes John Abbott

13:29 0.25 hour (Design #786 (Closed): MemPool: review min and max loaf sizes)

Seems OK John Abbott

13:27 0.10 hour (Feature #82 (Closed): C++11 compatibility questions)

Progress? John Abbott

13:13 0.10 hour (Design #854 (Closed): Function MakeTermOrd should be renamed MakeTermOrdMat?)

Anna John Abbott

13:12 0.10 hour (Support #618 (Closed): Instructions for compiling libnormaliz)

Anna? John Abbott

13 Mar 2021

21:02 0.25 hour (Feature #1580 (Closed): New fn prim for polys)

Generalize? John Abbott

12 Mar 2021

10:37 0.10 hour (Feature #1417 (In Progress): RadicalZeroDim with extra parameter for GBasis timeout)

Better guesses? John Abbott

10:08 0.20 hour (Feature #1417 (In Progress): RadicalZeroDim with extra parameter for GBasis timeout)

Progress? John Abbott

10:27 0.50 hour (Slug #1375 (Closed): Radical 0-dim: varied timings)

Seems OK now John Abbott

09:57 0.25 hour (Slug #777 (In Progress): SLUG: elimination)

Progress? John Abbott

09:48 0.20 hour (Slug #1337 (In Progress): PrimaryDecomposition: a interesting/pathological example)

An idea John Abbott