Activity
From 14 Sep 2016 to 13 Oct 2016
13 Oct 2016
- 17:45 0.20 hour (Feature #927 (Closed): Add "exit" in addition to "ciao")
- GUI
- 17:40 0.10 hour (Bug #100 (New): BringIn should map only the indets in its arg)
- Postpone
- 17:29 0.10 hour (Support #181 (New): Functions throwing error even though (trivially) defined)
- Postponing again
- 17:25 0.10 hour (Feature #7 (Resolved): Automatic mapping between (some) rings)
- Postponing again
- 14:25 0.20 hour (Bug #757 (Closed): readline: fix script for finding libreadline)
- Disable readline?
- 13:12 0.10 hour (Design #491 (In Progress): Cleaning: Cruft in CoCoA-5 packages)
- Postpone but not too far
- 13:08 0.20 hour (Bug #755 (Closed): Find out how to compile statically on linux)
- Suggestion
- 13:05 0.10 hour (Feature #183 (New): Template for unaryMinus?)
- Postpone
- 13:03 0.10 hour (Bug #712 (In Progress): External Libs: missing dependencies in Makefiles)
- Postpone
- 12:59 0.10 hour (Feature #857 (New): floor, ceil, and NearestInt for RingElem in CoCoA-5?)
- Postpone
- 12:57 0.10 hour (Bug #519 (Closed): GUI: fix DEFINES in makefile)
- Close?
12 Oct 2016
- 18:25 0.25 hour (Bug #945 (Closed): Emacs UI: comint buffer silently truncates(?) long lines when sending)
- Link
- 17:19 0.10 hour (Bug #945 (Closed): Emacs UI: comint buffer silently truncates(?) long lines when sending)
- Workaround
- 17:15 0.25 hour (Bug #945 (Closed): Emacs UI: comint buffer silently truncates(?) long lines when sending)
- Some notes
- 16:56 0.25 hour (Feature #13 (New): (short) manual for emacs interface)
- Note
- 15:58 1.00 hour (Support #851 (Closed): Release: CoCoA-5.2.0)
- 15:07 0.10 hour (Design #943 (In Progress): Managing credits)
- Nice idea
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