Project

General

Profile

Activity

From 02 Jun 2015 to 01 Jul 2015

01 Jul 2015

18:40 CoCoALib 0.10 hour (Feature #520 (Closed): Compute inverse in quotient ring (i.e. division in algebraic extn))
Closing John Abbott
18:38 CoCoALib 0.30 hour (Support #739 (Closed): Move code in examples into namespace CoCoA)
Seems OK now John Abbott
18:12 CoCoALib 0.25 hour (Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?)
Seems OK now John Abbott
15:26 CoCoA-5 0.50 hour (Slug #741 (Closed): C5 GUI: slow to close)
Source code John Abbott

30 Jun 2015

15:57 CoCoA-5 0.25 hour (Feature #78 (In Progress): Elim ordering and matrix ordering in CoCoA-5)
Anna Maria Bigatti
15:44 CoCoA-5 0.20 hour (Slug #741 (Closed): C5 GUI: slow to close)
Source code John Abbott
15:25 CoCoA-5 0.20 hour (Slug #741 (Closed): C5 GUI: slow to close)
Possible workaround John Abbott
15:18 CoCoA-5 0.20 hour (Slug #741 (Closed): C5 GUI: slow to close)
More tests John Abbott
15:20 CoCoA-5 0.50 hour (Feature #732 (Closed): Primary Decomposition in CoCoA-5: port Luis Garcia's package(cocoa-4))
Anna Maria Bigatti
15:10 CoCoA-5 0.25 hour (Feature #359 (Closed): RingOf for list)
Anna Maria Bigatti
14:47 CoCoA-5 0.50 hour (Feature #359 (Closed): RingOf for list)
Anna Maria Bigatti
15:07 CoCoALib 0.25 hour (Bug #631 (Closed): Ambiguous: rank for matrix (in ex-matrix1.C))
Final decision John Abbott
11:34 CoCoA-5 1.00 hour (Feature #485 (Closed): Initialization for CoCoA-5: file init.cocoa5)
Anna Maria Bigatti
10:53 CoCoALib 4.00 hours (Support #739 (Closed): Move code in examples into namespace CoCoA)
Anna Maria Bigatti

29 Jun 2015

17:23 CoCoALib 0.25 hour (Feature #658 (Closed): Indets actually in a poly (or vector or matrix))
Suggestion John Abbott
16:44 CoCoALib 0.25 hour (Feature #91 (Closed): Return type & name for "indets" of a PP)
Some notes John Abbott
15:42 CoCoALib 0.25 hour (Slug #742 (In Progress): View PP exponent vector (and order vector?) as an array of long?)
More timings John Abbott
15:36 CoCoALib 0.75 hour (Feature #689 (Closed): Fault tolerant rational reconstruction: make bad factor publicly accessible)
Practically done John Abbott
14:01 CoCoA-5 0.25 hour (Design #490 (Closed): Duplicate fns: valuation and FactorMultiplicity)
Arg checks John Abbott
07:52 CoCoA-5 0.25 hour (Design #490 (Closed): Duplicate fns: valuation and FactorMultiplicity)
Anna Maria Bigatti
13:02 CoCoALib 0.25 hour (Slug #679 (Closed): power for PPs is too slow)
Practically done John Abbott

28 Jun 2015

21:29 CoCoA-5 0.10 hour (Design #490 (Closed): Duplicate fns: valuation and FactorMultiplicity)
Fun, fun, fun John Abbott
21:06 CoCoA-5 0.20 hour (Design #490 (Closed): Duplicate fns: valuation and FactorMultiplicity)
Some notes John Abbott
20:43 CoCoALib 0.10 hour (Slug #742 (In Progress): View PP exponent vector (and order vector?) as an array of long?)
Timings John Abbott
20:35 CoCoALib 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 CoCoALib 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 CoCoALib 0.30 hour (Slug #679 (Closed): power for PPs is too slow)
Almost done John Abbott
18:49 CoCoA-5 0.50 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
New command line flag --no-readline John Abbott
16:38 CoCoALib 0.25 hour (Feature #82 (Closed): C++11 compatibility questions)
Some notes John Abbott

26 Jun 2015

17:55 CoCoA-5 0.50 hour (Bug #345 (Closed): Interpreter interrupt delayed confusingly)
Anna Maria Bigatti
11:01 CoCoA-5 0.20 hour (Bug #345 (Closed): Interpreter interrupt delayed confusingly)
John Abbott
08:23 CoCoA-5 0.25 hour (Bug #345 (Closed): Interpreter interrupt delayed confusingly)
Anna Maria Bigatti
17:29 CoCoALib 0.50 hour (Support #739 (Closed): Move code in examples into namespace CoCoA)
John Abbott
17:10 CoCoALib 4.00 hours (Feature #385 (In Progress): Design new errors using inheritance)
Superclass John Abbott
17:03 CoCoALib 0.75 hour (Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?)
Mostly done John Abbott
16:15 CoCoALib 0.10 hour (Bug #705 (Closed): DetDirect calls myAddMul with 0 argument -- funny compilation problem??)
Closing John Abbott
16:14 CoCoALib 0.25 hour (Feature #714 (Closed): Interrupt mechanism)
Anna Maria Bigatti
14:56 CoCoALib 0.25 hour (Feature #714 (Closed): Interrupt mechanism)
Seems OK now John Abbott
15:10 CoCoA-5 0.50 hour (Slug #741 (Closed): C5 GUI: slow to close)
Some notes John Abbott
12:13 CoCoA-5 0.25 hour (Bug #643 (Closed): GenRepr fails if there are zero generators)
Anna Maria Bigatti
08:00 CoCoA-5 0.25 hour (Feature #78 (In Progress): Elim ordering and matrix ordering in CoCoA-5)
Anna Maria Bigatti

25 Jun 2015

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

21 Jun 2015

21:15 CoCoA-5 0.25 hour (Feature #737 (In Progress): Elementary transcendental functions (sin, cos, tan, log, exp))
Some notes John Abbott
21:09 CoCoALib 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 CoCoALib 3.00 hours (Feature #664 (Resolved): Impl small non-prime finite fields (using logs))
First prototype John Abbott

11 Jun 2015

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

10 Jun 2015

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

08 Jun 2015

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

07 Jun 2015

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

06 Jun 2015

23:04 CoCoA-5 0.25 hour (Bug #148 (In Progress): C-c C-p in emacs goes to wrong line)
Related problem? John Abbott
22:49 CoCoALib 0.10 hour (Slug #725 (New): Example database: Slow ideal equality test)
Input generators John Abbott
22:46 CoCoALib 0.10 hour (Slug #725 (New): Example database: Slow ideal equality test)
Good idea in principle... John Abbott
20:32 CoCoALib 0.25 hour (Slug #725 (New): Example database: Slow ideal equality test)
Completion of table of timings John Abbott
14:25 CoCoALib 0.10 hour (Slug #725 (New): Example database: Slow ideal equality test)
John Abbott
13:19 CoCoALib 0.25 hour (Slug #725 (New): Example database: Slow ideal equality test)
Sample output John Abbott
22:39 CoCoA-5 0.25 hour (Bug #726 (Closed): TopLevel cannot "import" a package variable)
Some notes John Abbott

02 Jun 2015

22:43 CoCoA-5 0.25 hour (Bug #724 (Closed): RationalSolve: wrongly complains about non zero-dim even in finite char)
Not entirely trivial John Abbott
17:06 CoCoA-5 0.25 hour (Bug #724 (Closed): RationalSolve: wrongly complains about non zero-dim even in finite char)
Non totally trivial John Abbott
15:55 CoCoA-5 0.25 hour (Bug #724 (Closed): RationalSolve: wrongly complains about non zero-dim even in finite char)
Some notes John Abbott
16:35 CoCoA-5 0.10 hour (Feature #723 (New): Referring to indets with multiple indices from a polyring)
Yes and no John Abbott
16:18 CoCoA-5 0.25 hour (Feature #723 (New): Referring to indets with multiple indices from a polyring)
Anna Maria Bigatti
15:45 CoCoA-5 0.10 hour (Feature #723 (New): Referring to indets with multiple indices from a polyring)
Almost... but not quite John Abbott
15:39 CoCoA-5 0.25 hour (Feature #723 (New): Referring to indets with multiple indices from a polyring)
An example John Abbott
13:11 CoCoA-5 0.40 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
Avoid echo John Abbott
12:45 CoCoA-5 0.25 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
QUick reply John Abbott
 

Also available in: Atom