Activity - CoCoALib - CoCoA Project

Activity

From 30 May 2015 to 28 Jun 2015

28 Jun 2015

20:43 0.10 hour (Slug #742 (In Progress): View PP exponent vector (and order vector?) as an array of long?): Timings John Abbott
20:35 0.10 hour (Slug #742 (In Progress): View PP exponent vector (and order vector?) as an array of long?): Test program John Abbott
20:31 0.50 hour (Slug #742 (In Progress): View PP exponent vector (and order vector?) as an array of long?): Some notes John Abbott
19:34 0.30 hour (Slug #679 (Closed): power for PPs is too slow): Almost done John Abbott
16:38 0.25 hour (Feature #82 (Closed): C++11 compatibility questions): Some notes John Abbott

26 Jun 2015

17:29 0.50 hour (Support #739 (Closed): Move code in examples into namespace CoCoA): John Abbott
17:10 4.00 hours (Feature #385 (In Progress): Design new errors using inheritance): Superclass John Abbott
17:03 0.75 hour (Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?): Mostly done John Abbott
16:15 0.10 hour (Bug #705 (Closed): DetDirect calls myAddMul with 0 argument -- funny compilation problem??): Closing John Abbott
16:14 0.25 hour (Feature #714 (Closed): Interrupt mechanism): Anna Maria Bigatti
14:56 0.25 hour (Feature #714 (Closed): Interrupt mechanism): Seems OK now John Abbott

25 Jun 2015

18:40 0.30 hour (Support #739 (Closed): Move code in examples into namespace CoCoA): Progress John Abbott
18:12 0.50 hour (Design #619 (Closed): Modulus (for CRTMill) ambiguous): Done John Abbott
17:27 0.25 hour (Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?): Progress John Abbott
17:23 0.25 hour (Feature #738 (In Progress): Extend homomorphism to polynomial ring): More notes John Abbott
15:48 0.25 hour (Feature #738 (In Progress): Extend homomorphism to polynomial ring): Original problem John Abbott
15:28 0.25 hour (Feature #738 (In Progress): Extend homomorphism to polynomial ring): Anna Maria Bigatti
14:48 0.25 hour (Feature #738 (In Progress): Extend homomorphism to polynomial ring): Some notes John Abbott
17:15 0.25 hour (Design #642 (Closed): Move code in test file into namespace CoCoA): Seems OK now John Abbott
16:24 0.25 hour (Feature #740 (New): Addition of sparse (multivariate) polynomials): Some notes John Abbott
15:34 0.50 hour (Bug #736 (Closed): QuotientRing: is it correct to prohibit quotient by ideal(1)?): Anna Maria Bigatti
12:52 0.20 hour (Bug #736 (Closed): QuotientRing: is it correct to prohibit quotient by ideal(1)?): Robbiano John Abbott
15:27 0.25 hour (Bug #631 (Closed): Ambiguous: rank for matrix (in ex-matrix1.C)): More thoughts John Abbott
15:16 0.25 hour (Bug #666 (Closed): RatReconstructByLattice fails in some simple cases): Done John Abbott

21 Jun 2015

21:09 0.25 hour (Bug #736 (Closed): QuotientRing: is it correct to prohibit quotient by ideal(1)?): Some notes John Abbott

12 Jun 2015

12:03 3.00 hours (Feature #664 (Resolved): Impl small non-prime finite fields (using logs)): First prototype John Abbott

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

Also available in: Atom