CoCoA » CoCoALib

29 Sep 2020

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

Some notes John Abbott

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

More thoughts John Abbott

28 Sep 2020

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

Some notes John Abbott

25 Sep 2020

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

What name? John Abbott

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

Some notes John Abbott

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

Anna Maria Bigatti

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

Some notes John Abbott

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

Anna Maria Bigatti

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

Seems OK now John Abbott

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

Almost done John Abbott

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

Added test John Abbott

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

Mmmm, a bit messy John Abbott

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

Improved John Abbott

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

Mostly done John Abbott

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

Duplicate of 1488? John Abbott

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

More thoughts John Abbott

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

Reasonable soln John Abbott

16 Sep 2020

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

Semantics & other ideas John Abbott

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

Adjoined John Abbott

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

Revised source John Abbott

14 Sep 2020

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

Some notes John Abbott

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

More places? John Abbott

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

Mostly done? John Abbott

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

More to do? John Abbott

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

Mostly done? John Abbott

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

Done John Abbott

31 Aug 2020

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

More notes John Abbott

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

GMP John Abbott

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

Some notes John Abbott

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

Some notes John Abbott

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

MPRIA John Abbott