CoCoA » CoCoA-5

05 Nov 2021

23:07 0.30 hour (Bug #1356 (Closed): CoCoA-5 header files: should use a common prefix for CPP variables which enforce read-once)

Done John Abbott

16:47 0.10 hour (Bug #1356 (Closed): CoCoA-5 header files: should use a common prefix for CPP variables which enforce read-once)

Reasonable John Abbott

16:53 0.20 hour (Design #1501 (Rejected): testing for syntax errors)

Rejected John Abbott

16:32 0.50 hour (Design #1568 (In Progress): RMap and image: obsolescent?)

Anna Maria Bigatti

16:20 0.25 hour (Design #1568 (In Progress): RMap and image: obsolescent?)

Commented out John Abbott

16:08 0.10 hour (Design #1407 (Closed): Tagged values (Hilbert Series))

Progress? John Abbott

04 Nov 2021

23:26 0.10 hour (Feature #1526 (Closed): EmacsUI: help/manual for selected string -- or just for word with cursor on?)

Easy? John Abbott

23:24 0.20 hour (Bug #1397 (Closed): Crashes if CoCoAHelp.xml is missing)

No longer crashes John Abbott

23:21 0.10 hour (Bug #1397 (Closed): Crashes if CoCoAHelp.xml is missing)

Hmmm John Abbott

23:16 0.10 hour (Bug #1320 (New): CoCoA-5 manual: incorrect empty line in syntax box (in PDF file))

Still a problem John Abbott

23:07 0.10 hour (Design #1501 (Rejected): testing for syntax errors)

Nice idea but... John Abbott

22:59 0.25 hour (Bug #1623 (Feedback): EmacsUI: annoying colours)

Readability John Abbott

20:34 0.10 hour (Design #610 (Closed): Variable It: assign before or after printing)

Swap? John Abbott

30 Oct 2021

19:57 2.00 hours (Bug #1502 (In Progress): SystemCommand in Microsoft version)

Clue city John Abbott

27 Oct 2021

13:13 0.20 hour (Support #1006 (In Progress): External dependencies for building)

Compromise John Abbott

21 Oct 2021

17:41 0.10 hour (Bug #1624 (New): CantStop playing CantStop)

CRash John Abbott

17:24 0.10 hour (Bug #1624 (New): CantStop playing CantStop)

OK on linux John Abbott

20 Oct 2021

22:04 0.10 hour (Feature #1616 (Closed): UnivariateIndetIndex: remove cocoa-5 implementation and use CoCoALib's)

Checked in John Abbott

15:53 0.50 hour (Feature #1616 (Closed): UnivariateIndetIndex: remove cocoa-5 implementation and use CoCoALib's)

Almost done John Abbott

18 Oct 2021

12:01 0.20 hour (Bug #1623 (Feedback): EmacsUI: annoying colours)

Some notes John Abbott

11:33 0.10 hour (Bug #1622 (New): BuiltinOneLiners -- less precise location in error messages)

Example John Abbott

11:30 0.10 hour (Bug #1622 (New): BuiltinOneLiners -- less precise location in error messages)

Target? John Abbott

11:26 0.20 hour (Support #1621 (New): Doc for the various BuiltIn files)

Target John Abbott

11:23 0.10 hour (Feature #1596 (Resolved): Add CoCoA5 function NmzHilbertBasisKer)

Analogue John Abbott

11:08 0.20 hour (Bug #928 (New): ciao, exit, quit can be used not only at top level)

Still a problem John Abbott

17 Oct 2021

20:49 0.50 hour (Bug #1412 (Closed): Emacs UI: font size)

Maybe fixed John Abbott

15 Oct 2021

20:12 0.20 hour (Bug #1412 (Closed): Emacs UI: font size)

Relevant source John Abbott

14:09 0.25 hour (Bug #1412 (Closed): Emacs UI: font size)

Mighr work John Abbott

12 Oct 2021

09:33 0.10 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))

Check! John Abbott

09:27 0.10 hour (Feature #912 (In Progress): Add TUTORIALs to online manual)

Improved John Abbott

09:26 0.10 hour (Feature #1246 (Feedback): Revive old CoCoA4 package called "cocoa5.cpkg")

Andraschko may have news John Abbott

09:22 0.25 hour (Slug #1581 (New): Slow sqfr: rad(f))

Still a problem John Abbott

09:12 0.20 hour (Bug #1443 (Closed): Illegal instruction)

Progress? John Abbott

09:03 0.10 hour (Feature #1415 (In Progress): thmproving package)

News? John Abbott