Activity
From 26 Feb 2021 to 27 Mar 2021
23 Mar 2021
- 13:39 1.00 hour (Bug #1585 (Closed): CRASH/ABORT: GMP overflow)
- Increased limit
- 10:12 1.50 hour (Bug #1585 (Closed): CRASH/ABORT: GMP overflow)
- Progress
22 Mar 2021
- 09:55 0.20 hour (Bug #1585 (Closed): CRASH/ABORT: GMP overflow)
- Asked GMP
- 09:40 0.25 hour (Bug #1585 (Closed): CRASH/ABORT: GMP overflow)
- Some notes
19 Mar 2021
- 15:43 0.20 hour (Support #1584 (New): Benchmarks?)
- Some notes
- 13:29 0.25 hour (Design #786 (Closed): MemPool: review min and max loaf sizes)
- Seems OK
- 13:27 0.10 hour (Feature #82 (Closed): C++11 compatibility questions)
- Progress?
- 13:13 0.10 hour (Design #854 (Closed): Function MakeTermOrd should be renamed MakeTermOrdMat?)
- Anna
- 13:12 0.10 hour (Support #618 (Closed): Instructions for compiling libnormaliz)
- Anna?
13 Mar 2021
- 21:02 0.25 hour (Feature #1580 (Closed): New fn prim for polys)
- Generalize?
12 Mar 2021
- 10:37 0.10 hour (Feature #1417 (In Progress): RadicalZeroDim with extra parameter for GBasis timeout)
- Better guesses?
- 10:08 0.20 hour (Feature #1417 (In Progress): RadicalZeroDim with extra parameter for GBasis timeout)
- Progress?
- 10:27 0.50 hour (Slug #1375 (Closed): Radical 0-dim: varied timings)
- Seems OK now
- 09:57 0.25 hour (Slug #777 (In Progress): SLUG: elimination)
- Progress?
- 09:48 0.20 hour (Slug #1337 (In Progress): PrimaryDecomposition: a interesting/pathological example)
- An idea
05 Mar 2021
- 09:37 0.20 hour (Feature #1582 (New): Factorization in K(a,b)[x,y])
- Some notes
- 09:22 4.00 hours (Design #894 (In Progress): strict enum types: C++11 extension)
- More notes
02 Mar 2021
- 08:54 0.10 hour (Design #894 (In Progress): strict enum types: C++11 extension)
- CoCoALib
- 08:52 0.20 hour (Design #894 (In Progress): strict enum types: C++11 extension)
- CoCoA-5 soiurces
01 Mar 2021
Also available in: Atom