Activity
From 12 Sep 2016 to 11 Oct 2016
10 Oct 2016
- 21:13 0.20 hour (Support #940 (Closed): Check all fns in packages work even without BackwardCompatible.cpkg5)
- Cruft
- 21:04 1.50 hour (Support #940 (Closed): Check all fns in packages work even without BackwardCompatible.cpkg5)
- Mostly done?
- 21:09 0.25 hour (Support #941 (New): Improve coverage of CoCoA-5 tests)
- Likely to be long and hard
- 18:54 0.50 hour (Design #929 (In Progress): Clean up CoCoALibSupplement)
- 18:23 0.75 hour (Bug #880 (Closed): subst should check that indet is in same ring as 1st arg, but does not.)
- 17:53 0.75 hour (Design #868 (Closed): Der, Bin: why the capital letter?)
- Oh dear!
- 16:51 0.10 hour (Design #868 (Closed): Der, Bin: why the capital letter?)
- Clarification
- 15:38 0.20 hour (Design #868 (Closed): Der, Bin: why the capital letter?)
- My preference
- 14:41 0.25 hour (Design #868 (Closed): Der, Bin: why the capital letter?)
- 15:28 0.20 hour (Design #939 (Closed): Rename Fact to factorial?)
- Some notes
- 15:13 0.25 hour (Bug #852 (Closed): fix OnlineManual.C so that version number may be removed from CoCoAHelp.xml)
- 14:56 0.50 hour (Bug #852 (Closed): fix OnlineManual.C so that version number may be removed from CoCoAHelp.xml)
- 14:38 0.50 hour (Support #863 (Closed): CoCoA-5 manual: IsInteger and IsRational are missing?)
- 14:34 0.25 hour (Feature #903 (Closed): New function CallOnGroebnerFanIdeals: call function on GFan ideals)
- 13:44 3.00 hours (Feature #903 (Closed): New function CallOnGroebnerFanIdeals: call function on GFan ideals)
- 13:51 0.25 hour (Feature #927 (Closed): Add "exit" in addition to "ciao")
- emacs
08 Oct 2016
- 22:04 0.10 hour (Feature #606 (Closed): Evaluate in ring operator (was called :: in CoCoA-4))
- ReadExprList
- 21:59 1.00 hour (Feature #909 (Closed): ReadExpr: decimal point)
- OK now
03 Oct 2016
- 14:13 0.20 hour (Bug #757 (Closed): readline: fix script for finding libreadline)
- More testing?
- 12:29 0.25 hour (Bug #755 (Closed): Find out how to compile statically on linux)
- Email from Logar
22 Sep 2016
21 Sep 2016
- 22:08 0.10 hour (Bug #928 (New): ciao, exit, quit can be used not only at top level)
- Some notes
- 22:00 1.00 hour (Feature #927 (Closed): Add "exit" in addition to "ciao")
- Seemingly not too hard
- 21:32 0.10 hour (Feature #927 (Closed): Add "exit" in addition to "ciao")
- Fairly easy but not backward compatible
16 Sep 2016
- 18:22 0.50 hour (Bug #922 (Closed): Release for MacOS: compilation on 10.11 incompatible with 10.6.8)
- 17:56 0.25 hour (Bug #922 (Closed): Release for MacOS: compilation on 10.11 incompatible with 10.6.8)
- 15:57 0.10 hour (Bug #922 (Closed): Release for MacOS: compilation on 10.11 incompatible with 10.6.8)
- Probably useful
- 15:55 0.20 hour (Bug #922 (Closed): Release for MacOS: compilation on 10.11 incompatible with 10.6.8)
- Known problem
Also available in: Atom