CoCoA » CoCoA-5

06 Mar 2020

19:35 0.20 hour (Bug #755 (Closed): Find out how to compile statically on linux)

Then again... John Abbott

15:11 0.20 hour (Bug #755 (Closed): Find out how to compile statically on linux)

Default linux version John Abbott

12:23 0.20 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)

OK now John Abbott

12:05 0.40 hour (Bug #1438 (Closed): ABORT for unterminated string literal)

OK now John Abbott

10:15 0.30 hour (Bug #1438 (Closed): ABORT for unterminated string literal)

Found John Abbott

05 Mar 2020

22:56 0.75 hour (Bug #1438 (Closed): ABORT for unterminated string literal)

Nightmare :-( John Abbott

16:42 0.10 hour (Bug #1438 (Closed): ABORT for unterminated string literal)

Maybe John Abbott

12:03 0.20 hour (Bug #1303 (Rejected): Manual looking for "?")

Not harmful John Abbott

12:00 0.30 hour (Support #1350 (New): CoCoA manual: entry for operators, shortcuts)

Must improve the manual about operators John Abbott

04 Mar 2020

22:32 0.50 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)

Implemented John Abbott

17:00 0.25 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)

Slightly unfortunate John Abbott

22:30 0.20 hour (Support #1071 (In Progress): LinKerBasis is user-unfriendly)

Needs improvement John Abbott

22:06 0.30 hour (Bug #660 (New): Emacs UI: endfunc does not indent the line)

Clue city John Abbott

21:53 0.10 hour (Bug #660 (New): Emacs UI: endfunc does not indent the line)

Confirmed John Abbott

21:48 0.10 hour (Support #1214 (Closed): CoCoAManual: ensure that LaTeX compilation is "clean")

Almost done? John Abbott

21:45 0.20 hour (Support #1298 (Closed): How can user find the indent command?)

Improved doc John Abbott

21:33 0.10 hour (Support #557 (New): CoCoAManual: improve part on input/output)

Currently John Abbott

21:31 0.10 hour (Feature #1174 (Closed): package of a function --> of an identifier!)

Workaround John Abbott

21:28 0.20 hour (Bug #669 (New): NUL char in input terminates CoCoA-5)

Source code John Abbott

21:19 0.10 hour (Bug #669 (New): NUL char in input terminates CoCoA-5)

Some notes John Abbott

21:13 0.10 hour (Design #610 (Resolved): Variable It: assign before or after printing)

A note John Abbott

19:31 0.20 hour (Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz)

Anna Maria Bigatti

19:29 0.20 hour (Feature #1373 (In Progress): GFan also for Microsoft?)

Anna Maria Bigatti

19:09 0.10 hour (Design #997 (Closed): Using protected variable names for "bound variables" (e.g. for, try...endtry))

Agreed John Abbott

19:00 0.10 hour (Support #1404 (Closed): Which commands should "terms" be a keyword for?)

Closing John Abbott

18:38 0.20 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))

Anna Maria Bigatti

18:38 0.20 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))

Anna Maria Bigatti

16:14 0.20 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))

Out of date? John Abbott

15:59 0.20 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))

Anna Maria Bigatti

15:49 0.25 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))

Uncertain John Abbott

16:26 0.10 hour (Bug #945 (Closed): Emacs UI: comint buffer silently truncates(?) long lines when sending)

Already done John Abbott

15:41 0.25 hour (Feature #781 (Closed): Option to "fold" long lines?)

OK John Abbott

15:31 0.75 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash)

Conclusion John Abbott

15:20 0.50 hour (Bug #1412 (Closed): Emacs UI: font size)

Clue city John Abbott

14:41 0.20 hour (Bug #1224 (Closed): Lexer: unclosed multi-line comment)

Seems OK John Abbott

03 Mar 2020

22:23 0.50 hour (Bug #1412 (Closed): Emacs UI: font size)

Improved John Abbott

22:20 0.20 hour (Feature #1372 (In Progress): New function: find ?)

Possibly useful variant John Abbott

22:14 0.20 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)

Suggestion John Abbott

22:07 0.20 hour (Support #1404 (Closed): Which commands should "terms" be a keyword for?)

Seems OK John Abbott

22:04 0.10 hour (Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz)

I can help John Abbott

21:57 0.10 hour (Support #1398 (Closed): Website: hide/delete all the CoCoA-4 stuff?)

Some notes John Abbott

20:56 0.15 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash)

Undecided John Abbott

14:48 0.75 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash)

Emacs code seems to work John Abbott

14:10 0.15 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash)

Emacs code John Abbott

13:56 1.00 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash)

Seems to be impossible John Abbott

17:29 0.10 hour (Feature #1431 (Rejected): Juxtaposition of string literals)

Source code John Abbott

15:14 0.40 hour (Feature #1431 (Rejected): Juxtaposition of string literals)

Some notes John Abbott

11:54 0.20 hour (Bug #1224 (Closed): Lexer: unclosed multi-line comment)

Surely... John Abbott

02 Mar 2020

22:32 0.20 hour (Support #692 (Rejected): Local variables hiding out ones at top level)

Undecided John Abbott

22:10 0.15 hour (Support #448 (New): EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate)

Still a problem? John Abbott

22:05 0.20 hour (Feature #781 (Closed): Option to "fold" long lines?)

Mostly done John Abbott

21:55 0.20 hour (Design #997 (Closed): Using protected variable names for "bound variables" (e.g. for, try...endtry))

Entertaining John Abbott

21:45 0.10 hour (Design #597 (New): Interpreter.C: remove calls to WrongTypeException)

Huh? John Abbott

21:42 0.40 hour (Bug #1303 (Rejected): Manual looking for "?")

Some notes John Abbott

21:24 0.30 hour (Bug #1224 (Closed): Lexer: unclosed multi-line comment)

Still a problem? John Abbott

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

Some notes John Abbott

20:46 0.25 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash)

Another idea John Abbott

20:37 0.25 hour (Bug #669 (New): NUL char in input terminates CoCoA-5)

Some notes John Abbott

15:40 0.20 hour (Bug #458 (Rejected): CoCoA5 GUI; failed build "wrong architecture")

Too old? John Abbott

15:03 2.00 hours (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made))

Already done John Abbott

14:04 0.20 hour (Support #1350 (New): CoCoA manual: entry for operators, shortcuts)

Split or subsections John Abbott

28 Feb 2020

17:52 0.50 hour (Feature #1243 (Closed): New function: Read a string into a list (of RingElem) -- CoCoA-5)

Anna Maria Bigatti

16:44 1.00 hour (Bug #1429 (New): Stack overflow reading long list (SEGV))

Some notes John Abbott

26 Feb 2020

22:22 0.25 hour (Bug #1412 (Closed): Emacs UI: font size)

More notes John Abbott

21:03 0.25 hour (Bug #1412 (Closed): Emacs UI: font size)

Aha! John Abbott

20:40 0.20 hour (Bug #1412 (Closed): Emacs UI: font size)

More notes John Abbott

17:18 2.00 hours (Support #1333 (Closed): Typevectors)

Anna Maria Bigatti

16:59 0.20 hour (Support #1027 (Closed): CoCoAManual: add a page with some emacs hints?)

Good enough John Abbott

16:50 0.30 hour (Support #890 (Closed): ImportByRef and ImportByValue behave in an unexpected manner (i.e. fail when I think they should succeed))

John Abbott

16:32 0.10 hour (Feature #1289 (Closed): assert-function for cocoa5)

John Abbott

16:31 0.20 hour (Bug #1420 (Closed): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT)

Anna Maria Bigatti

16:27 0.10 hour (Bug #1421 (Closed): SEGV: error(""))

John Abbott

16:24 0.75 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)

Checked John Abbott

15:25 0.50 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)

Almost done John Abbott

14:35 0.40 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)

Tidied John Abbott

13:28 0.15 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)

Source code John Abbott

12:12 0.25 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)

Another test case John Abbott

12:02 0.25 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)

Also for modules John Abbott

25 Feb 2020

22:04 0.20 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)

Fixed John Abbott

21:58 0.20 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)

Location John Abbott

21:36 0.10 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation)

Confirmed John Abbott

16:24 0.50 hour (Bug #1420 (Closed): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT)

Anna Maria Bigatti

16:07 0.50 hour (Bug #1420 (Closed): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT)

Anna Maria Bigatti

11:16 0.15 hour (Support #1386 (Closed): IsIndetPosPower: behaviour and manual page)

Manual John Abbott

24 Feb 2020

16:56 0.20 hour (Bug #1335 (Closed): ManExamples: some problems)

Acceptable John Abbott

21 Feb 2020

14:18 0.25 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)

Executable John Abbott

14:16 1.00 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)

Status report John Abbott

13:01 0.20 hour (Feature #1415 (In Progress): thmproving package)

Needs doc John Abbott

12:59 0.25 hour (Bug #1421 (Closed): SEGV: error(""))

Simple impl John Abbott

12:44 0.50 hour (Bug #1421 (Closed): SEGV: error(""))

Least worst John Abbott

20 Feb 2020

17:06 0.10 hour (Bug #1421 (Closed): SEGV: error(""))

The source John Abbott

17:03 0.10 hour (Bug #1421 (Closed): SEGV: error(""))

What happens John Abbott

16:58 0.20 hour (Support #1404 (Closed): Which commands should "terms" be a keyword for?)

Current state John Abbott

16:53 0.10 hour (Bug #755 (Closed): Find out how to compile statically on linux)

Or maybe... John Abbott

16:16 0.30 hour (Feature #1289 (Closed): assert-function for cocoa5)

Checked John Abbott

10:02 0.10 hour (Feature #1289 (Closed): assert-function for cocoa5)

Release? John Abbott

16:05 0.50 hour (Support #890 (Closed): ImportByRef and ImportByValue behave in an unexpected manner (i.e. fail when I think they should succeed))

Improved doc John Abbott

10:04 0.10 hour (Support #890 (Closed): ImportByRef and ImportByValue behave in an unexpected manner (i.e. fail when I think they should succeed))

Documentation John Abbott

19 Feb 2020

11:46 0.10 hour (Feature #1415 (In Progress): thmproving package)

To do John Abbott

11:43 0.30 hour (Feature #1236 (Closed): Add "socket" devices)

Closing John Abbott

11:29 0.10 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)

Hint John Abbott

11:27 0.10 hour (Feature #78 (In Progress): Elim ordering and matrix ordering in CoCoA-5)

Too far away John Abbott

18 Feb 2020

12:20 0.25 hour (Bug #1420 (Closed): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT)

Some notes John Abbott

17 Feb 2020

15:18 0.20 hour (Support #240 (Closed): GUI compilation: GMP is not naturally thread-safe)

Out of date? John Abbott

15:10 0.30 hour (Bug #755 (Closed): Find out how to compile statically on linux)

Proposal John Abbott

14:54 0.10 hour (Support #1387 (Closed): John's visit Feb 2020)

Visit over John Abbott

14:51 0.50 hour (Feature #1316 (Closed): Matrix row reduction (rref))

Done John Abbott

13:59 0.10 hour (Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz)

Try latest version John Abbott

13:58 0.20 hour (Support #177 (In Progress): CoCoAManual: General part of the documentation is obsolete: update? discard?)

Postpone John Abbott

13:55 0.10 hour (Feature #1372 (In Progress): New function: find ?)

Still prefer postponing John Abbott

15 Feb 2020

23:52 0.25 hour (Bug #1335 (Closed): ManExamples: some problems)

Current state John Abbott

23:41 0.30 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)

TARGZ John Abbott

10:35 0.20 hour (Support #1393 (Feedback): GUI with Qt5)

Did not have time John Abbott

10:34 0.10 hour (Support #1027 (Closed): CoCoAManual: add a page with some emacs hints?)

Tutorial John Abbott

10:28 0.25 hour (Feature #1290 (Closed): NewPolyRing: allow symbols with just head and no indices?)

Works now John Abbott

10:23 0.10 hour (Feature #1372 (In Progress): New function: find ?)

Another question John Abbott

14 Feb 2020

17:35 0.20 hour (Feature #1372 (In Progress): New function: find ?)

A delicate point John Abbott

17:27 0.50 hour (Support #1386 (Closed): IsIndetPosPower: behaviour and manual page)

Done John Abbott

13:43 0.15 hour (Support #1400 (Closed): Title of manual entry: tutorial on operations on polynomials)

Done John Abbott

10:53 0.10 hour (Support #1027 (Closed): CoCoAManual: add a page with some emacs hints?)

For Vietnam? John Abbott

10:50 0.10 hour (Support #1312 (Closed): Wrong links on page about COCOA School in Sapporo)

Remove link John Abbott

10:48 1.00 hour (Support #1312 (Closed): Wrong links on page about COCOA School in Sapporo)

Too late John Abbott

10:49 0.20 hour (Support #1315 (Closed): Manual entry about reporting bugs?)

Anna Maria Bigatti

09:22 0.25 hour (Bug #519 (Closed): GUI: fix DEFINES in makefile)

Too old John Abbott

09:08 0.25 hour (Support #1344 (Rejected): Clean out OBSOLESCENT)

Now Anna's responsibility John Abbott

13 Feb 2020

17:22 0.20 hour (Feature #1401 (Closed): Parolacce e basi border)

R John Abbott

17:17 0.40 hour (Support #1318 (Closed): Clean CoCoA-5/tests directory)

Done John Abbott

16:39 0.15 hour (Feature #673 (Closed): Error message: I was expecting...)

Seems OK John Abbott

16:37 0.10 hour (Feature #1364 (Closed): Emacs UI: start cocoa5 with system command enabled)

Done John Abbott

16:30 0.15 hour (Feature #1374 (Closed): Add function power to CoCoA-5)

Appease John Abbott

16:08 0.20 hour (Design #474 (In Progress): Eliminate package BinRepr)

Postpone John Abbott

16:04 0.10 hour (Bug #946 (Resolved): Function "ideal" evaluates the argument twice)

C++14? John Abbott

15:50 0.20 hour (Bug #1286 (Closed): Website: trouble with the world map)

Still a problem John Abbott

15:40 0.50 hour (Feature #1410 (Closed): IsDivisible also for INT)

Anna Maria Bigatti

10:19 1.00 hour (Feature #1410 (Closed): IsDivisible also for INT)

Anna Maria Bigatti

15:36 1.00 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator)

Partly done John Abbott

15:29 2.50 hours (Feature #1415 (In Progress): thmproving package)

Code ported John Abbott

14:04 0.10 hour (Bug #1412 (Closed): Emacs UI: font size)

Reference John Abbott

14:03 0.25 hour (Feature #1358 (Closed): Emacs UI: should active input line be cleared before sending line from CoCoA-5 file?)

OK now John Abbott

10:09 0.25 hour (Bug #1230 (Closed): PrimaryDecomposition with lex ordering)

Works now John Abbott

09:25 0.20 hour (Bug #1230 (Closed): PrimaryDecomposition with lex ordering)

Anna Maria Bigatti

06 Feb 2020

16:14 0.20 hour (Bug #1412 (Closed): Emacs UI: font size)

Some notes John Abbott