CoCoA » CoCoA-5

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

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