CoCoA

08 Oct 2020

15:16 CoCoA-5 0.20 hour (Design #1504 (Closed): OnlineHelp: XMLFileName)

Some notes John Abbott

14:16 CoCoA-5 0.10 hour (Feature #1503 (New): More flexible ring creation syntax (after use or ::=))

How limited? John Abbott

14:11 CoCoA-5 0.25 hour (Feature #1503 (New): More flexible ring creation syntax (after use or ::=))

Some notes John Abbott

13:57 CoCoA-5 0.10 hour (Feature #606 (Closed): Evaluate in ring operator (was called :: in CoCoA-4))

Mostly done? John Abbott

13:54 CoCoA-5 0.10 hour (Feature #1293 (Resolved): Vim Plugin for CoCoA)

Release? John Abbott

13:48 CoCoA-5 0.10 hour (Design #637 (Closed): Undesirable consequence of automatic mapping of RingElems?)

Update John Abbott

12:35 CoCoALib 0.10 hour (Design #1500 (Closed): IsDivisible in a field?)

More thoughts John Abbott

12:32 CoCoA-5 0.40 hour (Bug #1502 (In Progress): SystemCommand in Microsoft version)

Some notes John Abbott

07 Oct 2020

22:11 CoCoALib 0.25 hour (Slug #722 (Closed): valuation slow for large inputs)

Good enough John Abbott

12:02 CoCoA-5 0.50 hour (Design #1501 (Rejected): testing for syntax errors)

Some notes John Abbott

06 Oct 2020

15:53 CoCoA-5 1.00 hour (Design #1493 (Closed): Automatic ring mapping in assignment?)

Mostly done John Abbott

15:42 CoCoALib 0.10 hour (Design #855 (Closed): Copyright and authorship?)

Orderly John Abbott

15:39 CoCoALib 0.20 hour (Design #1242 (In Progress): C++14: Use type auto where appropriate)

Progress chart John Abbott

15:35 CoCoALib 0.10 hour (Bug #1473 (Closed): isystem not working as expected)

Better? John Abbott

15:20 CoCoALib 2.50 hours (Design #1279 (Closed): Tidy up code for matrix determinant)

Mostly done? John Abbott

15:16 CoCoALib 0.20 hour (Design #1460 (Closed): Name of TensorMat; change to KroneckerProd?)

Already done John Abbott

14:57 CoCoALib 0.20 hour (Design #1221 (Closed): Reconsider design for accessing headers and libs of external libraries)

Some notes John Abbott

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

Not urgent John Abbott

12:24 CoCoALib 0.10 hour (Design #710 (In Progress): Update normaliz interface?)

What exactly do we want to do? John Abbott

12:21 CoCoALib 0.10 hour (Bug #1280 (In Progress): Determinant & Inverse of matrix over non integral domain)

Needs more work John Abbott

12:20 CoCoALib 0.20 hour (Bug #1280 (In Progress): Determinant & Inverse of matrix over non integral domain)

Some improvement John Abbott

12:11 CoCoALib 0.10 hour (Feature #743 (In Progress): Better errors: give supplementary info about the error)

Still urgent John Abbott

12:08 CoCoALib 0.10 hour (Design #1414 (In Progress): Make class RingElemVector?)

Postponing John Abbott

11:59 CoCoA-5 0.20 hour (Support #1498 (Closed): Export many names or just one?)

Some notes John Abbott

11:35 CoCoALib 0.50 hour (Design #1391 (Closed): RingElems: syntax with [ and ] ?)

Revised RingElemList John Abbott

10:22 CoCoALib 0.20 hour (Support #1499 (Closed): factorization: allow zero as exponent?)

Red herring? John Abbott

09:53 CoCoALib 0.25 hour (Feature #1490 (Rejected): New function: MinusOneToPower)

Pointless John Abbott

05 Oct 2020

16:18 CoCoA-5 0.20 hour (Feature #1487 (Closed): EOF for OpenIFile)

Question John Abbott

16:13 CoCoA-5 0.50 hour (Feature #1487 (Closed): EOF for OpenIFile)

Ahhh! John Abbott

15:48 CoCoA-5 0.20 hour (Feature #1487 (Closed): EOF for OpenIFile)

Improved doc John Abbott

15:37 CoCoA-5 0.50 hour (Feature #1487 (Closed): EOF for OpenIFile)

RTFM? John Abbott

14:39 CoCoALib 0.25 hour (Feature #1436 (Closed): Flatten for a matrix)

Added test John Abbott

14:32 CoCoALib 0.25 hour (Design #1500 (Closed): IsDivisible in a field?)

Some notes John Abbott

13:26 CoCoALib 0.20 hour (Support #1499 (Closed): factorization: allow zero as exponent?)

Some notes John Abbott

13:08 CoCoALib 0.10 hour (Feature #664 (Resolved): Impl small non-prime finite fields (using logs))

Postponing John Abbott

13:03 CoCoALib 0.20 hour (Design #1391 (Closed): RingElems: syntax with [ and ] ?)

Req minor improvement John Abbott

11:58 CoCoALib 0.20 hour (Design #1463 (Closed): SmoothFactor: use FactorMultiplicity)

More thoughts John Abbott

11:40 CoCoALib 0.20 hour (Feature #1490 (Rejected): New function: MinusOneToPower)

Doubts John Abbott

03 Oct 2020

17:41 CoCoALib 0.20 hour (Feature #1490 (Rejected): New function: MinusOneToPower)

First impl John Abbott

17:27 CoCoALib 0.20 hour (Feature #1488 (Closed): BuiltIn Interreduce-Function)

Fn name John Abbott

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

Tests John Abbott

17:08 CoCoA-5 1.00 hour (Design #1495 (Closed): Package exporting nothing?)

Testing... some questions John Abbott

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