Activity
From 29 Jan 2014 to 27 Feb 2014
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
30 Jan 2014
-
09:39 0.25 hour (Feature #78 (In Progress): Elim ordering and matrix ordering in CoCoA-5)
- Non negative
29 Jan 2014
-
19:17 0.25 hour (Feature #270 (Closed): Distribution for linux)
- Hijacking this issue
Also available in: Atom