CoCoA Project

17 Sep 2020

16:06 CoCoA-5 0.10 hour (Feature #1415 (In Progress): thmproving package)

News? John Abbott

15:59 CoCoA-5 0.50 hour (Bug #1294 (Closed): CoCoA-5 tests may fail even if executed correctly)

More notes John Abbott

16 Sep 2020

16:23 CoCoALib 0.25 hour (Feature #1488 (Closed): BuiltIn Interreduce-Function)

Semantics & other ideas John Abbott

15:41 CoCoALib 1.00 hour (Feature #1488 (Closed): BuiltIn Interreduce-Function)

Adjoined John Abbott

14:45 CoCoALib 1.00 hour (Feature #1488 (Closed): BuiltIn Interreduce-Function)

Revised source John Abbott

15 Sep 2020

15:20 CoCoA-5 0.25 hour (Bug #1294 (Closed): CoCoA-5 tests may fail even if executed correctly)

Good point John Abbott

14 Sep 2020

18:19 CoCoA-5 0.20 hour (Support #1486 (In Progress): Emacs UI: indentation in a package)

Some notes John Abbott

18:11 CoCoALib 0.10 hour (Feature #1485 (New): Simple syntax for making a quotient ring?)

Some notes John Abbott

18:06 CoCoALib 0.10 hour (Feature #1485 (New): Simple syntax for making a quotient ring?)

More places? John Abbott

17:56 CoCoALib 0.25 hour (Feature #1485 (New): Simple syntax for making a quotient ring?)

Mostly done? John Abbott

18:08 CoCoALib 0.10 hour (Bug #1484 (Closed): ker bug (quotientinghom for R/ideal()))

More to do? John Abbott

18:07 CoCoALib 0.00 hour (Bug #1484 (Closed): ker bug (quotientinghom for R/ideal()))

Mostly done? John Abbott

13:10 CoCoALib 0.25 hour (Feature #1483 (Closed): IsPowerOf2 for rationals)

Done John Abbott

31 Aug 2020

14:56 CoCoALib 0.20 hour (Feature #1482 (In Progress): Extended rationals: PlusInfinity and MinusInfinity)

More notes John Abbott

14:48 CoCoALib 0.10 hour (Feature #1482 (In Progress): Extended rationals: PlusInfinity and MinusInfinity)

GMP John Abbott

14:02 CoCoALib 0.50 hour (Feature #1482 (In Progress): Extended rationals: PlusInfinity and MinusInfinity)

Some notes John Abbott

13:57 CoCoALib 0.50 hour (Feature #1482 (In Progress): Extended rationals: PlusInfinity and MinusInfinity)

Some notes John Abbott

14:34 CoCoALib 0.10 hour (Feature #1176 (In Progress): interval arithmetic)

MPRIA John Abbott

28 Aug 2020

15:40 CoCoALib 0.20 hour (Support #1481 (Closed): Release CoCoALib 0.99800)

Summary of changes John Abbott

13:47 CoCoALib 1.00 hour (Support #1196 (Closed): Split MatrixOps)

Partly done John Abbott