Project

General

Profile

Activity

From 13 May 2015 to 11 Jun 2015

11 Jun 2015

08:28 4.00 hours (Feature #732 (Closed): Primary Decomposition in CoCoA-5: port Luis Garcia's package(cocoa-4))
Anna Maria Bigatti

06 Jun 2015

23:04 0.25 hour (Bug #148 (In Progress): C-c C-p in emacs goes to wrong line)
Related problem? John Abbott
22:39 0.25 hour (Bug #726 (Closed): TopLevel cannot "import" a package variable)
Some notes John Abbott

02 Jun 2015

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

30 May 2015

19:49 0.20 hour (Feature #711 (Closed): External Libs: print credits?)
Contributed packages? John Abbott

26 May 2015

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

25 May 2015

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

24 May 2015

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

22 May 2015

18:35 0.20 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
Checked in John Abbott
18:25 0.10 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
linker John Abbott
18:17 0.10 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
Emacs+readline John Abbott
18:04 0.20 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
Some notes John Abbott
17:45 0.30 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
First prototype John Abbott
16:52 0.25 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
Configuration John Abbott
16:46 0.50 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
Installing readline John Abbott
14:14 0.20 hour (Feature #720 (New): External libs: specifying I/O streams (initialization?))
Some notes John Abbott

21 May 2015

15:23 0.20 hour (Bug #713 (Closed): External libs: interrupting not easy)
KISS John Abbott
11:57 0.20 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))
Profiling John Abbott
11:34 0.25 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))
Side by cide comparison John Abbott
11:26 0.50 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))
Timing info John Abbott
11:19 0.10 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))
Original Normaliz input file John Abbott
11:17 0.10 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))
CoCoALib code John Abbott
11:15 0.20 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))
CoCoA-5 input John Abbott

20 May 2015

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

19 May 2015

17:24 0.10 hour (Feature #652 (Closed): Flag to enable/disable printing of list of loaded packages)
C5 GUI John Abbott
13:38 0.30 hour (Feature #711 (Closed): External Libs: print credits?)
Cleaned up John Abbott

18 May 2015

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

17 May 2015

10:33 0.10 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))
Call from CoCoALib? John Abbott
10:12 0.25 hour (Feature #708 (Closed): ExternalLib Normaliz: verbose flag?)
Some notes John Abbott

15 May 2015

11:03 0.50 hour (Feature #466 (Closed): CoCoAManual: add entry summarising syntax of all CoCoA-5 commands)
Anna Maria Bigatti
10:55 2.50 hours (Bug #643 (Closed): GenRepr fails if there are zero generators)
Anna Maria Bigatti

13 May 2015

17:20 0.10 hour (Feature #700 (Closed): Which external libs are present?)
Not needed in CoCoALib? John Abbott
16:41 0.75 hour (Feature #700 (Closed): Which external libs are present?)
Anna Maria Bigatti
12:09 0.25 hour (Feature #700 (Closed): Which external libs are present?)
Some notes John Abbott
 

Also available in: Atom