CoCoA

13 Dec 2019

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

More thoughts John Abbott

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

Speed test John Abbott

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

An idea John Abbott

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

Some notes John Abbott

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

Anna Maria Bigatti

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

Some ideas John Abbott

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

Anna Maria Bigatti

12 Dec 2019

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

Good guess John Abbott

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

Some notes John Abbott

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

Mysterious John Abbott

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

More examples John Abbott

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

Time bomb John Abbott

11:58 CoCoA-5 0.20 hour (Slug #948 (Closed): radical is slow (compared to singular) on these examples)

Time limit? John Abbott

11:42 CoCoA-5 0.25 hour (Slug #948 (Closed): radical is slow (compared to singular) on these examples)

Some improvement John Abbott

11 Dec 2019

17:40 CoCoA-5 0.20 hour (Slug #948 (Closed): radical is slow (compared to singular) on these examples)

Anna Maria Bigatti

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

Progress report John Abbott

10 Dec 2019

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

Very strange John Abbott

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

Another example John Abbott

09 Dec 2019

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

Example John Abbott

16:07 CoCoA-5 0.10 hour (Feature #1374 (Closed): Add function power to CoCoA-5)

No test? John Abbott

13:55 CoCoA-5 0.10 hour (Feature #1374 (Closed): Add function power to CoCoA-5)

Doc? John Abbott

13:37 CoCoA-5 0.10 hour (Feature #1374 (Closed): Add function power to CoCoA-5)

Chosen John Abbott

12:21 CoCoA-5 0.20 hour (Feature #1374 (Closed): Add function power to CoCoA-5)

Ooops! John Abbott

12:03 CoCoA-5 0.50 hour (Feature #1374 (Closed): Add function power to CoCoA-5)

Anna Maria Bigatti

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

Just for the record John Abbott

05 Dec 2019

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

Seems OK John Abbott

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

Status? John Abbott

04 Dec 2019

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

Now gives error John Abbott

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

Postponing John Abbott

17:15 ApCoCoA 0.25 hour (Feature #1328 (New): New ApCoCoA UI)

Meeting John Abbott

03 Dec 2019

14:36 CoCoA-5 0.75 hour (Feature #1364 (Closed): Emacs UI: start cocoa5 with system command enabled)

Checked in John Abbott

27 Nov 2019

22:42 CoCoA-5 0.50 hour (Feature #1364 (Closed): Emacs UI: start cocoa5 with system command enabled)

First proto John Abbott

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

Not like lex John Abbott

26 Nov 2019

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

Anna Maria Bigatti

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

Unexpected John Abbott

25 Nov 2019

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

Mmmm John Abbott

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

Some notes John Abbott

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

Some notes John Abbott

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

Some notes John Abbott

24 Nov 2019

13:11 CoCoA-5 0.10 hour (Support #1368 (Closed): Improve manual for mod)

Ange's problem John Abbott

13:04 CoCoA-5 0.40 hour (Support #1368 (Closed): Improve manual for mod)

Manual and code disagree John Abbott

12:51 CoCoA-5 0.20 hour (Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz)

Some notes John Abbott

12:46 CoCoA-5 0.25 hour (Design #1352 (Closed): cocoa5 (launch) script: sleep time)

Minor changes John Abbott

22 Nov 2019

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

Changed my copy John Abbott

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

Always? John Abbott

19 Nov 2019

16:49 CoCoALib 5.00 hours (Support #1276 (Closed): Release 0.99650)

Anna Maria Bigatti

15 Nov 2019

15:40 CoCoA-5 0.30 hour (Feature #1364 (Closed): Emacs UI: start cocoa5 with system command enabled)

Some notes John Abbott

15:28 CoCoA-5 0.20 hour (Support #677 (New): Credits to CoCoA-5 contributors)

More thoughts John Abbott

14 Nov 2019

19:22 CoCoALib 0.50 hour (Design #982 (Closed): Catching interrupts in example progs?)

ex-empty John Abbott

19:17 CoCoALib 1.00 hour (Bug #1362 (Closed): GBasis verbose mode: some output is on cerr/clog)

Mostly fixed John Abbott

09:49 CoCoALib 0.20 hour (Bug #1362 (Closed): GBasis verbose mode: some output is on cerr/clog)

clog John Abbott

15:28 CoCoALib 0.10 hour (Feature #1360 (Closed): configure script: add flags for "only cocoalib" or "both cocoalib and cocoa5" (for boost))

Delayed John Abbott