Activity
From 04 Feb 2014 to 05 Mar 2014
05 Mar 2014
- 17:00 0.50 hour (Bug #444 (Closed): Not keyword/operator)
- Mostly done
- 16:50 0.25 hour (Feature #451 (In Progress): Port function NewSymbol/NewSymbols to CoCoA-5)
- An idea
- 16:12 0.75 hour (Feature #453 (In Progress): Automatic conversion from INT (or RAT) to RINGELEM)
- Implemented
- 15:26 0.50 hour (Feature #372 (Closed): add IsFactorClosed)
- Empty list gives error
- 12:21 0.50 hour (Bug #197 (Closed): ./C5.bin: fork: Resource temporarily unavailable)
- Cannot reproduce
04 Mar 2014
- 15:22 0.25 hour (Support #370 (Closed): OnlineHelp: Problem with "><" in syntax of CartesianProduct)
- fix was easier than expected
- 15:16 2.00 hours (Support #369 (Closed): write documentation for TgCone and other function from the "primary" package)
- 09:58 0.25 hour (Feature #372 (Closed): add IsFactorClosed)
- Doubts
03 Mar 2014
- 22:14 0.25 hour (Feature #372 (Closed): add IsFactorClosed)
- Fixed
- 19:21 0.25 hour (Feature #372 (Closed): add IsFactorClosed)
- suggestions
- 19:15 0.50 hour (Feature #306 (Closed): Function for accessing the pointed value)
- now in feedback
- 19:00 0.50 hour (Design #449 (Closed): Emacs UI: names of emacs fns)
- done
- 17:59 0.25 hour (Bug #445 (Closed): EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line))
- I trust John. Closing
- 17:56 0.50 hour (Bug #418 (Closed): What does interreduce do?)
- done some tests, I convinced myself it's correct, closing
28 Feb 2014
- 15:51 1.50 hour (Feature #451 (In Progress): Port function NewSymbol/NewSymbols to CoCoA-5)
- understood that this is a design problem
27 Feb 2014
- 09:44 0.25 hour (Support #450 (Closed): CoCoA-5.0.9 release (admin, overheads, etc))
- Version number
26 Feb 2014
- 17:09 0.25 hour (Support #450 (Closed): CoCoA-5.0.9 release (admin, overheads, etc))
- Some old issues
- 16:54 0.25 hour (Support #450 (Closed): CoCoA-5.0.9 release (admin, overheads, etc))
- To do
- 17:01 0.10 hour (Feature #175 (In Progress): Approximate BuchbergerMoeller: port to CoCoA-5)
- JAA
- 16:48 0.25 hour (Bug #197 (Closed): ./C5.bin: fork: Resource temporarily unavailable)
- Still happens?
- 11:46 0.50 hour (Feature #414 (Closed): New fn to increase max recursion depth)
- Command line option
- 11:18 0.25 hour (Feature #328 (Closed): Swap)
- Seems fast
25 Feb 2014
- 16:11 0.25 hour (Support #370 (Closed): OnlineHelp: Problem with "><" in syntax of CartesianProduct)
- How to get the man page?
- 15:40 1.00 hour (Feature #372 (Closed): add IsFactorClosed)
- Now in C++
- 10:58 0.25 hour (Feature #328 (Closed): Swap)
- Hints?
- 10:40 0.25 hour (Feature #414 (Closed): New fn to increase max recursion depth)
- As I feared
24 Feb 2014
- 22:42 1.50 hour (Feature #414 (Closed): New fn to increase max recursion depth)
- First impl
- 18:20 0.25 hour (Feature #414 (Closed): New fn to increase max recursion depth)
- KISS
- 18:15 0.25 hour (Feature #380 (Closed): Add Frobby functions to cocoa-5)
- Closing after 9 months in feedback
- 18:13 0.25 hour (Feature #372 (Closed): add IsFactorClosed)
- Move impl to C++
- 18:07 0.25 hour (Feature #212 (Closed): NBM: add to CoCoA-5)
- Closing after >12 months in feedback
- 18:05 0.25 hour (Feature #328 (Closed): Swap)
- First impl
- 17:49 0.50 hour (Bug #444 (Closed): Not keyword/operator)
- Stepwise progress
- 17:41 1.00 hour (Bug #443 (Closed): lambda keyword)
- Implemented
22 Feb 2014
- 11:40 0.25 hour (Bug #443 (Closed): lambda keyword)
- Next steps
- 10:22 0.25 hour (Bug #443 (Closed): lambda keyword)
- Too short?
- 11:35 0.25 hour (Support #439 (Closed): CoCoA website: download pages and installing instructions)
- Various cases
- 10:58 0.25 hour (Bug #447 (Closed): CoCoA-5.0.3 Microsoft std::bad_alloc)
- OK on MacOS X 10.5.8
- 10:49 0.25 hour (Bug #446 (Closed): intersection fails with zero ideal)
- Add CoCoALib tests
21 Feb 2014
- 18:37 0.75 hour (Bug #444 (Closed): Not keyword/operator)
- Stage 2 done
- 16:44 0.50 hour (Bug #444 (Closed): Not keyword/operator)
- Not -> not(...)
- 16:14 0.25 hour (Bug #444 (Closed): Not keyword/operator)
- Next steps
- 13:00 0.25 hour (Bug #444 (Closed): Not keyword/operator)
- Panic!
- 12:57 0.25 hour (Bug #444 (Closed): Not keyword/operator)
- Ouch!
- 01:29 0.25 hour (Bug #444 (Closed): Not keyword/operator)
- Nasty surprises?
- 16:18 0.25 hour (Bug #443 (Closed): lambda keyword)
- Another idea for simple anon fns
- 16:07 0.25 hour (Bug #443 (Closed): lambda keyword)
- Addendum
- 16:04 0.50 hour (Bug #443 (Closed): lambda keyword)
- Yet another idea
- 16:02 0.25 hour (Bug #443 (Closed): lambda keyword)
- Yet another idea
- 16:02 0.25 hour (Bug #443 (Closed): lambda keyword)
- Yet another idea
- 16:01 0.25 hour (Bug #443 (Closed): lambda keyword)
- Yet another idea
- 16:01 0.25 hour (Bug #443 (Closed): lambda keyword)
- discussion
- 15:50 0.50 hour (Bug #443 (Closed): lambda keyword)
- More ideas
- 15:20 0.25 hour (Bug #443 (Closed): lambda keyword)
- suggestions
- 13:16 0.25 hour (Bug #443 (Closed): lambda keyword)
- New keyword for anon fns
- 12:39 0.25 hour (Bug #423 (Closed): Emacs UI: semicolon does not work in emacs-24.3)
- Closing after 1 month in feedback
- 12:35 0.25 hour (Bug #445 (Closed): EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line))
- Seems to work for me
- 12:18 0.25 hour (Bug #445 (Closed): EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line))
- Fixed?
- 11:59 0.25 hour (Bug #446 (Closed): intersection fails with zero ideal)
- Need a more coherent approach?
- 11:39 0.25 hour (Bug #446 (Closed): intersection fails with zero ideal)
- looked at "colon"
20 Feb 2014
- 00:54 0.25 hour (Bug #445 (Closed): EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line))
- Curiouser and curiouser
- 00:40 0.25 hour (Bug #446 (Closed): intersection fails with zero ideal)
- Improve test suite
- 00:36 0.50 hour (Bug #446 (Closed): intersection fails with zero ideal)
- More info
- 15:53 0.25 hour (Bug #446 (Closed): intersection fails with zero ideal)
- Bad news
- 11:46 0.25 hour (Bug #446 (Closed): intersection fails with zero ideal)
- radical buggy too
- 15:34 0.25 hour (Bug #443 (Closed): lambda keyword)
- More examples
- 10:36 0.25 hour (Bug #443 (Closed): lambda keyword)
- Other suggestions
- 12:13 0.25 hour (Support #448 (New): EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate)
- Reported by...
19 Feb 2014
- 21:53 0.50 hour (Bug #445 (Closed): EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line))
- Possible cause
- 21:34 0.25 hour (Feature #347 (Closed): C5 cannot compute derivative of a ratfn)
- Closing after 9 months in feedback
- 11:32 0.25 hour (Support #439 (Closed): CoCoA website: download pages and installing instructions)
- Get Tony to help?
14 Feb 2014
- 10:14 1.00 hour (Feature #352 (Closed): Should SourceRegion echo the "region"?)
- echo region
- 10:13 1.00 hour (Feature #352 (Closed): Should SourceRegion echo the "region"?)
- echo region
- 10:10 1.00 hour (Feature #352 (Closed): Should SourceRegion echo the "region"?)
- echo region
12 Feb 2014
10 Feb 2014
- 12:04 0.25 hour (Support #439 (Closed): CoCoA website: download pages and installing instructions)
- Outside help?
07 Feb 2014
- 00:41 0.25 hour (Bug #94 (Closed): Default reason for protected variables)
- Can we decide, impl, and close?
06 Feb 2014
- 14:46 0.25 hour (Slug #434 (New): Emacs UI: very slow when input file is big (with long lines))
- Long lines are the trouble
- 14:22 0.25 hour (Slug #434 (New): Emacs UI: very slow when input file is big (with long lines))
- Slow only when cursor is towards end of file
- 10:23 0.50 hour (Bug #433 (Closed): EMACS UI: trouble with sending a long line)
- Technical hitch with using SourceRegion
05 Feb 2014
- 23:55 0.25 hour (Feature #381 (Closed): Emacs User Interface: Easier binding for sending a line to cocoa-5)
- Other key sequences
Also available in: Atom