Activity - CoCoA-5 - CoCoA Project

Activity

From 29 Jan 2020 to 27 Feb 2020

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

05 Feb 2020

22:48 0.20 hour (Bug #1412 (Closed): Emacs UI: font size): Anna Maria Bigatti
14:12 0.50 hour (Feature #1236 (Closed): Add "socket" devices): Documentation is better now John Abbott

04 Feb 2020

13:35 0.50 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator): Update John Abbott

03 Feb 2020

17:47 0.50 hour (Bug #1408 (Closed): CoCoAManual - tex: error if syntax is missing): Anna Maria Bigatti
15:08 0.10 hour (Bug #1408 (Closed): CoCoAManual - tex: error if syntax is missing): OK for me John Abbott
11:32 1.00 hour (Bug #1408 (Closed): CoCoAManual - tex: error if syntax is missing): Anna Maria Bigatti
16:03 0.20 hour (Feature #1410 (Closed): IsDivisible also for INT): Two cases John Abbott
13:42 0.25 hour (Feature #1410 (Closed): IsDivisible also for INT): Some notes John Abbott

31 Jan 2020

13:57 1.00 hour (Design #1407 (Closed): Tagged values (Hilbert Series)): Anna Maria Bigatti

Also available in: Atom