Activity
From 11 Sep 2016 to 10 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