Activity
From 15 May 2015 to 13 Jun 2015
12 Jun 2015
- 12:03 3.00 hours (Feature #664 (Resolved): Impl small non-prime finite fields (using logs))
- First prototype
11 Jun 2015
- 20:06 0.10 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type")
- 15:27 0.10 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type")
- Seminar
- 11:43 0.20 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type")
- Plans
- 11:14 0.25 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type")
- More notes
- 19:00 1.00 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one)
- 11:46 0.10 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one)
- OK
- 11:04 0.10 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one)
- More notes
- 11:00 0.10 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one)
- Expressibility
- 10:41 0.25 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one)
- Uncertain
- 08:41 0.25 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one)
- 15:26 9.00 hours (Feature #664 (Resolved): Impl small non-prime finite fields (using logs))
- First prototype
- 14:58 0.25 hour (Feature #386 (In Progress): add resolution data type)
- industrial espionage
- 11:57 0.25 hour (Feature #386 (In Progress): add resolution data type)
- Compromise
10 Jun 2015
- 17:12 0.10 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type")
- 12:55 0.20 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type")
- Correction
- 13:41 1.00 hour (Feature #386 (In Progress): add resolution data type)
- Design idea
- 13:19 0.30 hour (Feature #729 (In Progress): Betti numbers, betti diagram)
- Design idea
- 11:30 0.10 hour (Feature #730 (Closed): Stats in GBMill (GReductor))
- Mario
- 11:24 0.30 hour (Feature #730 (Closed): Stats in GBMill (GReductor))
- Some notes
08 Jun 2015
- 18:52 0.25 hour (Feature #729 (In Progress): Betti numbers, betti diagram)
- Some notes
- 11:09 0.25 hour (Feature #718 (Closed): Insert calls to CheckForInterrupt)
- Run-time cost?
07 Jun 2015
06 Jun 2015
- 22:49 0.10 hour (Slug #725 (New): Example database: Slow ideal equality test)
- Input generators
- 22:46 0.10 hour (Slug #725 (New): Example database: Slow ideal equality test)
- Good idea in principle...
- 20:32 0.25 hour (Slug #725 (New): Example database: Slow ideal equality test)
- Completion of table of timings
- 14:25 0.10 hour (Slug #725 (New): Example database: Slow ideal equality test)
- 13:19 0.25 hour (Slug #725 (New): Example database: Slow ideal equality test)
- Sample output
01 Jun 2015
- 22:31 0.75 hour (Slug #722 (Closed): valuation slow for large inputs)
- First prototype
- 10:39 0.10 hour (Slug #722 (Closed): valuation slow for large inputs)
- QuoRem
31 May 2015
- 11:58 0.20 hour (Slug #722 (Closed): valuation slow for large inputs)
- Some notes
30 May 2015
- 14:52 0.50 hour (Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?)
- More notes
- 10:01 0.25 hour (Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?)
- Not a CoCoA_ERROR
- 10:22 0.20 hour (Feature #385 (In Progress): Design new errors using inheritance)
- Design idea
29 May 2015
- 16:19 0.25 hour (Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?)
- Some notes
- 12:03 0.75 hour (Feature #718 (Closed): Insert calls to CheckForInterrupt)
22 May 2015
- 13:45 0.25 hour (Slug #675 (In Progress): Matrix determinant over multivariate poly ring)
- papers
- 13:21 0.25 hour (Slug #675 (In Progress): Matrix determinant over multivariate poly ring)
- Hacked
21 May 2015
- 16:02 0.40 hour (Bug #666 (Closed): RatReconstructByLattice fails in some simple cases)
- Documented
- 10:54 0.20 hour (Feature #718 (Closed): Insert calls to CheckForInterrupt)
- Keep logs
- 09:41 0.30 hour (Feature #714 (Closed): Interrupt mechanism)
- Chosen (B)
- 09:38 0.20 hour (Feature #715 (Closed): RandomSubsetIndices, RandomTupleIndices?)
- Mostly done
20 May 2015
- 17:24 0.20 hour (Feature #573 (Closed): Use symbolic links for external libraries)
- Current status?
- 12:21 0.25 hour (Feature #714 (Closed): Interrupt mechanism)
- Undecided
19 May 2015
- 17:55 0.30 hour (Feature #714 (Closed): Interrupt mechanism)
- C5 GUI
- 16:56 2.00 hours (Feature #714 (Closed): Interrupt mechanism)
- Implemented first version
- 11:41 0.50 hour (Feature #714 (Closed): Interrupt mechanism)
- More notes
- 10:16 0.10 hour (Feature #714 (Closed): Interrupt mechanism)
- More notes
- 10:09 0.50 hour (Feature #714 (Closed): Interrupt mechanism)
- Some notes
18 May 2015
17 May 2015
- 10:31 0.25 hour (Design #710 (In Progress): Update normaliz interface?)
- Some notes
- 10:27 0.10 hour (Feature #253 (Closed): W.Bruns's wish list)
- Easy to finish?
15 May 2015
- 19:28 0.25 hour (Design #683 (Closed): Module index component in internal compressed representation)
- 18:43 6.00 hours (Design #683 (Closed): Module index component in internal compressed representation)
- 19:11 0.50 hour (Design #707 (In Progress): MatrixOrderingMod32749Impl: test and write documentation!)
- 15:51 2.00 hours (Bug #705 (Closed): DetDirect calls myAddMul with 0 argument -- funny compilation problem??)
Also available in: Atom