Activity
From 15 May 2015 to 13 Jun 2015
12 Jun 2015
- 12:03 CoCoALib 3.00 hours (Feature #664 (Resolved): Impl small non-prime finite fields (using logs))
- First prototype
11 Jun 2015
- 20:06 CoCoALib 0.10 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type")
- 15:27 CoCoALib 0.10 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type")
- Seminar
- 11:43 CoCoALib 0.20 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type")
- Plans
- 11:14 CoCoALib 0.25 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type")
- More notes
- 19:00 CoCoALib 1.00 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one)
- 11:46 CoCoALib 0.10 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one)
- OK
- 11:04 CoCoALib 0.10 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one)
- More notes
- 11:00 CoCoALib 0.10 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one)
- Expressibility
- 10:41 CoCoALib 0.25 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one)
- Uncertain
- 08:41 CoCoALib 0.25 hour (Feature #735 (Closed): Convert a PPMonoidElem to RingElem with coefficient one)
- 15:26 CoCoALib 9.00 hours (Feature #664 (Resolved): Impl small non-prime finite fields (using logs))
- First prototype
- 14:58 CoCoALib 0.25 hour (Feature #386 (In Progress): add resolution data type)
- industrial espionage
- 11:57 CoCoALib 0.25 hour (Feature #386 (In Progress): add resolution data type)
- Compromise
- 08:28 CoCoA-5 4.00 hours (Feature #732 (Closed): Primary Decomposition in CoCoA-5: port Luis Garcia's package(cocoa-4))
10 Jun 2015
- 17:12 CoCoALib 0.10 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type")
- 12:55 CoCoALib 0.20 hour (Feature #728 (In Progress): Noncommutative algebra "of solvable type")
- Correction
- 13:41 CoCoALib 1.00 hour (Feature #386 (In Progress): add resolution data type)
- Design idea
- 13:19 CoCoALib 0.30 hour (Feature #729 (In Progress): Betti numbers, betti diagram)
- Design idea
- 11:30 CoCoALib 0.10 hour (Feature #730 (Closed): Stats in GBMill (GReductor))
- Mario
- 11:24 CoCoALib 0.30 hour (Feature #730 (Closed): Stats in GBMill (GReductor))
- Some notes
08 Jun 2015
- 18:52 CoCoALib 0.25 hour (Feature #729 (In Progress): Betti numbers, betti diagram)
- Some notes
- 11:09 CoCoALib 0.25 hour (Feature #718 (Closed): Insert calls to CheckForInterrupt)
- Run-time cost?
07 Jun 2015
- 12:46 CoCoALib 0.25 hour (Slug #725 (New): Example database: Slow ideal equality test)
- Short cut?
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?
- 22:49 CoCoALib 0.10 hour (Slug #725 (New): Example database: Slow ideal equality test)
- Input generators
- 22:46 CoCoALib 0.10 hour (Slug #725 (New): Example database: Slow ideal equality test)
- Good idea in principle...
- 20:32 CoCoALib 0.25 hour (Slug #725 (New): Example database: Slow ideal equality test)
- Completion of table of timings
- 14:25 CoCoALib 0.10 hour (Slug #725 (New): Example database: Slow ideal equality test)
- 13:19 CoCoALib 0.25 hour (Slug #725 (New): Example database: Slow ideal equality test)
- Sample output
- 22:39 CoCoA-5 0.25 hour (Bug #726 (Closed): TopLevel cannot "import" a package variable)
- Some notes
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
- 17:06 CoCoA-5 0.25 hour (Bug #724 (Closed): RationalSolve: wrongly complains about non zero-dim even in finite char)
- Non totally trivial
- 15:55 CoCoA-5 0.25 hour (Bug #724 (Closed): RationalSolve: wrongly complains about non zero-dim even in finite char)
- Some notes
- 16:35 CoCoA-5 0.10 hour (Feature #723 (New): Referring to indets with multiple indices from a polyring)
- Yes and no
- 16:18 CoCoA-5 0.25 hour (Feature #723 (New): Referring to indets with multiple indices from a polyring)
- 15:45 CoCoA-5 0.10 hour (Feature #723 (New): Referring to indets with multiple indices from a polyring)
- Almost... but not quite
- 15:39 CoCoA-5 0.25 hour (Feature #723 (New): Referring to indets with multiple indices from a polyring)
- An example
- 13:11 CoCoA-5 0.40 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- Avoid echo
- 12:45 CoCoA-5 0.25 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- QUick reply
01 Jun 2015
- 22:31 CoCoALib 0.75 hour (Slug #722 (Closed): valuation slow for large inputs)
- First prototype
- 10:39 CoCoALib 0.10 hour (Slug #722 (Closed): valuation slow for large inputs)
- QuoRem
31 May 2015
- 11:58 CoCoALib 0.20 hour (Slug #722 (Closed): valuation slow for large inputs)
- Some notes
30 May 2015
- 19:49 CoCoA-5 0.20 hour (Feature #711 (Closed): External Libs: print credits?)
- Contributed packages?
- 14:52 CoCoALib 0.50 hour (Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?)
- More notes
- 10:01 CoCoALib 0.25 hour (Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?)
- Not a CoCoA_ERROR
- 10:22 CoCoALib 0.20 hour (Feature #385 (In Progress): Design new errors using inheritance)
- Design idea
29 May 2015
- 16:19 CoCoALib 0.25 hour (Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?)
- Some notes
- 12:03 CoCoALib 0.75 hour (Feature #718 (Closed): Insert calls to CheckForInterrupt)
26 May 2015
- 15:51 CoCoA-5 0.50 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- 14:57 CoCoA-5 0.50 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
25 May 2015
- 12:17 CoCoA-5 0.20 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- Some notes
24 May 2015
- 14:29 CoCoA-5 0.10 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- Not perfect
- 14:26 CoCoA-5 1.00 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- Updating configure
22 May 2015
- 18:35 CoCoA-5 0.20 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- Checked in
- 18:25 CoCoA-5 0.10 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- linker
- 18:17 CoCoA-5 0.10 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- Emacs+readline
- 18:04 CoCoA-5 0.20 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- Some notes
- 17:45 CoCoA-5 0.30 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- First prototype
- 16:52 CoCoA-5 0.25 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- Configuration
- 16:46 CoCoA-5 0.50 hour (Feature #719 (Closed): Readline: consider creating a textual interpreter with readline)
- Installing readline
- 14:14 CoCoA-5 0.20 hour (Feature #720 (New): External libs: specifying I/O streams (initialization?))
- Some notes
- 13:45 CoCoALib 0.25 hour (Slug #675 (In Progress): Matrix determinant over multivariate poly ring)
- papers
- 13:21 CoCoALib 0.25 hour (Slug #675 (In Progress): Matrix determinant over multivariate poly ring)
- Hacked
21 May 2015
- 16:02 CoCoALib 0.40 hour (Bug #666 (Closed): RatReconstructByLattice fails in some simple cases)
- Documented
- 15:23 CoCoA-5 0.20 hour (Bug #713 (Closed): External libs: interrupting not easy)
- KISS
- 11:57 CoCoA-5 0.20 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))
- Profiling
- 11:34 CoCoA-5 0.25 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))
- Side by cide comparison
- 11:26 CoCoA-5 0.50 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))
- Timing info
- 11:19 CoCoA-5 0.10 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))
- Original Normaliz input file
- 11:17 CoCoA-5 0.10 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))
- CoCoALib code
- 11:15 CoCoA-5 0.20 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))
- CoCoA-5 input
- 10:54 CoCoALib 0.20 hour (Feature #718 (Closed): Insert calls to CheckForInterrupt)
- Keep logs
- 09:41 CoCoALib 0.30 hour (Feature #714 (Closed): Interrupt mechanism)
- Chosen (B)
- 09:38 CoCoALib 0.20 hour (Feature #715 (Closed): RandomSubsetIndices, RandomTupleIndices?)
- Mostly done
20 May 2015
- 20:09 CoCoA-5 0.25 hour (Feature #317 (Closed): BuiltInFunctions: evalArgAsLong)
- 19:49 CoCoA-5 0.75 hour (Feature #317 (Closed): BuiltInFunctions: evalArgAsLong)
- 19:11 CoCoA-5 0.75 hour (Support #717 (Closed): CoCoAManual: improve part on RINGHOM)
- 19:06 CoCoA-5 1.00 hour (Feature #704 (Closed): rename MinGensGeneral?)
- 18:33 CoCoA-5 0.25 hour (Feature #711 (Closed): External Libs: print credits?)
- Threadsafety?
- 18:16 CoCoA-5 0.30 hour (Feature #711 (Closed): External Libs: print credits?)
- Actual use of ext libs
- 17:57 CoCoA-5 0.10 hour (Feature #622 (Closed): New function: RandomSubset)
- Checked in
- 15:40 CoCoA-5 0.10 hour (Feature #622 (Closed): New function: RandomSubset)
- Checked in
- 15:22 CoCoA-5 0.10 hour (Feature #622 (Closed): New function: RandomSubset)
- File names?
- 13:50 CoCoA-5 1.00 hour (Feature #622 (Closed): New function: RandomSubset)
- In CoCoALib
- 13:49 CoCoA-5 1.00 hour (Feature #622 (Closed): New function: RandomSubset)
- CoCoALib
- 13:49 CoCoA-5 1.00 hour (Feature #622 (Closed): New function: RandomSubset)
- CoCoALib
- 12:04 CoCoA-5 0.25 hour (Feature #622 (Closed): New function: RandomSubset)
- 11:41 CoCoA-5 1.00 hour (Feature #622 (Closed): New function: RandomSubset)
- 17:31 CoCoA-5 0.25 hour (Feature #485 (Closed): Initialization for CoCoA-5: file init.cocoa5)
- 17:24 CoCoALib 0.20 hour (Feature #573 (Closed): Use symbolic links for external libraries)
- Current status?
- 15:42 CoCoA-5 0.25 hour (Bug #716 (In Progress): NotBuiltin.cpkg5: indent for MODULE)
- 13:10 CoCoA-5 0.50 hour (Support #548 (Closed): Printing rings with ID)
- 12:34 CoCoA-5 1.00 hour (Support #616 (Closed): Release: CoCoA-5.1.2)
- 12:21 CoCoALib 0.25 hour (Feature #714 (Closed): Interrupt mechanism)
- Undecided
19 May 2015
- 17:55 CoCoALib 0.30 hour (Feature #714 (Closed): Interrupt mechanism)
- C5 GUI
- 16:56 CoCoALib 2.00 hours (Feature #714 (Closed): Interrupt mechanism)
- Implemented first version
- 11:41 CoCoALib 0.50 hour (Feature #714 (Closed): Interrupt mechanism)
- More notes
- 10:16 CoCoALib 0.10 hour (Feature #714 (Closed): Interrupt mechanism)
- More notes
- 10:09 CoCoALib 0.50 hour (Feature #714 (Closed): Interrupt mechanism)
- Some notes
- 17:24 CoCoA-5 0.10 hour (Feature #652 (Closed): Flag to enable/disable printing of list of loaded packages)
- C5 GUI
- 13:38 CoCoA-5 0.30 hour (Feature #711 (Closed): External Libs: print credits?)
- Cleaned up
18 May 2015
- 21:35 CoCoA-5 0.25 hour (Bug #713 (Closed): External libs: interrupting not easy)
- More notes
- 21:09 CoCoA-5 0.25 hour (Bug #713 (Closed): External libs: interrupting not easy)
- More notes
- 21:01 CoCoA-5 0.50 hour (Bug #713 (Closed): External libs: interrupting not easy)
- More notes
- 16:31 CoCoA-5 0.20 hour (Bug #713 (Closed): External libs: interrupting not easy)
- More notes
- 16:25 CoCoA-5 0.20 hour (Bug #713 (Closed): External libs: interrupting not easy)
- More notes
- 15:44 CoCoA-5 0.10 hour (Bug #713 (Closed): External libs: interrupting not easy)
- More notes
- 15:42 CoCoA-5 0.25 hour (Bug #713 (Closed): External libs: interrupting not easy)
- Some notes
- 17:14 CoCoA-5 0.50 hour (Bug #698 (Closed): Emacs UI: problems with packages on windows)
- 17:10 CoCoA-5 0.25 hour (Bug #699 (Rejected): Emacs UI: set back "cocoa5-executable" to "CoCoAInterpreter"?)
- 16:57 CoCoA-5 1.00 hour (Support #706 (Closed): meaningful error for IDEAL <= IDEAL)
- 15:20 CoCoA-5 0.10 hour (Feature #708 (Closed): ExternalLib Normaliz: verbose flag?)
- bool or int?
- 15:02 CoCoA-5 1.00 hour (Feature #711 (Closed): External Libs: print credits?)
- 13:45 CoCoA-5 1.00 hour (Feature #711 (Closed): External Libs: print credits?)
- 12:21 CoCoA-5 0.25 hour (Feature #711 (Closed): External Libs: print credits?)
- Counters?
- 12:12 CoCoA-5 0.50 hour (Feature #711 (Closed): External Libs: print credits?)
- 11:11 CoCoA-5 0.10 hour (Feature #711 (Closed): External Libs: print credits?)
- More notes
- 11:05 CoCoA-5 0.25 hour (Feature #711 (Closed): External Libs: print credits?)
- Some notes
- 12:16 CoCoALib 0.10 hour (Feature #222 (In Progress): Printing polynomials - spaces between terms)
- Wake up!
- 10:38 CoCoA-5 0.10 hour (Feature #700 (Closed): Which external libs are present?)
- Version number?
17 May 2015
- 10:33 CoCoA-5 0.10 hour (Slug #709 (In Progress): Speed of some Normaliz calls (NmzComputation))
- Call from CoCoALib?
- 10:31 CoCoALib 0.25 hour (Design #710 (In Progress): Update normaliz interface?)
- Some notes
- 10:27 CoCoALib 0.10 hour (Feature #253 (Closed): W.Bruns's wish list)
- Easy to finish?
- 10:12 CoCoA-5 0.25 hour (Feature #708 (Closed): ExternalLib Normaliz: verbose flag?)
- Some notes
15 May 2015
- 19:28 CoCoALib 0.25 hour (Design #683 (Closed): Module index component in internal compressed representation)
- 18:43 CoCoALib 6.00 hours (Design #683 (Closed): Module index component in internal compressed representation)
- 19:11 CoCoALib 0.50 hour (Design #707 (In Progress): MatrixOrderingMod32749Impl: test and write documentation!)
- 15:51 CoCoALib 2.00 hours (Bug #705 (Closed): DetDirect calls myAddMul with 0 argument -- funny compilation problem??)
- 11:03 CoCoA-5 0.50 hour (Feature #466 (Closed): CoCoAManual: add entry summarising syntax of all CoCoA-5 commands)
- 10:55 CoCoA-5 2.50 hours (Bug #643 (Closed): GenRepr fails if there are zero generators)
Also available in: Atom