CoCoA » CoCoA-5

03 Mar 2014

22:14 0.25 hour (Feature #372 (Closed): add IsFactorClosed)

Fixed John Abbott

19:21 0.25 hour (Feature #372 (Closed): add IsFactorClosed)

suggestions Anna Maria Bigatti

19:15 0.50 hour (Feature #306 (Closed): Function for accessing the pointed value)

now in feedback Anna Maria Bigatti

19:00 0.50 hour (Design #449 (Closed): Emacs UI: names of emacs fns)

done Anna Maria Bigatti

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 Anna Maria Bigatti

17:56 0.50 hour (Bug #418 (Closed): What does interreduce do?)

done some tests, I convinced myself it's correct, closing Anna Maria Bigatti

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 Anna Maria Bigatti

27 Feb 2014

09:44 0.25 hour (Support #450 (Closed): CoCoA-5.0.9 release (admin, overheads, etc))

Version number John Abbott

26 Feb 2014

17:09 0.25 hour (Support #450 (Closed): CoCoA-5.0.9 release (admin, overheads, etc))

Some old issues John Abbott

16:54 0.25 hour (Support #450 (Closed): CoCoA-5.0.9 release (admin, overheads, etc))

To do John Abbott

17:01 0.10 hour (Feature #175 (In Progress): Approximate BuchbergerMoeller: port to CoCoA-5)

JAA John Abbott

16:48 0.25 hour (Bug #197 (Closed): ./C5.bin: fork: Resource temporarily unavailable)

Still happens? John Abbott

11:46 0.50 hour (Feature #414 (Closed): New fn to increase max recursion depth)

Command line option John Abbott

11:18 0.25 hour (Feature #328 (Closed): Swap)

Seems fast John Abbott

25 Feb 2014

16:11 0.25 hour (Support #370 (Closed): OnlineHelp: Problem with "><" in syntax of CartesianProduct)

How to get the man page? John Abbott

15:40 1.00 hour (Feature #372 (Closed): add IsFactorClosed)

Now in C++ John Abbott

10:58 0.25 hour (Feature #328 (Closed): Swap)

Hints? John Abbott

10:40 0.25 hour (Feature #414 (Closed): New fn to increase max recursion depth)

As I feared John Abbott

24 Feb 2014

22:42 1.50 hour (Feature #414 (Closed): New fn to increase max recursion depth)

First impl John Abbott

18:20 0.25 hour (Feature #414 (Closed): New fn to increase max recursion depth)

KISS John Abbott

18:15 0.25 hour (Feature #380 (Closed): Add Frobby functions to cocoa-5)

Closing after 9 months in feedback John Abbott

18:13 0.25 hour (Feature #372 (Closed): add IsFactorClosed)

Move impl to C++ John Abbott

18:07 0.25 hour (Feature #212 (Closed): NBM: add to CoCoA-5)

Closing after >12 months in feedback John Abbott

18:05 0.25 hour (Feature #328 (Closed): Swap)

First impl John Abbott

17:49 0.50 hour (Bug #444 (Closed): Not keyword/operator)

Stepwise progress John Abbott

17:41 1.00 hour (Bug #443 (Closed): lambda keyword)

Implemented John Abbott

22 Feb 2014

11:40 0.25 hour (Bug #443 (Closed): lambda keyword)

Next steps John Abbott

10:22 0.25 hour (Bug #443 (Closed): lambda keyword)

Too short? John Abbott

11:35 0.25 hour (Support #439 (Closed): CoCoA website: download pages and installing instructions)

Various cases John Abbott

10:58 0.25 hour (Bug #447 (Closed): CoCoA-5.0.3 Microsoft std::bad_alloc)

OK on MacOS X 10.5.8 John Abbott

10:49 0.25 hour (Bug #446 (Closed): intersection fails with zero ideal)

Add CoCoALib tests John Abbott

21 Feb 2014

18:37 0.75 hour (Bug #444 (Closed): Not keyword/operator)

Stage 2 done John Abbott

16:44 0.50 hour (Bug #444 (Closed): Not keyword/operator)

Not -> not(...) John Abbott

16:14 0.25 hour (Bug #444 (Closed): Not keyword/operator)

Next steps John Abbott

13:00 0.25 hour (Bug #444 (Closed): Not keyword/operator)

Panic! John Abbott

12:57 0.25 hour (Bug #444 (Closed): Not keyword/operator)

Ouch! John Abbott

01:29 0.25 hour (Bug #444 (Closed): Not keyword/operator)

Nasty surprises? John Abbott

16:18 0.25 hour (Bug #443 (Closed): lambda keyword)

Another idea for simple anon fns John Abbott

16:07 0.25 hour (Bug #443 (Closed): lambda keyword)

Addendum John Abbott

16:04 0.50 hour (Bug #443 (Closed): lambda keyword)

Yet another idea John Abbott

16:02 0.25 hour (Bug #443 (Closed): lambda keyword)

Yet another idea John Abbott

16:02 0.25 hour (Bug #443 (Closed): lambda keyword)

Yet another idea John Abbott

16:01 0.25 hour (Bug #443 (Closed): lambda keyword)

Yet another idea John Abbott

16:01 0.25 hour (Bug #443 (Closed): lambda keyword)

discussion Anna Maria Bigatti

15:50 0.50 hour (Bug #443 (Closed): lambda keyword)

More ideas John Abbott

15:20 0.25 hour (Bug #443 (Closed): lambda keyword)

suggestions Anna Maria Bigatti

13:16 0.25 hour (Bug #443 (Closed): lambda keyword)

New keyword for anon fns John Abbott

12:39 0.25 hour (Bug #423 (Closed): Emacs UI: semicolon does not work in emacs-24.3)

Closing after 1 month in feedback John Abbott

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 John Abbott

12:18 0.25 hour (Bug #445 (Closed): EmacsUI: indentation is wrong sometimes (e.g. if Lambda1 is on previous line))

Fixed? John Abbott

11:59 0.25 hour (Bug #446 (Closed): intersection fails with zero ideal)

Need a more coherent approach? John Abbott

11:39 0.25 hour (Bug #446 (Closed): intersection fails with zero ideal)

looked at "colon" Anna Maria Bigatti

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 John Abbott

00:40 0.25 hour (Bug #446 (Closed): intersection fails with zero ideal)

Improve test suite John Abbott

00:36 0.50 hour (Bug #446 (Closed): intersection fails with zero ideal)

More info John Abbott

15:53 0.25 hour (Bug #446 (Closed): intersection fails with zero ideal)

Bad news John Abbott

11:46 0.25 hour (Bug #446 (Closed): intersection fails with zero ideal)

radical buggy too John Abbott

15:34 0.25 hour (Bug #443 (Closed): lambda keyword)

More examples John Abbott

10:36 0.25 hour (Bug #443 (Closed): lambda keyword)

Other suggestions John Abbott

12:13 0.25 hour (Support #448 (New): EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate)

Reported by... John Abbott

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 John Abbott

21:34 0.25 hour (Feature #347 (Closed): C5 cannot compute derivative of a ratfn)

Closing after 9 months in feedback John Abbott

11:32 0.25 hour (Support #439 (Closed): CoCoA website: download pages and installing instructions)

Get Tony to help? John Abbott

14 Feb 2014

10:14 1.00 hour (Feature #352 (Closed): Should SourceRegion echo the "region"?)

echo region Anna Maria Bigatti

10:13 1.00 hour (Feature #352 (Closed): Should SourceRegion echo the "region"?)

echo region Anna Maria Bigatti

10:10 1.00 hour (Feature #352 (Closed): Should SourceRegion echo the "region"?)

echo region Anna Maria Bigatti

12 Feb 2014

11:56 0.25 hour (Feature #352 (Closed): Should SourceRegion echo the "region"?)

Wake up! John Abbott

10 Feb 2014

12:04 0.25 hour (Support #439 (Closed): CoCoA website: download pages and installing instructions)

Outside help? John Abbott

07 Feb 2014

00:41 0.25 hour (Bug #94 (Closed): Default reason for protected variables)

Can we decide, impl, and close? John Abbott

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 John Abbott

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 John Abbott

10:23 0.50 hour (Bug #433 (Closed): EMACS UI: trouble with sending a long line)

Technical hitch with using SourceRegion John Abbott

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 John Abbott