Activity
From 08 Feb 2014 to 09 Mar 2014
09 Mar 2014
-
21:19 0.50 hour (Bug #462 (Closed): Emacs UI: semicolon problems)
- Probable cause
-
10:21 0.10 hour (Bug #460 (Closed): Emacs UI: updating abbrev-table)
- Name
-
10:17 0.50 hour (Bug #460 (Closed): Emacs UI: updating abbrev-table)
- Some ideas
07 Mar 2014
-
15:25 0.25 hour (Feature #371 (Closed): Resurrect LinearSimplify)
- Closing after 9 months in feedback
-
13:35 0.10 hour (Bug #441 (Closed): Emacs UI: C-c C-e does not ignore keywords inside strings)
- regexp
-
13:01 0.50 hour (Bug #441 (Closed): Emacs UI: C-c C-e does not ignore keywords inside strings)
- Test case
-
12:48 0.75 hour (Bug #441 (Closed): Emacs UI: C-c C-e does not ignore keywords inside strings)
- Works better
-
12:03 0.50 hour (Bug #441 (Closed): Emacs UI: C-c C-e does not ignore keywords inside strings)
- Imperfect
-
11:36 0.75 hour (Bug #441 (Closed): Emacs UI: C-c C-e does not ignore keywords inside strings)
- Improvement
-
12:49 0.25 hour (Bug #394 (Rejected): problem with ContentFreeFactor (and missing manual entry))
- don't know why I started this
06 Mar 2014
-
20:53 0.25 hour (Bug #441 (Closed): Emacs UI: C-c C-e does not ignore keywords inside strings)
- Some hints
-
20:43 0.25 hour (Support #406 (Closed): Manual for CoCoAManual/CoCoAHelp.xml)
- Fonts, and ...
-
20:38 0.10 hour (Bug #394 (Rejected): problem with ContentFreeFactor (and missing manual entry))
- What?
-
20:35 0.75 hour (Bug #458 (Rejected): CoCoA5 GUI; failed build "wrong architecture")
- Just for the record
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?
Also available in: Atom