CoCoA » CoCoA-5

20 Feb 2014

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

30 Jan 2014

09:39 0.25 hour (Feature #78 (In Progress): Elim ordering and matrix ordering in CoCoA-5)

Non negative John Abbott

29 Jan 2014

19:17 0.25 hour (Feature #270 (Closed): Distribution for linux)

Hijacking this issue John Abbott

28 Jan 2014

14:40 1.00 hour (Bug #418 (Closed): What does interreduce do?)

checked and checked-in Anna Maria Bigatti

27 Jan 2014

14:36 1.00 hour (Feature #367 (Closed): implement LF/DF for an ideal)

written LF(ideal) Anna Maria Bigatti

13:53 1.00 hour (Feature #367 (Closed): implement LF/DF for an ideal)

code written in October 2012 Anna Maria Bigatti

24 Jan 2014

20:47 0.25 hour (Feature #78 (In Progress): Elim ordering and matrix ordering in CoCoA-5)

ElimOrdMat John Abbott

20:30 0.25 hour (Bug #418 (Closed): What does interreduce do?)

Can we close this? John Abbott

13:54 0.25 hour (Design #424 (In Progress): Emacs UI: Name of emacs init file)

An advantage of using the emacs directory John Abbott

12:16 0.25 hour (Design #424 (In Progress): Emacs UI: Name of emacs init file)

Compromise John Abbott

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

Seems to work for me John Abbott

23 Jan 2014

13:47 0.50 hour (Bug #423 (Closed): Emacs UI: semicolon does not work in emacs-24.3)

debugging, fixed, tested Anna Maria Bigatti

11:39 0.25 hour (Slug #405 (Closed): ReducedGBasis not memorized in an ideal)

Anytime soon? John Abbott

22 Jan 2014

17:26 0.25 hour (Design #424 (In Progress): Emacs UI: Name of emacs init file)

Two dots John Abbott

16:13 0.25 hour (Feature #381 (Closed): Emacs User Interface: Easier binding for sending a line to cocoa-5)

Seems to work for me John Abbott

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

I prefer not to see the output John Abbott