Activity
From 10 May 2015 to 08 Jun 2015
06 Jun 2015
-
23:04 0.25 hour (Bug #148 (In Progress): C-c C-p in emacs goes to wrong line)
- Related problem?
-
22:39 0.25 hour (Bug #726 (Closed): TopLevel cannot "import" a package variable)
- Some notes
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
-
17:06 0.25 hour (Bug #724 (Closed): RationalSolve: wrongly complains about non zero-dim even in finite char)
- Non totally trivial
-
15:55 0.25 hour (Bug #724 (Closed): RationalSolve: wrongly complains about non zero-dim even in finite char)
- Some notes
-
16:35 0.10 hour (Feature #723 (New): Referring to indets with multiple indices from a polyring)
- Yes and no
-
16:18 0.25 hour (Feature #723 (New): Referring to indets with multiple indices from a polyring)
-
15:45 0.10 hour (Feature #723 (New): Referring to indets with multiple indices from a polyring)
- Almost... but not quite
-
15:39 0.25 hour (Feature #723 (New): Referring to indets with multiple indices from a polyring)
- An example
-
13:11 0.40 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- Avoid echo
-
12:45 0.25 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- QUick reply
30 May 2015
-
19:49 0.20 hour (Feature #711 (Closed): External Libs: print credits?)
- Contributed packages?
26 May 2015
-
15:51 0.50 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
-
14:57 0.50 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
25 May 2015
-
12:17 0.20 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- Some notes
24 May 2015
-
14:29 0.10 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- Not perfect
-
14:26 1.00 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- Updating configure
22 May 2015
-
18:35 0.20 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- Checked in
-
18:25 0.10 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- linker
-
18:17 0.10 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- Emacs+readline
-
18:04 0.20 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- Some notes
-
17:45 0.30 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- First prototype
-
16:52 0.25 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- Configuration
-
16:46 0.50 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- Installing readline
-
14:14 0.20 hour (Feature #720 (New): External libs: specifying I/O streams (initialization?))
- Some notes
21 May 2015
-
15:23 0.20 hour (Bug #713 (Closed): External libs: interrupting not easy)
- KISS
-
11:57 0.20 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))
- Profiling
-
11:34 0.25 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))
- Side by cide comparison
-
11:26 0.50 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))
- Timing info
-
11:19 0.10 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))
- Original Normaliz input file
-
11:17 0.10 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))
- CoCoALib code
-
11:15 0.20 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))
- CoCoA-5 input
20 May 2015
-
20:09 0.25 hour (Feature #317 (Closed): BuiltInFunctions: evalArgAsLong)
-
19:49 0.75 hour (Feature #317 (Closed): BuiltInFunctions: evalArgAsLong)
-
19:11 0.75 hour (Support #717 (Closed): CoCoAManual: improve part on RINGHOM)
-
19:06 1.00 hour (Feature #704 (Closed): rename MinGensGeneral?)
-
18:33 0.25 hour (Feature #711 (Closed): External Libs: print credits?)
- Threadsafety?
-
18:16 0.30 hour (Feature #711 (Closed): External Libs: print credits?)
- Actual use of ext libs
-
17:57 0.10 hour (Feature #622 (Closed): New function: RandomSubset)
- Checked in
-
15:40 0.10 hour (Feature #622 (Closed): New function: RandomSubset)
- Checked in
-
15:22 0.10 hour (Feature #622 (Closed): New function: RandomSubset)
- File names?
-
13:50 1.00 hour (Feature #622 (Closed): New function: RandomSubset)
- In CoCoALib
-
13:49 1.00 hour (Feature #622 (Closed): New function: RandomSubset)
- CoCoALib
-
13:49 1.00 hour (Feature #622 (Closed): New function: RandomSubset)
- CoCoALib
-
12:04 0.25 hour (Feature #622 (Closed): New function: RandomSubset)
-
11:41 1.00 hour (Feature #622 (Closed): New function: RandomSubset)
-
17:31 0.25 hour (Feature #485 (Closed): Initialization for CoCoA-5: file init.cocoa5)
-
15:42 0.25 hour (Bug #716 (In Progress): NotBuiltin.cpkg5: indent for MODULE)
-
13:10 0.50 hour (Support #548 (Closed): Printing rings with ID)
-
12:34 1.00 hour (Support #616 (Closed): Release: CoCoA-5.1.2)
19 May 2015
-
17:24 0.10 hour (Feature #652 (Closed): Flag to enable/disable printing of list of loaded packages)
- C5 GUI
-
13:38 0.30 hour (Feature #711 (Closed): External Libs: print credits?)
- Cleaned up
18 May 2015
-
21:35 0.25 hour (Bug #713 (Closed): External libs: interrupting not easy)
- More notes
-
21:09 0.25 hour (Bug #713 (Closed): External libs: interrupting not easy)
- More notes
-
21:01 0.50 hour (Bug #713 (Closed): External libs: interrupting not easy)
- More notes
-
16:31 0.20 hour (Bug #713 (Closed): External libs: interrupting not easy)
- More notes
-
16:25 0.20 hour (Bug #713 (Closed): External libs: interrupting not easy)
- More notes
-
15:44 0.10 hour (Bug #713 (Closed): External libs: interrupting not easy)
- More notes
-
15:42 0.25 hour (Bug #713 (Closed): External libs: interrupting not easy)
- Some notes
-
17:14 0.50 hour (Bug #698 (Closed): Emacs UI: problems with packages on windows)
-
17:10 0.25 hour (Bug #699 (Rejected): Emacs UI: set back "cocoa5-executable" to "CoCoAInterpreter"?)
-
16:57 1.00 hour (Support #706 (Closed): meaningful error for IDEAL <= IDEAL)
-
15:20 0.10 hour (Feature #708 (Closed): ExternalLib Normaliz: verbose flag?)
- bool or int?
-
15:02 1.00 hour (Feature #711 (Closed): External Libs: print credits?)
-
13:45 1.00 hour (Feature #711 (Closed): External Libs: print credits?)
-
12:21 0.25 hour (Feature #711 (Closed): External Libs: print credits?)
- Counters?
-
12:12 0.50 hour (Feature #711 (Closed): External Libs: print credits?)
-
11:11 0.10 hour (Feature #711 (Closed): External Libs: print credits?)
- More notes
-
11:05 0.25 hour (Feature #711 (Closed): External Libs: print credits?)
- Some notes
-
10:38 0.10 hour (Feature #700 (Closed): Which external libs are present?)
- Version number?
17 May 2015
-
10:33 0.10 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))
- Call from CoCoALib?
-
10:12 0.25 hour (Feature #708 (Closed): ExternalLib Normaliz: verbose flag?)
- Some notes
15 May 2015
-
11:03 0.50 hour (Feature #466 (Closed): CoCoAManual: add entry summarising syntax of all CoCoA-5 commands)
-
10:55 2.50 hours (Bug #643 (Closed): GenRepr fails if there are zero generators)
13 May 2015
-
17:20 0.10 hour (Feature #700 (Closed): Which external libs are present?)
- Not needed in CoCoALib?
-
16:41 0.75 hour (Feature #700 (Closed): Which external libs are present?)
-
12:09 0.25 hour (Feature #700 (Closed): Which external libs are present?)
- Some notes
12 May 2015
-
18:20 1.00 hour (Bug #699 (Rejected): Emacs UI: set back "cocoa5-executable" to "CoCoAInterpreter"?)
-
17:13 0.25 hour (Bug #699 (Rejected): Emacs UI: set back "cocoa5-executable" to "CoCoAInterpreter"?)
- Emacs hints
-
17:10 0.50 hour (Bug #699 (Rejected): Emacs UI: set back "cocoa5-executable" to "CoCoAInterpreter"?)
- first reply
-
15:36 1.00 hour (Bug #698 (Closed): Emacs UI: problems with packages on windows)
Also available in: Atom