Activity - CoCoA - CoCoA Project

Activity

From 14 May 2015 to 12 Jun 2015

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

01 Jun 2015

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

31 May 2015

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

30 May 2015

19:49 CoCoA-5 0.20 hour (Feature #711 (Closed): External Libs: print credits?): Contributed packages? John Abbott
14:52 CoCoALib 0.50 hour (Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?): More notes John Abbott
10:01 CoCoALib 0.25 hour (Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?): Not a CoCoA_ERROR John Abbott
10:22 CoCoALib 0.20 hour (Feature #385 (In Progress): Design new errors using inheritance): Design idea John Abbott

29 May 2015

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

26 May 2015

15:51 CoCoA-5 0.50 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline): Anna Maria Bigatti
14:57 CoCoA-5 0.50 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline): Anna Maria Bigatti

25 May 2015

12:17 CoCoA-5 0.20 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline): Some notes John Abbott

24 May 2015

14:29 CoCoA-5 0.10 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline): Not perfect John Abbott
14:26 CoCoA-5 1.00 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline): Updating configure John Abbott

22 May 2015

18:35 CoCoA-5 0.20 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline): Checked in John Abbott
18:25 CoCoA-5 0.10 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline): linker John Abbott
18:17 CoCoA-5 0.10 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline): Emacs+readline John Abbott
18:04 CoCoA-5 0.20 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline): Some notes John Abbott
17:45 CoCoA-5 0.30 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline): First prototype John Abbott
16:52 CoCoA-5 0.25 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline): Configuration John Abbott
16:46 CoCoA-5 0.50 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline): Installing readline John Abbott
14:14 CoCoA-5 0.20 hour (Feature #720 (New): External libs: specifying I/O streams (initialization?)): Some notes John Abbott
13:45 CoCoALib 0.25 hour (Slug #675 (In Progress): Matrix determinant over multivariate poly ring): papers John Abbott
13:21 CoCoALib 0.25 hour (Slug #675 (In Progress): Matrix determinant over multivariate poly ring): Hacked John Abbott

21 May 2015

16:02 CoCoALib 0.40 hour (Bug #666 (Closed): RatReconstructByLattice fails in some simple cases): Documented John Abbott
15:23 CoCoA-5 0.20 hour (Bug #713 (Closed): External libs: interrupting not easy): KISS John Abbott
11:57 CoCoA-5 0.20 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation)): Profiling John Abbott
11:34 CoCoA-5 0.25 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation)): Side by cide comparison John Abbott
11:26 CoCoA-5 0.50 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation)): Timing info John Abbott
11:19 CoCoA-5 0.10 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation)): Original Normaliz input file John Abbott
11:17 CoCoA-5 0.10 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation)): CoCoALib code John Abbott
11:15 CoCoA-5 0.20 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation)): CoCoA-5 input John Abbott
10:54 CoCoALib 0.20 hour (Feature #718 (Closed): Insert calls to CheckForInterrupt): Keep logs John Abbott
09:41 CoCoALib 0.30 hour (Feature #714 (Closed): Interrupt mechanism): Chosen (B) John Abbott
09:38 CoCoALib 0.20 hour (Feature #715 (Closed): RandomSubsetIndices, RandomTupleIndices?): Mostly done John Abbott

20 May 2015

20:09 CoCoA-5 0.25 hour (Feature #317 (Closed): BuiltInFunctions: evalArgAsLong): Anna Maria Bigatti
19:49 CoCoA-5 0.75 hour (Feature #317 (Closed): BuiltInFunctions: evalArgAsLong): Anna Maria Bigatti
19:11 CoCoA-5 0.75 hour (Support #717 (Closed): CoCoAManual: improve part on RINGHOM): Anna Maria Bigatti
19:06 CoCoA-5 1.00 hour (Feature #704 (Closed): rename MinGensGeneral?): Anna Maria Bigatti
18:33 CoCoA-5 0.25 hour (Feature #711 (Closed): External Libs: print credits?): Threadsafety? John Abbott
18:16 CoCoA-5 0.30 hour (Feature #711 (Closed): External Libs: print credits?): Actual use of ext libs John Abbott
17:57 CoCoA-5 0.10 hour (Feature #622 (Closed): New function: RandomSubset): Checked in John Abbott
15:40 CoCoA-5 0.10 hour (Feature #622 (Closed): New function: RandomSubset): Checked in John Abbott
15:22 CoCoA-5 0.10 hour (Feature #622 (Closed): New function: RandomSubset): File names? John Abbott
13:50 CoCoA-5 1.00 hour (Feature #622 (Closed): New function: RandomSubset): In CoCoALib John Abbott
13:49 CoCoA-5 1.00 hour (Feature #622 (Closed): New function: RandomSubset): CoCoALib John Abbott
13:49 CoCoA-5 1.00 hour (Feature #622 (Closed): New function: RandomSubset): CoCoALib John Abbott
12:04 CoCoA-5 0.25 hour (Feature #622 (Closed): New function: RandomSubset): Anna Maria Bigatti
11:41 CoCoA-5 1.00 hour (Feature #622 (Closed): New function: RandomSubset): Anna Maria Bigatti
17:31 CoCoA-5 0.25 hour (Feature #485 (Closed): Initialization for CoCoA-5: file init.cocoa5): Anna Maria Bigatti
17:24 CoCoALib 0.20 hour (Feature #573 (Closed): Use symbolic links for external libraries): Current status? John Abbott
15:42 CoCoA-5 0.25 hour (Bug #716 (In Progress): NotBuiltin.cpkg5: indent for MODULE): Anna Maria Bigatti
13:10 CoCoA-5 0.50 hour (Support #548 (Closed): Printing rings with ID): Anna Maria Bigatti
12:34 CoCoA-5 1.00 hour (Support #616 (Closed): Release: CoCoA-5.1.2): Anna Maria Bigatti
12:21 CoCoALib 0.25 hour (Feature #714 (Closed): Interrupt mechanism): Undecided John Abbott

19 May 2015

17:55 CoCoALib 0.30 hour (Feature #714 (Closed): Interrupt mechanism): C5 GUI John Abbott
16:56 CoCoALib 2.00 hours (Feature #714 (Closed): Interrupt mechanism): Implemented first version John Abbott
11:41 CoCoALib 0.50 hour (Feature #714 (Closed): Interrupt mechanism): More notes John Abbott
10:16 CoCoALib 0.10 hour (Feature #714 (Closed): Interrupt mechanism): More notes John Abbott
10:09 CoCoALib 0.50 hour (Feature #714 (Closed): Interrupt mechanism): Some notes John Abbott
17:24 CoCoA-5 0.10 hour (Feature #652 (Closed): Flag to enable/disable printing of list of loaded packages): C5 GUI John Abbott
13:38 CoCoA-5 0.30 hour (Feature #711 (Closed): External Libs: print credits?): Cleaned up John Abbott

18 May 2015

21:35 CoCoA-5 0.25 hour (Bug #713 (Closed): External libs: interrupting not easy): More notes John Abbott
21:09 CoCoA-5 0.25 hour (Bug #713 (Closed): External libs: interrupting not easy): More notes John Abbott
21:01 CoCoA-5 0.50 hour (Bug #713 (Closed): External libs: interrupting not easy): More notes John Abbott
16:31 CoCoA-5 0.20 hour (Bug #713 (Closed): External libs: interrupting not easy): More notes John Abbott
16:25 CoCoA-5 0.20 hour (Bug #713 (Closed): External libs: interrupting not easy): More notes John Abbott
15:44 CoCoA-5 0.10 hour (Bug #713 (Closed): External libs: interrupting not easy): More notes John Abbott
15:42 CoCoA-5 0.25 hour (Bug #713 (Closed): External libs: interrupting not easy): Some notes John Abbott
17:14 CoCoA-5 0.50 hour (Bug #698 (Closed): Emacs UI: problems with packages on windows): Anna Maria Bigatti
17:10 CoCoA-5 0.25 hour (Bug #699 (Rejected): Emacs UI: set back "cocoa5-executable" to "CoCoAInterpreter"?): Anna Maria Bigatti
16:57 CoCoA-5 1.00 hour (Support #706 (Closed): meaningful error for IDEAL <= IDEAL): Anna Maria Bigatti
15:20 CoCoA-5 0.10 hour (Feature #708 (Closed): ExternalLib Normaliz: verbose flag?): bool or int? John Abbott
15:02 CoCoA-5 1.00 hour (Feature #711 (Closed): External Libs: print credits?): Anna Maria Bigatti
13:45 CoCoA-5 1.00 hour (Feature #711 (Closed): External Libs: print credits?): Anna Maria Bigatti
12:21 CoCoA-5 0.25 hour (Feature #711 (Closed): External Libs: print credits?): Counters? John Abbott
12:12 CoCoA-5 0.50 hour (Feature #711 (Closed): External Libs: print credits?): Anna Maria Bigatti
11:11 CoCoA-5 0.10 hour (Feature #711 (Closed): External Libs: print credits?): More notes John Abbott
11:05 CoCoA-5 0.25 hour (Feature #711 (Closed): External Libs: print credits?): Some notes John Abbott
12:16 CoCoALib 0.10 hour (Feature #222 (In Progress): Printing polynomials - spaces between terms): Wake up! John Abbott
10:38 CoCoA-5 0.10 hour (Feature #700 (Closed): Which external libs are present?): Version number? John Abbott

17 May 2015

10:33 CoCoA-5 0.10 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation)): Call from CoCoALib? John Abbott
10:31 CoCoALib 0.25 hour (Design #710 (In Progress): Update normaliz interface?): Some notes John Abbott
10:27 CoCoALib 0.10 hour (Feature #253 (Closed): W.Bruns's wish list): Easy to finish? John Abbott
10:12 CoCoA-5 0.25 hour (Feature #708 (Closed): ExternalLib Normaliz: verbose flag?): Some notes John Abbott

15 May 2015

19:28 CoCoALib 0.25 hour (Design #683 (Closed): Module index component in internal compressed representation): Anna Maria Bigatti
18:43 CoCoALib 6.00 hours (Design #683 (Closed): Module index component in internal compressed representation): Anna Maria Bigatti
19:11 CoCoALib 0.50 hour (Design #707 (In Progress): MatrixOrderingMod32749Impl: test and write documentation!): Anna Maria Bigatti
15:51 CoCoALib 2.00 hours (Bug #705 (Closed): DetDirect calls myAddMul with 0 argument -- funny compilation problem??): Anna Maria Bigatti
11:03 CoCoA-5 0.50 hour (Feature #466 (Closed): CoCoAManual: add entry summarising syntax of all CoCoA-5 commands): Anna Maria Bigatti
10:55 CoCoA-5 2.50 hours (Bug #643 (Closed): GenRepr fails if there are zero generators): Anna Maria Bigatti

Also available in: Atom