Activity
From 31 Aug 2020 to 29 Sep 2020
29 Sep 2020
-
13:19 CoCoALib 0.25 hour (Feature #562 (New): Subrings)
- Some notes
-
13:12 CoCoALib 0.30 hour (Feature #1468 (In Progress): Adjoin indets to a poly ring)
- More thoughts
28 Sep 2020
-
15:08 CoCoA-5 0.25 hour (Support #1486 (In Progress): Emacs UI: indentation in a package)
- Where
-
13:51 CoCoALib 0.25 hour (Feature #1492 (New): submat of a submat)
- Some notes
25 Sep 2020
-
17:44 CoCoALib 0.10 hour (Feature #1490 (Rejected): New function: MinusOneToPower)
- What name?
-
13:37 CoCoALib 0.20 hour (Feature #1490 (Rejected): New function: MinusOneToPower)
- Some notes
-
17:06 CoCoALib 0.20 hour (Feature #1436 (Closed): Flatten for a matrix)
-
11:13 CoCoALib 0.25 hour (Feature #1436 (Closed): Flatten for a matrix)
- Some notes
-
16:58 CoCoALib 0.20 hour (Bug #1423 (Closed): Radical 0-dim NYI? missing case for GBasisByHomog)
-
11:18 CoCoALib 0.20 hour (Bug #1423 (Closed): Radical 0-dim NYI? missing case for GBasisByHomog)
- Seems OK now
-
15:16 CoCoALib 0.40 hour (Support #1263 (Resolved): Tidy CoCoALib test directory)
- Almost done
-
14:58 CoCoALib 0.10 hour (Bug #1331 (Closed): adj: for matrices 7x7 and bigger)
- Added test
-
14:52 CoCoALib 0.25 hour (Bug #1331 (Closed): adj: for matrices 7x7 and bigger)
- Mmmm, a bit messy
-
14:35 CoCoALib 0.50 hour (Bug #1331 (Closed): adj: for matrices 7x7 and bigger)
- Improved
-
14:02 CoCoALib 2.30 hours (Support #1196 (Closed): Split MatrixOps)
- Mostly done
-
11:20 CoCoALib 0.10 hour (Feature #1405 (Closed): New fn: interreduction)
- Duplicate of 1488?
-
11:04 CoCoALib 0.25 hour (Feature #1472 (In Progress): Idea for for loops)
- More thoughts
-
10:51 CoCoALib 4.00 hours (Design #1463 (Closed): SmoothFactor: use FactorMultiplicity)
- Reasonable soln
23 Sep 2020
-
11:22 CoCoA-5 0.25 hour (Bug #1200 (Closed): Package exported function: wrong package name)
- Mistake???
-
11:19 CoCoA-5 0.10 hour (Bug #1200 (Closed): Package exported function: wrong package name)
- Source code
-
11:09 CoCoA-5 0.10 hour (Bug #1200 (Closed): Package exported function: wrong package name)
- Postponing
-
11:06 CoCoA-5 0.20 hour (Support #692 (Rejected): Local variables hiding out ones at top level)
- More thoughts
-
10:42 CoCoA-5 1.50 hour (Bug #1294 (Closed): CoCoA-5 tests may fail even if executed correctly)
- First impl
17 Sep 2020
-
16:06 CoCoA-5 0.10 hour (Feature #1415 (In Progress): thmproving package)
- News?
-
15:59 CoCoA-5 0.50 hour (Bug #1294 (Closed): CoCoA-5 tests may fail even if executed correctly)
- More notes
16 Sep 2020
-
16:23 CoCoALib 0.25 hour (Feature #1488 (Closed): BuiltIn Interreduce-Function)
- Semantics & other ideas
-
15:41 CoCoALib 1.00 hour (Feature #1488 (Closed): BuiltIn Interreduce-Function)
- Adjoined
-
14:45 CoCoALib 1.00 hour (Feature #1488 (Closed): BuiltIn Interreduce-Function)
- Revised source
15 Sep 2020
-
15:20 CoCoA-5 0.25 hour (Bug #1294 (Closed): CoCoA-5 tests may fail even if executed correctly)
- Good point
14 Sep 2020
-
18:19 CoCoA-5 0.20 hour (Support #1486 (In Progress): Emacs UI: indentation in a package)
- Some notes
-
18:11 CoCoALib 0.10 hour (Feature #1485 (New): Simple syntax for making a quotient ring?)
- Some notes
-
18:06 CoCoALib 0.10 hour (Feature #1485 (New): Simple syntax for making a quotient ring?)
- More places?
-
17:56 CoCoALib 0.25 hour (Feature #1485 (New): Simple syntax for making a quotient ring?)
- Mostly done?
-
18:08 CoCoALib 0.10 hour (Bug #1484 (Closed): ker bug (quotientinghom for R/ideal()))
- More to do?
-
18:07 CoCoALib 0.00 hour (Bug #1484 (Closed): ker bug (quotientinghom for R/ideal()))
- Mostly done?
-
13:10 CoCoALib 0.25 hour (Feature #1483 (Closed): IsPowerOf2 for rationals)
- Done
31 Aug 2020
-
14:56 CoCoALib 0.20 hour (Feature #1482 (In Progress): Extended rationals: PlusInfinity and MinusInfinity)
- More notes
-
14:48 CoCoALib 0.10 hour (Feature #1482 (In Progress): Extended rationals: PlusInfinity and MinusInfinity)
- GMP
-
14:02 CoCoALib 0.50 hour (Feature #1482 (In Progress): Extended rationals: PlusInfinity and MinusInfinity)
- Some notes
-
13:57 CoCoALib 0.50 hour (Feature #1482 (In Progress): Extended rationals: PlusInfinity and MinusInfinity)
- Some notes
-
14:34 CoCoALib 0.10 hour (Feature #1176 (In Progress): interval arithmetic)
- MPRIA
Also available in: Atom