CoCoA » CoCoA-5

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

05 Oct 2021

20:21 0.10 hour (Design #1568 (In Progress): RMap and image: obsolescent?)

Boosting priority John Abbott

04 Oct 2021

12:13 1.00 hour (Bug #1613 (Closed): CRASH with RingHom from FrF)

Maybe fixed John Abbott

12:11 1.00 hour (Bug #1614 (Closed): SourceRegion gives misleading error mesg)

Blind leading the blind John Abbott

11:57 0.20 hour (Design #1615 (Rejected): apply: remove for RingHom)

Duplicate John Abbott

02 Oct 2021

10:25 0.50 hour (Bug #1614 (Closed): SourceRegion gives misleading error mesg)

Source code John Abbott

01 Oct 2021

13:53 0.40 hour (Bug #1613 (Closed): CRASH with RingHom from FrF)

GDB John Abbott

12:35 0.40 hour (Bug #1613 (Closed): CRASH with RingHom from FrF)

Source code John Abbott

12:19 0.50 hour (Bug #1613 (Closed): CRASH with RingHom from FrF)

Simpler failing example John Abbott

30 Sep 2021

22:42 0.25 hour (Bug #1613 (Closed): CRASH with RingHom from FrF)

Another problem John Abbott

28 Sep 2021

17:48 1.50 hour (Bug #1610 (Closed): IsInRadical: some more little bugs)

Anna Maria Bigatti

27 Sep 2021

09:57 0.50 hour (Bug #1610 (Closed): IsInRadical: some more little bugs)

Anna Maria Bigatti

09:55 0.50 hour (Bug #1610 (Closed): IsInRadical: some more little bugs)

Anna Maria Bigatti

24 Sep 2021

22:37 0.20 hour (Feature #1536 (Closed): Implement xel?)

John Abbott

22:35 0.15 hour (Bug #1215 (Closed): RationalSolve: gives "Error: must be non-zero")

Unclear John Abbott

22:32 0.20 hour (Bug #1537 (Closed): EmacUI: strange colours, sometimes)

Seems OK now John Abbott

22:29 0.10 hour (Bug #1574 (New): ApproxSolveTF)

Accuracy check loop? John Abbott

22:26 0.20 hour (Bug #1573 (Closed): ApproxSolve: very imprecise)

Surprise! John Abbott

20:34 0.50 hour (Bug #1573 (Closed): ApproxSolve: very imprecise)

Doc John Abbott

22:21 0.10 hour (Slug #1392 (Closed): ApproxSolve: another slow example)

John Abbott

22:18 0.10 hour (Bug #1539 (Closed): Website: installation instructions for Microsoft)

Imminent testing John Abbott

22:16 0.25 hour (Bug #1531 (Closed): CRASH: arithmetic with HilbertSeries (tagged object))

Closing John Abbott

21:58 0.20 hour (Bug #713 (Closed): External libs: interrupting not easy)

Summary John Abbott

21:50 0.15 hour (Bug #1216 (Closed): RationalSolve: gives wrong answer)

Closing John Abbott

21:47 0.10 hour (Feature #1293 (Resolved): Vim Plugin for CoCoA)

Advertise John Abbott