CoCoA

02 Oct 2020

21:46 CoCoALib 0.10 hour (Feature #1405 (Closed): New fn: interreduction)

Duplicate! John Abbott

21:05 CoCoA-5 0.10 hour (Design #1495 (Closed): Package exporting nothing?)

Needs to be cleaned John Abbott

14:22 CoCoA-5 0.40 hour (Design #1495 (Closed): Package exporting nothing?)

Tests John Abbott

14:03 CoCoA-5 0.50 hour (Design #1495 (Closed): Package exporting nothing?)

First prototype John Abbott

11:31 CoCoA-5 0.50 hour (Design #1495 (Closed): Package exporting nothing?)

Anna Maria Bigatti

20:56 CoCoALib 0.20 hour (Feature #1436 (Closed): Flatten for a matrix)

Checked in John Abbott

17:03 CoCoALib 0.50 hour (Feature #1436 (Closed): Flatten for a matrix)

First impl John Abbott

20:30 CoCoALib 1.00 hour (Support #1494 (Closed): Normaliz 3.8.9)

New configure script John Abbott

16:38 CoCoA-5 1.00 hour (Bug #1489 (Closed): Unhelpful error message for package followed by identifier (without dollar sign))

Root cause John Abbott

12:00 CoCoA-5 0.10 hour (Design #1496 (Rejected): Use "special" names for variables inside tests)

List of tests John Abbott

11:54 CoCoA-5 0.20 hour (Design #1496 (Rejected): Use "special" names for variables inside tests)

Some notes John Abbott

11:43 CoCoA-5 0.50 hour (Support #692 (Rejected): Local variables hiding out ones at top level)

Rejected John Abbott

07:54 CoCoA-5 0.25 hour (Bug #1200 (Closed): Package exported function: wrong package name)

Anna Maria Bigatti

30 Sep 2020

17:36 CoCoA-5 0.10 hour (Bug #1489 (Closed): Unhelpful error message for package followed by identifier (without dollar sign))

Some notes John Abbott

17:29 CoCoA-5 0.10 hour (Design #1493 (Closed): Automatic ring mapping in assignment?)

Some notes John Abbott

14:08 CoCoALib 0.10 hour (Support #1494 (Closed): Normaliz 3.8.9)

No doc? John Abbott

11:57 CoCoALib 0.20 hour (Support #1494 (Closed): Normaliz 3.8.9)

Compiles John Abbott

11:14 CoCoALib 0.75 hour (Support #1494 (Closed): Normaliz 3.8.9)

Some notes John Abbott

11:43 CoCoA-5 0.20 hour (Design #1477 (Closed): Packages: questions from Andraschko)

To discuss... John Abbott

29 Sep 2020

13:19 CoCoALib 0.25 hour (Feature #562 (New): Subrings)

Some notes John Abbott

13:12 CoCoALib 0.30 hour (Feature #1468 (In Progress): Adjoin indets to a poly ring)

More thoughts John Abbott

28 Sep 2020

15:08 CoCoA-5 0.25 hour (Support #1486 (In Progress): Emacs UI: indentation in a package)

Where John Abbott

13:51 CoCoALib 0.25 hour (Feature #1492 (New): submat of a submat)

Some notes John Abbott

25 Sep 2020

17:44 CoCoALib 0.10 hour (Feature #1490 (Rejected): New function: MinusOneToPower)

What name? John Abbott

13:37 CoCoALib 0.20 hour (Feature #1490 (Rejected): New function: MinusOneToPower)

Some notes John Abbott

17:06 CoCoALib 0.20 hour (Feature #1436 (Closed): Flatten for a matrix)

Anna Maria Bigatti

11:13 CoCoALib 0.25 hour (Feature #1436 (Closed): Flatten for a matrix)

Some notes John Abbott

16:58 CoCoALib 0.20 hour (Bug #1423 (Closed): Radical 0-dim NYI? missing case for GBasisByHomog)

Anna Maria Bigatti

11:18 CoCoALib 0.20 hour (Bug #1423 (Closed): Radical 0-dim NYI? missing case for GBasisByHomog)

Seems OK now John Abbott

15:16 CoCoALib 0.40 hour (Support #1263 (Resolved): Tidy CoCoALib test directory)

Almost done John Abbott

14:58 CoCoALib 0.10 hour (Bug #1331 (Closed): adj: for matrices 7x7 and bigger)

Added test John Abbott

14:52 CoCoALib 0.25 hour (Bug #1331 (Closed): adj: for matrices 7x7 and bigger)

Mmmm, a bit messy John Abbott

14:35 CoCoALib 0.50 hour (Bug #1331 (Closed): adj: for matrices 7x7 and bigger)

Improved John Abbott

14:02 CoCoALib 2.30 hours (Support #1196 (Closed): Split MatrixOps)

Mostly done John Abbott

11:20 CoCoALib 0.10 hour (Feature #1405 (Closed): New fn: interreduction)

Duplicate of 1488? John Abbott

11:04 CoCoALib 0.25 hour (Feature #1472 (In Progress): Idea for for loops)

More thoughts John Abbott

10:51 CoCoALib 4.00 hours (Design #1463 (Closed): SmoothFactor: use FactorMultiplicity)

Reasonable soln John Abbott

23 Sep 2020

11:22 CoCoA-5 0.25 hour (Bug #1200 (Closed): Package exported function: wrong package name)

Mistake??? John Abbott

11:19 CoCoA-5 0.10 hour (Bug #1200 (Closed): Package exported function: wrong package name)

Source code John Abbott

11:09 CoCoA-5 0.10 hour (Bug #1200 (Closed): Package exported function: wrong package name)

Postponing John Abbott

11:06 CoCoA-5 0.20 hour (Support #692 (Rejected): Local variables hiding out ones at top level)

More thoughts John Abbott

10:42 CoCoA-5 1.50 hour (Bug #1294 (Closed): CoCoA-5 tests may fail even if executed correctly)

First impl John Abbott

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