Activity
From 25 Aug 2020 to 23 Sep 2020
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
28 Aug 2020
- 15:40 CoCoALib 0.20 hour (Support #1481 (Closed): Release CoCoALib 0.99800)
- Summary of changes
- 13:47 CoCoALib 1.00 hour (Support #1196 (Closed): Split MatrixOps)
- Partly done
Also available in: Atom