Activity
From 23 May 2015 to 21 Jun 2015
21 Jun 2015
- 21:15 CoCoA-5 0.25 hour (Feature #737 (In Progress): Elementary transcendental functions (sin, cos, tan, log, exp))
- Some notes
- 21:09 CoCoALib 0.25 hour (Bug #736 (Closed): QuotientRing: is it correct to prohibit quotient by ideal(1)?)
- Some notes
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
Also available in: Atom