CoCoA » CoCoALib

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

09 Dec 2019

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

Example John Abbott

13:34 0.20 hour (Slug #1136 (Closed): IsInRadical: sometimes a bit slow)

Just for the record John Abbott

05 Dec 2019

15:55 0.10 hour (Slug #1136 (Closed): IsInRadical: sometimes a bit slow)

Seems OK John Abbott

15:52 0.10 hour (Slug #1136 (Closed): IsInRadical: sometimes a bit slow)

Status? John Abbott

04 Dec 2019

17:38 0.10 hour (Bug #1233 (Resolved): factor SEGV -- too large characteristic)

Now gives error John Abbott

17:19 0.10 hour (Support #1161 (Closed): Split NumTheory.C into several smaller files)

Postponing John Abbott

27 Nov 2019

15:53 0.30 hour (Bug #1371 (In Progress): French students' example with GFan)

Not like lex John Abbott

26 Nov 2019

15:45 0.20 hour (Bug #1371 (In Progress): French students' example with GFan)

Anna Maria Bigatti

15:10 0.25 hour (Bug #1371 (In Progress): French students' example with GFan)

Unexpected John Abbott

25 Nov 2019

20:33 0.50 hour (Slug #1369 (In Progress): RandomUnimodularMat is slow with many iters)

Mmmm John Abbott

13:48 0.25 hour (Slug #1369 (In Progress): RandomUnimodularMat is slow with many iters)

Some notes John Abbott

17:46 0.30 hour (Bug #1371 (In Progress): French students' example with GFan)

Some notes John Abbott

14:35 0.25 hour (Design #1370 (New): RingID counter increased inside some functions)

Some notes John Abbott

22 Nov 2019

15:35 0.25 hour (Design #1366 (Closed): Should configure remove the file ERR_MESGS if it’s empty?)

Changed my copy John Abbott

12:26 0.30 hour (Design #1366 (Closed): Should configure remove the file ERR_MESGS if it’s empty?)

Always? John Abbott