CoCoA » CoCoALib

08 Jan 2020

23:04 0.20 hour (Bug #1362 (Closed): GBasis verbose mode: some output is on cerr/clog)

Test case John Abbott

07 Jan 2020

14:28 0.25 hour (Feature #1381 (In Progress): Type ideal for ZZ[x[1..n]])

Updates John Abbott

28 Dec 2019

19:03 0.20 hour (Bug #1379 (Closed): Fails to recognize zero-dim ideal)

New tests John Abbott

18:57 0.25 hour (Bug #1379 (Closed): Fails to recognize zero-dim ideal)

Seems OK John Abbott

18:49 0.75 hour (Bug #1380 (Closed): Make IsZeroDim more robust)

Revised John Abbott

27 Dec 2019

19:20 0.50 hour (Feature #1212 (Closed): New function: GBasisByHomog)

Anna Maria Bigatti

19:19 0.50 hour (Feature #1212 (Closed): New function: GBasisByHomog)

Anna Maria Bigatti

18:49 2.00 hours (Feature #1212 (Closed): New function: GBasisByHomog)

Anna Maria Bigatti

16:48 0.20 hour (Feature #1212 (Closed): New function: GBasisByHomog)

Anna Maria Bigatti

15:31 0.40 hour (Bug #1380 (Closed): Make IsZeroDim more robust)

Made a first impl John Abbott

14:41 0.10 hour (Bug #1379 (Closed): Fails to recognize zero-dim ideal)

IsZeroDim John Abbott

13:22 2.00 hours (Bug #1379 (Closed): Fails to recognize zero-dim ideal)

Anna Maria Bigatti

13:19 0.50 hour (Bug #1379 (Closed): Fails to recognize zero-dim ideal)

Anna Maria Bigatti

13:18 0.50 hour (Bug #1379 (Closed): Fails to recognize zero-dim ideal)

Anna Maria Bigatti

13:13 0.25 hour (Bug #1379 (Closed): Fails to recognize zero-dim ideal)

Concrete example John Abbott

13:01 0.50 hour (Bug #1379 (Closed): Fails to recognize zero-dim ideal)

More notes John Abbott

12:47 0.25 hour (Bug #1379 (Closed): Fails to recognize zero-dim ideal)

Suspicious John Abbott

12:38 0.25 hour (Bug #1379 (Closed): Fails to recognize zero-dim ideal)

Worrying comment John Abbott

12:36 0.50 hour (Bug #1379 (Closed): Fails to recognize zero-dim ideal)

Confirmed John Abbott

21 Dec 2019

17:22 0.75 hour (Bug #1376 (Closed): GBasisTimeout: not working as expected)

Impenetrable code John Abbott

20 Dec 2019

17:05 0.50 hour (Slug #1375 (Closed): Radical 0-dim: varied timings)

Experiment proposal John Abbott

16:59 0.20 hour (Design #1377 (Closed): CpuTimeLimit: limit "intervals" between full checks)

Checked in John Abbott

16:34 2.00 hours (Design #1377 (Closed): CpuTimeLimit: limit "intervals" between full checks)

Improved John Abbott

16:58 0.25 hour (Bug #1376 (Closed): GBasisTimeout: not working as expected)

Suggestion John Abbott

14 Dec 2019

12:37 0.25 hour (Design #1377 (Closed): CpuTimeLimit: limit "intervals" between full checks)

Alternative idea John Abbott

12:32 0.20 hour (Bug #1376 (Closed): GBasisTimeout: not working as expected)

Reply John Abbott

13 Dec 2019

18:17 0.25 hour (Design #1377 (Closed): CpuTimeLimit: limit "intervals" between full checks)

More thoughts John Abbott

14:33 0.75 hour (Design #1377 (Closed): CpuTimeLimit: limit "intervals" between full checks)

Speed test John Abbott

13:46 0.25 hour (Design #1377 (Closed): CpuTimeLimit: limit "intervals" between full checks)

An idea John Abbott

13:39 0.50 hour (Design #1377 (Closed): CpuTimeLimit: limit "intervals" between full checks)

Some notes John Abbott

13:26 0.50 hour (Bug #1376 (Closed): GBasisTimeout: not working as expected)

Anna Maria Bigatti

12:45 0.50 hour (Bug #1376 (Closed): GBasisTimeout: not working as expected)

Some ideas John Abbott

11:57 0.50 hour (Slug #1375 (Closed): Radical 0-dim: varied timings)

Anna Maria Bigatti

12 Dec 2019

21:44 0.50 hour (Bug #1376 (Closed): GBasisTimeout: not working as expected)

Good guess John Abbott

17:04 0.50 hour (Bug #1376 (Closed): GBasisTimeout: not working as expected)

Some notes John Abbott

15:30 0.25 hour (Slug #1375 (Closed): Radical 0-dim: varied timings)

Mysterious John Abbott

13:33 0.25 hour (Slug #1375 (Closed): Radical 0-dim: varied timings)

More examples John Abbott

11:33 0.25 hour (Slug #1375 (Closed): Radical 0-dim: varied timings)

Time bomb John Abbott

11 Dec 2019

15:08 0.50 hour (Slug #1375 (Closed): Radical 0-dim: varied timings)

Progress report John Abbott

10 Dec 2019

14:41 0.50 hour (Slug #1375 (Closed): Radical 0-dim: varied timings)

Very strange John Abbott

13:28 0.50 hour (Slug #1375 (Closed): Radical 0-dim: varied timings)

Another example John Abbott