CoCoA » CoCoA-5

20 Mar 2020

13:21 0.20 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)

Test results John Abbott

12:57 0.10 hour (Support #1445 (New): Automatic way to produce statically linked CoCoAInterpreter)

Important John Abbott

12:54 0.10 hour (Support #1447 (Closed): Manual entry for RandomLinearForm)

Small update John Abbott

12:35 0.20 hour (Support #1447 (Closed): Manual entry for RandomLinearForm)

Some notes John Abbott

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

OK now? John Abbott

12:22 0.20 hour (Bug #1443 (Closed): Illegal instruction)

Delayed John Abbott

12:18 0.25 hour (Bug #755 (Closed): Find out how to compile statically on linux)

Closing John Abbott

14 Mar 2020

21:46 1.50 hour (Bug #1443 (Closed): Illegal instruction)

Annoying John Abbott

20:29 0.30 hour (Bug #1443 (Closed): Illegal instruction)

Seems to be GMP John Abbott

12:08 0.20 hour (Support #1222 (Closed): Release CoCoA-5.3.0)

SURPRISE! John Abbott

12 Mar 2020

22:17 0.30 hour (Bug #1442 (Closed): CoCoAInterpreter: executable size)

Closing John Abbott

13:36 0.25 hour (Bug #1442 (Closed): CoCoAInterpreter: executable size)

Seems OK now John Abbott

15:55 0.20 hour (Bug #1443 (Closed): Illegal instruction)

Uh oh John Abbott

15:40 0.20 hour (Bug #1443 (Closed): Illegal instruction)

Maybe... John Abbott

15:33 0.20 hour (Bug #1443 (Closed): Illegal instruction)

Oh John Abbott

11 Mar 2020

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

No one cares John Abbott

21:28 0.20 hour (Design #1348 (Closed): cocoa5 script for releases)

Ooops! John Abbott

18:18 0.10 hour (Feature #1439 (Closed): New function: LinearForm)

Added doc John Abbott

18:14 2.00 hours (Feature #1439 (Closed): New function: LinearForm)

Impl'd John Abbott

16:20 0.10 hour (Feature #1439 (Closed): New function: LinearForm)

Name? John Abbott

13:47 0.40 hour (Feature #1439 (Closed): New function: LinearForm)

In C++ John Abbott

14:06 0.20 hour (Support #322 (In Progress): Installation instructions (on website))

LINUX John Abbott

13:40 0.10 hour (Support #322 (In Progress): Installation instructions (on website))

Clearer John Abbott

12:25 0.50 hour (Support #322 (In Progress): Installation instructions (on website))

Anna Maria Bigatti

12:27 0.10 hour (Bug #1443 (Closed): Illegal instruction)

Waiting for Feedback? John Abbott

10 Mar 2020

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

How to find where a static library is John Abbott

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

More details John Abbott

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

Static library for tinfo (needed by readline) John Abbott

15:07 0.20 hour (Bug #1442 (Closed): CoCoAInterpreter: executable size)

Strip John Abbott

12:37 0.20 hour (Bug #1442 (Closed): CoCoAInterpreter: executable size)

What to do? John Abbott

11:09 0.25 hour (Bug #1442 (Closed): CoCoAInterpreter: executable size)

Clue city John Abbott

14:08 0.10 hour (Bug #1443 (Closed): Illegal instruction)

Flag John Abbott

14:02 0.50 hour (Bug #1443 (Closed): Illegal instruction)

Puzzled John Abbott

13:15 0.30 hour (Support #322 (In Progress): Installation instructions (on website))

Microsoft John Abbott

09 Mar 2020

16:52 0.20 hour (Feature #1439 (Closed): New function: LinearForm)

Anna Maria Bigatti

15:36 0.10 hour (Feature #1439 (Closed): New function: LinearForm)

Homog compts? John Abbott

15:56 0.20 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)

Mac release John Abbott

13:51 2.00 hours (Design #990 (Closed): CoCoA-5 distribution: tidying)

Anna Maria Bigatti

11:31 0.50 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)

Anna Maria Bigatti

15:34 0.10 hour (Slug #948 (Closed): radical is slow (compared to singular) on these examples)

Postponing John Abbott

15:28 0.10 hour (Bug #1438 (Closed): ABORT for unterminated string literal)

Seems OK now John Abbott

13:18 1.00 hour (Support #1258 (Closed): Manual page for CantStop)

Anna Maria Bigatti

10:26 0.20 hour (Support #1222 (Closed): Release CoCoA-5.3.0)

Anna Maria Bigatti

08 Mar 2020

09:24 0.20 hour (Support #1440 (New): Surprising parser error: INT+DOT+IDENTIFIER)

Some notes John Abbott

07 Mar 2020

11:20 0.50 hour (Feature #1439 (Closed): New function: LinearForm)

Anna Maria Bigatti

09:21 0.20 hour (Feature #1439 (Closed): New function: LinearForm)

Anna Maria Bigatti

09:17 1.50 hour (Feature #1439 (Closed): New function: LinearForm)

Anna Maria Bigatti

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