CoCoA » CoCoA-5

01 Mar 2021

21:13 0.30 hour (Bug #1171 (Closed): RealRoots: first point is sometimes wrong?)

Changed doc John Abbott

18:04 0.30 hour (Support #911 (Closed): CoCoA-5 prompt for incomplete input)

Progress John Abbott

23 Feb 2021

10:39 0.30 hour (Slug #1578 (New): SLUG: RationalSolve slow and stupid)

Some notes John Abbott

10:27 0.10 hour (Bug #1537 (Closed): EmacUI: strange colours, sometimes)

Acceptable? John Abbott

22 Feb 2021

23:03 0.25 hour (Feature #1536 (Closed): Implement xel?)

Added doc John Abbott

22:00 0.50 hour (Feature #1536 (Closed): Implement xel?)

Done John Abbott

20:47 0.20 hour (Bug #1171 (Closed): RealRoots: first point is sometimes wrong?)

Mimic ApproxSolve? John Abbott

20:31 0.10 hour (Support #911 (Closed): CoCoA-5 prompt for incomplete input)

Another doubt John Abbott

20:27 0.20 hour (Support #911 (Closed): CoCoA-5 prompt for incomplete input)

Puzzled John Abbott

20:25 0.50 hour (Support #911 (Closed): CoCoA-5 prompt for incomplete input)

Experiment John Abbott

17:31 0.10 hour (Support #911 (Closed): CoCoA-5 prompt for incomplete input)

Some ideas John Abbott

17:21 0.40 hour (Feature #500 (Closed): Interpreter: is it possible to avoid useless prompts?)

KISS John Abbott

19 Feb 2021

17:26 0.40 hour (Bug #1577 (Closed): radical: lex order, ERROR: Ring is not standard graded)

Workaround John Abbott

17:00 0.25 hour (Bug #1396 (Closed): Website: download page for CoCoA-4 burns CPU)

Fixed John Abbott

09:50 0.25 hour (Feature #1112 (Closed): New function: IsEmpty)

Slower than hoped John Abbott

18 Feb 2021

22:18 0.20 hour (Feature #1112 (Closed): New function: IsEmpty)

First impl John Abbott

22:07 0.10 hour (Feature #250 (Closed): CoCoALib BuildInfo vs CoCoA-5 VersionInfo)

Out of date John Abbott

22:05 0.10 hour (Bug #1396 (Closed): Website: download page for CoCoA-4 burns CPU)

Still a problem John Abbott

22:03 0.10 hour (Design #474 (In Progress): Eliminate package BinRepr)

Into C++ John Abbott

22:00 0.20 hour (Bug #1215 (Closed): RationalSolve: gives "Error: must be non-zero")

Duplicate? John Abbott

17 Feb 2021

19:03 1.50 hour (Bug #946 (Resolved): Function "ideal" evaluates the argument twice)

Some progress John Abbott

18:33 1.50 hour (Design #1540 (Closed): Double power)

Seems OK now John Abbott

16 Feb 2021

14:41 0.50 hour (Bug #946 (Resolved): Function "ideal" evaluates the argument twice)

Maybe? John Abbott

14:09 0.20 hour (Slug #1392 (Closed): ApproxSolve: another slow example)

Seems OK now John Abbott

14:04 0.40 hour (Bug #1574 (New): ApproxSolveTF)

Odd code John Abbott

15 Feb 2021

22:49 0.40 hour (Bug #1577 (Closed): radical: lex order, ERROR: Ring is not standard graded)

Error mesg John Abbott

22:20 0.20 hour (Bug #1567 (Closed): Radical in non-zero char)

Checked in John Abbott

12 Feb 2021

12:19 0.40 hour (Bug #724 (Closed): RationalSolve: wrongly complains about non zero-dim even in finite char)

Mmmm John Abbott

12:16 0.20 hour (Feature #723 (New): Referring to indets with multiple indices from a polyring)

Slow John Abbott

11:54 0.20 hour (Slug #1270 (Closed): RationalSolve: use MinPolyQuot instead of elim)

Seems OK now John Abbott

11 Feb 2021

00:13 0.10 hour (Support #1252 (New): ShapeLemma: no manual entry)

Status? John Abbott

00:12 2.50 hours (Bug #1573 (Closed): ApproxSolve: very imprecise)

Improved John Abbott

00:08 0.75 hour (Bug #1216 (Closed): RationalSolve: gives wrong answer)

Implemented John Abbott

10 Feb 2021

21:33 0.20 hour (Bug #1216 (Closed): RationalSolve: gives wrong answer)

Feedback? John Abbott

21:28 0.60 hour (Bug #1216 (Closed): RationalSolve: gives wrong answer)

More doubts John Abbott

20:50 0.50 hour (Bug #1216 (Closed): RationalSolve: gives wrong answer)

Approved John Abbott

09 Feb 2021

15:22 0.50 hour (Bug #727 (In Progress): Emacs UI: send-file (C-c C-f) should check if buffer and file are synchronized)

Got burned John Abbott

05 Feb 2021

15:41 0.20 hour (Bug #1216 (Closed): RationalSolve: gives wrong answer)

Return value John Abbott

04 Feb 2021

21:05 1.75 hour (Bug #1216 (Closed): RationalSolve: gives wrong answer)

Some progress John Abbott

03 Feb 2021

17:48 0.25 hour (Bug #1574 (New): ApproxSolveTF)

Some notes John Abbott

17:26 0.25 hour (Bug #1216 (Closed): RationalSolve: gives wrong answer)

Not so clever? John Abbott

31 Jan 2021

10:43 0.10 hour (Bug #1216 (Closed): RationalSolve: gives wrong answer)

Another example John Abbott