Activity
From 03 Jun 2015 to 02 Jul 2015
01 Jul 2015
-
18:40 0.10 hour (Feature #520 (Closed): Compute inverse in quotient ring (i.e. division in algebraic extn))
- Closing
-
18:38 0.30 hour (Support #739 (Closed): Move code in examples into namespace CoCoA)
- Seems OK now
-
18:12 0.25 hour (Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?)
- Seems OK now
30 Jun 2015
-
15:07 0.25 hour (Bug #631 (Closed): Ambiguous: rank for matrix (in ex-matrix1.C))
- Final decision
-
10:53 4.00 hours (Support #739 (Closed): Move code in examples into namespace CoCoA)
29 Jun 2015
-
17:23 0.25 hour (Feature #658 (Closed): Indets actually in a poly (or vector or matrix))
- Suggestion
-
16:44 0.25 hour (Feature #91 (Closed): Return type & name for "indets" of a PP)
- Some notes
-
15:42 0.25 hour (Slug #742 (In Progress): View PP exponent vector (and order vector?) as an array of long?)
- More timings
-
15:36 0.75 hour (Feature #689 (Closed): Fault tolerant rational reconstruction: make bad factor publicly accessible)
- Practically done
-
13:02 0.25 hour (Slug #679 (Closed): power for PPs is too slow)
- Practically done
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
-
20:35 0.10 hour (Slug #742 (In Progress): View PP exponent vector (and order vector?) as an array of long?)
- Test program
-
20:31 0.50 hour (Slug #742 (In Progress): View PP exponent vector (and order vector?) as an array of long?)
- Some notes
-
19:34 0.30 hour (Slug #679 (Closed): power for PPs is too slow)
- Almost done
-
16:38 0.25 hour (Feature #82 (Closed): C++11 compatibility questions)
- Some notes
26 Jun 2015
-
17:29 0.50 hour (Support #739 (Closed): Move code in examples into namespace CoCoA)
-
17:10 4.00 hours (Feature #385 (In Progress): Design new errors using inheritance)
- Superclass
-
17:03 0.75 hour (Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?)
- Mostly done
-
16:15 0.10 hour (Bug #705 (Closed): DetDirect calls myAddMul with 0 argument -- funny compilation problem??)
- Closing
-
16:14 0.25 hour (Feature #714 (Closed): Interrupt mechanism)
-
14:56 0.25 hour (Feature #714 (Closed): Interrupt mechanism)
- Seems OK now
25 Jun 2015
-
18:40 0.30 hour (Support #739 (Closed): Move code in examples into namespace CoCoA)
- Progress
-
18:12 0.50 hour (Design #619 (Closed): Modulus (for CRTMill) ambiguous)
- Done
-
17:27 0.25 hour (Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?)
- Progress
-
17:23 0.25 hour (Feature #738 (In Progress): Extend homomorphism to polynomial ring)
- More notes
-
15:48 0.25 hour (Feature #738 (In Progress): Extend homomorphism to polynomial ring)
- Original problem
-
15:28 0.25 hour (Feature #738 (In Progress): Extend homomorphism to polynomial ring)
-
14:48 0.25 hour (Feature #738 (In Progress): Extend homomorphism to polynomial ring)
- Some notes
-
17:15 0.25 hour (Design #642 (Closed): Move code in test file into namespace CoCoA)
- Seems OK now
-
16:24 0.25 hour (Feature #740 (New): Addition of sparse (multivariate) polynomials)
- Some notes
-
15:34 0.50 hour (Bug #736 (Closed): QuotientRing: is it correct to prohibit quotient by ideal(1)?)
-
12:52 0.20 hour (Bug #736 (Closed): QuotientRing: is it correct to prohibit quotient by ideal(1)?)
- Robbiano
-
15:27 0.25 hour (Bug #631 (Closed): Ambiguous: rank for matrix (in ex-matrix1.C))
- More thoughts
-
15:16 0.25 hour (Bug #666 (Closed): RatReconstructByLattice fails in some simple cases)
- Done
21 Jun 2015
-
21:09 0.25 hour (Bug #736 (Closed): QuotientRing: is it correct to prohibit quotient by ideal(1)?)
- Some notes
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
Also available in: Atom