Activity - CoCoALib - CoCoA Project

Activity

From 13 May 2015 to 11 Jun 2015

11 Jun 2015

20:06 0.10 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type"): Werner M Seiler
15:27 0.10 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type"): Seminar John Abbott
11:43 0.20 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type"): Plans John Abbott
11:14 0.25 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type"): More notes John Abbott
19:00 1.00 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one): Anna Maria Bigatti
11:46 0.10 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one): OK John Abbott
11:04 0.10 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one): More notes John Abbott
11:00 0.10 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one): Expressibility John Abbott
10:41 0.25 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one): Uncertain John Abbott
08:41 0.25 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one): Anna Maria Bigatti
15:26 9.00 hours (Feature #664 (Resolved): Impl small non-prime finite fields (using logs)): First prototype John Abbott
14:58 0.25 hour (Feature #386 (In Progress): add resolution data type): industrial espionage John Abbott
11:57 0.25 hour (Feature #386 (In Progress): add resolution data type): Compromise John Abbott

10 Jun 2015

17:12 0.10 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type"): Werner M Seiler
12:55 0.20 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type"): Correction John Abbott
13:41 1.00 hour (Feature #386 (In Progress): add resolution data type): Design idea John Abbott
13:19 0.30 hour (Feature #729 (In Progress): Betti numbers, betti diagram): Design idea John Abbott
11:30 0.10 hour (Feature #730 (Closed): Stats in GBMill (GReductor)): Mario John Abbott
11:24 0.30 hour (Feature #730 (Closed): Stats in GBMill (GReductor)): Some notes John Abbott

08 Jun 2015

18:52 0.25 hour (Feature #729 (In Progress): Betti numbers, betti diagram): Some notes John Abbott
11:09 0.25 hour (Feature #718 (Closed): Insert calls to CheckForInterrupt): Run-time cost? John Abbott

07 Jun 2015

12:46 0.25 hour (Slug #725 (New): Example database: Slow ideal equality test): Short cut? John Abbott

06 Jun 2015

22:49 0.10 hour (Slug #725 (New): Example database: Slow ideal equality test): Input generators John Abbott
22:46 0.10 hour (Slug #725 (New): Example database: Slow ideal equality test): Good idea in principle... John Abbott
20:32 0.25 hour (Slug #725 (New): Example database: Slow ideal equality test): Completion of table of timings John Abbott
14:25 0.10 hour (Slug #725 (New): Example database: Slow ideal equality test): John Abbott
13:19 0.25 hour (Slug #725 (New): Example database: Slow ideal equality test): Sample output John Abbott

01 Jun 2015

22:31 0.75 hour (Slug #722 (Closed): valuation slow for large inputs): First prototype John Abbott
10:39 0.10 hour (Slug #722 (Closed): valuation slow for large inputs): QuoRem John Abbott

31 May 2015

11:58 0.20 hour (Slug #722 (Closed): valuation slow for large inputs): Some notes John Abbott

30 May 2015

14:52 0.50 hour (Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?): More notes John Abbott
10:01 0.25 hour (Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?): Not a CoCoA_ERROR John Abbott
10:22 0.20 hour (Feature #385 (In Progress): Design new errors using inheritance): Design idea John Abbott

29 May 2015

16:19 0.25 hour (Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?): Some notes John Abbott
12:03 0.75 hour (Feature #718 (Closed): Insert calls to CheckForInterrupt): Anna Maria Bigatti

22 May 2015

13:45 0.25 hour (Slug #675 (In Progress): Matrix determinant over multivariate poly ring): papers John Abbott
13:21 0.25 hour (Slug #675 (In Progress): Matrix determinant over multivariate poly ring): Hacked John Abbott

21 May 2015

16:02 0.40 hour (Bug #666 (Closed): RatReconstructByLattice fails in some simple cases): Documented John Abbott
10:54 0.20 hour (Feature #718 (Closed): Insert calls to CheckForInterrupt): Keep logs John Abbott
09:41 0.30 hour (Feature #714 (Closed): Interrupt mechanism): Chosen (B) John Abbott
09:38 0.20 hour (Feature #715 (Closed): RandomSubsetIndices, RandomTupleIndices?): Mostly done John Abbott

20 May 2015

17:24 0.20 hour (Feature #573 (Closed): Use symbolic links for external libraries): Current status? John Abbott
12:21 0.25 hour (Feature #714 (Closed): Interrupt mechanism): Undecided John Abbott

19 May 2015

17:55 0.30 hour (Feature #714 (Closed): Interrupt mechanism): C5 GUI John Abbott
16:56 2.00 hours (Feature #714 (Closed): Interrupt mechanism): Implemented first version John Abbott
11:41 0.50 hour (Feature #714 (Closed): Interrupt mechanism): More notes John Abbott
10:16 0.10 hour (Feature #714 (Closed): Interrupt mechanism): More notes John Abbott
10:09 0.50 hour (Feature #714 (Closed): Interrupt mechanism): Some notes John Abbott

18 May 2015

12:16 0.10 hour (Feature #222 (In Progress): Printing polynomials - spaces between terms): Wake up! John Abbott

17 May 2015

10:31 0.25 hour (Design #710 (In Progress): Update normaliz interface?): Some notes John Abbott
10:27 0.10 hour (Feature #253 (Closed): W.Bruns's wish list): Easy to finish? John Abbott

15 May 2015

19:28 0.25 hour (Design #683 (Closed): Module index component in internal compressed representation): Anna Maria Bigatti
18:43 6.00 hours (Design #683 (Closed): Module index component in internal compressed representation): Anna Maria Bigatti
19:11 0.50 hour (Design #707 (In Progress): MatrixOrderingMod32749Impl: test and write documentation!): Anna Maria Bigatti
15:51 2.00 hours (Bug #705 (Closed): DetDirect calls myAddMul with 0 argument -- funny compilation problem??): Anna Maria Bigatti

13 May 2015

17:59 0.25 hour (Feature #658 (Closed): Indets actually in a poly (or vector or matrix)): Note John Abbott
14:40 0.25 hour (Slug #701 (Rejected): Makefile; limit dependencies on external libs): Some notes John Abbott

Also available in: Atom