CoCoA » CoCoA-5

26 Mar 2020

11:40 0.10 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)

Postpone? John Abbott

11:38 0.30 hour (Design #990 (Closed): CoCoA-5 distribution: tidying)

What I did for CoCoALib John Abbott

24 Mar 2020

22:37 2.50 hours (Support #1222 (Closed): Release CoCoA-5.3.0)

Anna Maria Bigatti

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 (Closed): 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