Activity - CoCoA - CoCoA Project

Activity

From 06 Feb 2020 to 06 Mar 2020

06 Mar 2020

19:35 CoCoA-5 0.20 hour (Bug #755 (Closed): Find out how to compile statically on linux): Then again... John Abbott
15:11 CoCoA-5 0.20 hour (Bug #755 (Closed): Find out how to compile statically on linux): Default linux version John Abbott
17:41 CoCoALib 4.00 hours (Feature #1434 (Closed): GBasisByHomog for DegLex): Anna Maria Bigatti
16:19 CoCoALib 0.15 hour (Feature #1395 (Closed): SHA checksum for released code): Delay release? John Abbott
15:48 CoCoALib 0.10 hour (Feature #1427 (Closed): New function: LawrenceMat): MatrixView? John Abbott
15:43 CoCoALib 0.10 hour (Feature #1427 (Closed): New function: LawrenceMat): Defn? John Abbott
15:39 CoCoALib 0.40 hour (Feature #1210 (Closed): New Fn: make public "coefficients" (of poly wrt a given PP basis)): Postponing John Abbott
12:23 CoCoA-5 0.20 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator): OK now John Abbott
12:05 CoCoA-5 0.40 hour (Bug #1438 (Closed): ABORT for unterminated string literal): OK now John Abbott
10:15 CoCoA-5 0.30 hour (Bug #1438 (Closed): ABORT for unterminated string literal): Found John Abbott

05 Mar 2020

22:56 CoCoA-5 0.75 hour (Bug #1438 (Closed): ABORT for unterminated string literal): Nightmare :-( John Abbott
16:42 CoCoA-5 0.10 hour (Bug #1438 (Closed): ABORT for unterminated string literal): Maybe John Abbott
12:03 CoCoA-5 0.20 hour (Bug #1303 (Rejected): Manual looking for "?"): Not harmful John Abbott
12:00 CoCoA-5 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 CoCoA-5 0.50 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator): Implemented John Abbott
17:00 CoCoA-5 0.25 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator): Slightly unfortunate John Abbott
22:30 CoCoA-5 0.20 hour (Support #1071 (In Progress): LinKerBasis is user-unfriendly): Needs improvement John Abbott
22:06 CoCoA-5 0.30 hour (Bug #660 (New): Emacs UI: endfunc does not indent the line): Clue city John Abbott
21:53 CoCoA-5 0.10 hour (Bug #660 (New): Emacs UI: endfunc does not indent the line): Confirmed John Abbott
21:48 CoCoA-5 0.10 hour (Support #1214 (Closed): CoCoAManual: ensure that LaTeX compilation is "clean"): Almost done? John Abbott
21:45 CoCoA-5 0.20 hour (Support #1298 (Closed): How can user find the indent command?): Improved doc John Abbott
21:33 CoCoA-5 0.10 hour (Support #557 (New): CoCoAManual: improve part on input/output): Currently John Abbott
21:31 CoCoA-5 0.10 hour (Feature #1174 (Closed): package of a function --> of an identifier!): Workaround John Abbott
21:28 CoCoA-5 0.20 hour (Bug #669 (New): NUL char in input terminates CoCoA-5): Source code John Abbott
21:19 CoCoA-5 0.10 hour (Bug #669 (New): NUL char in input terminates CoCoA-5): Some notes John Abbott
21:13 CoCoA-5 0.10 hour (Design #610 (Closed): Variable It: assign before or after printing): A note John Abbott
19:31 CoCoA-5 0.20 hour (Feature #1367 (Closed): CoCoA-5.3.0: release linked with more recent version of normaliz): Anna Maria Bigatti
19:29 CoCoA-5 0.20 hour (Feature #1373 (In Progress): GFan also for Microsoft?): Anna Maria Bigatti
19:09 CoCoA-5 0.10 hour (Design #997 (Closed): Using protected variable names for "bound variables" (e.g. for, try...endtry)): Agreed John Abbott
19:00 CoCoA-5 0.10 hour (Support #1404 (Closed): Which commands should "terms" be a keyword for?): Closing John Abbott
18:38 CoCoA-5 0.20 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made)): Anna Maria Bigatti
18:38 CoCoA-5 0.20 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made)): Anna Maria Bigatti
16:14 CoCoA-5 0.20 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made)): Out of date? John Abbott
15:59 CoCoA-5 0.20 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made)): Anna Maria Bigatti
15:49 CoCoA-5 0.25 hour (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made)): Uncertain John Abbott
18:20 CoCoALib 0.30 hour (Feature #1210 (Closed): New Fn: make public "coefficients" (of poly wrt a given PP basis)): Renamed John Abbott
17:15 CoCoALib 0.50 hour (Feature #1210 (Closed): New Fn: make public "coefficients" (of poly wrt a given PP basis)): Anna Maria Bigatti
16:26 CoCoA-5 0.10 hour (Bug #945 (Closed): Emacs UI: comint buffer silently truncates(?) long lines when sending): Already done John Abbott
15:41 CoCoA-5 0.25 hour (Feature #781 (Closed): Option to "fold" long lines?): OK John Abbott
15:31 CoCoA-5 0.75 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash): Conclusion John Abbott
15:20 CoCoA-5 0.50 hour (Bug #1412 (Closed): Emacs UI: font size): Clue city John Abbott
14:41 CoCoA-5 0.20 hour (Bug #1224 (Closed): Lexer: unclosed multi-line comment): Seems OK John Abbott
14:19 CoCoALib 1.00 hour (Bug #1416 (Closed): IdealOfProjectivePoints and MinGens): Anna Maria Bigatti

03 Mar 2020

22:23 CoCoA-5 0.50 hour (Bug #1412 (Closed): Emacs UI: font size): Improved John Abbott
22:20 CoCoA-5 0.20 hour (Feature #1372 (In Progress): New function: find ?): Possibly useful variant John Abbott
22:14 CoCoA-5 0.20 hour (Design #990 (Closed): CoCoA-5 distribution: tidying): Suggestion John Abbott
22:07 CoCoA-5 0.20 hour (Support #1404 (Closed): Which commands should "terms" be a keyword for?): Seems OK John Abbott
22:04 CoCoA-5 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 CoCoA-5 0.10 hour (Support #1398 (Closed): Website: hide/delete all the CoCoA-4 stuff?): Some notes John Abbott
21:51 CoCoALib 0.10 hour (Bug #1416 (Closed): IdealOfProjectivePoints and MinGens): Other functions? John Abbott
21:26 CoCoALib 0.60 hour (Bug #1426 (Closed): Main Makefile: does not rebuild dependencies): Found and fixed John Abbott
20:56 CoCoA-5 0.15 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash): Undecided John Abbott
14:48 CoCoA-5 0.75 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash): Emacs code seems to work John Abbott
14:10 CoCoA-5 0.15 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash): Emacs code John Abbott
13:56 CoCoA-5 1.00 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash): Seems to be impossible John Abbott
17:29 CoCoA-5 0.10 hour (Feature #1431 (Rejected): Juxtaposition of string literals): Source code John Abbott
15:14 CoCoA-5 0.40 hour (Feature #1431 (Rejected): Juxtaposition of string literals): Some notes John Abbott
11:54 CoCoA-5 0.20 hour (Bug #1224 (Closed): Lexer: unclosed multi-line comment): Surely... John Abbott

02 Mar 2020

22:32 CoCoA-5 0.20 hour (Support #692 (Rejected): Local variables hiding out ones at top level): Undecided John Abbott
22:10 CoCoA-5 0.15 hour (Support #448 (New): EmacsUI Source/SourceRegion produce warning on Microsoft Windows 7 Ultimate): Still a problem? John Abbott
22:05 CoCoA-5 0.20 hour (Feature #781 (Closed): Option to "fold" long lines?): Mostly done John Abbott
21:55 CoCoA-5 0.20 hour (Design #997 (Closed): Using protected variable names for "bound variables" (e.g. for, try...endtry)): Entertaining John Abbott
21:45 CoCoA-5 0.10 hour (Design #597 (New): Interpreter.C: remove calls to WrongTypeException): Huh? John Abbott
21:42 CoCoA-5 0.40 hour (Bug #1303 (Rejected): Manual looking for "?"): Some notes John Abbott
21:24 CoCoA-5 0.30 hour (Bug #1224 (Closed): Lexer: unclosed multi-line comment): Still a problem? John Abbott
21:11 CoCoA-5 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 CoCoA-5 0.25 hour (Bug #672 (Closed): Emacs UI: strange string literal causes crash): Another idea John Abbott
20:37 CoCoA-5 0.25 hour (Bug #669 (New): NUL char in input terminates CoCoA-5): Some notes John Abbott
15:40 CoCoA-5 0.20 hour (Bug #458 (Rejected): CoCoA5 GUI; failed build "wrong architecture"): Too old? John Abbott
15:03 CoCoA-5 2.00 hours (Slug #991 (Closed): make htmldoc always recreates everything (even if no change was made)): Already done John Abbott
14:04 CoCoA-5 0.20 hour (Support #1350 (New): CoCoA manual: entry for operators, shortcuts): Split or subsections John Abbott

28 Feb 2020

17:52 CoCoA-5 0.50 hour (Feature #1243 (Closed): New function: Read a string into a list (of RingElem) -- CoCoA-5): Anna Maria Bigatti
16:44 CoCoA-5 1.00 hour (Bug #1429 (New): Stack overflow reading long list (SEGV)): Some notes John Abbott
10:09 CoCoALib 3.50 hours (Feature #206 (In Progress): Matrix equation solving: LinKer): LinKerZZ John Abbott
10:06 CoCoALib 0.50 hour (Feature #1306 (In Progress): exgcd over integers (ZZ)): Needs improvement John Abbott

27 Feb 2020

21:05 CoCoALib 1.00 hour (Feature #1306 (In Progress): exgcd over integers (ZZ)): First proto John Abbott
18:37 CoCoALib 0.50 hour (Feature #1427 (Closed): New function: LawrenceMat): Anna Maria Bigatti
17:30 CoCoALib 0.50 hour (Feature #1427 (Closed): New function: LawrenceMat): Anna Maria Bigatti
18:04 CoCoALib 0.10 hour (Feature #206 (In Progress): Matrix equation solving: LinKer): Status? John Abbott
14:55 CoCoALib 1.50 hour (Feature #1210 (Closed): New Fn: make public "coefficients" (of poly wrt a given PP basis)): First impl (KISS) John Abbott
11:50 CoCoALib 0.50 hour (Feature #1197 (In Progress): IsZeroDet: new fn): Made a first impl John Abbott

26 Feb 2020

22:47 CoCoALib 0.20 hour (Bug #1426 (Closed): Main Makefile: does not rebuild dependencies): Some notes John Abbott
22:22 CoCoA-5 0.25 hour (Bug #1412 (Closed): Emacs UI: font size): More notes John Abbott
21:03 CoCoA-5 0.25 hour (Bug #1412 (Closed): Emacs UI: font size): Aha! John Abbott
20:40 CoCoA-5 0.20 hour (Bug #1412 (Closed): Emacs UI: font size): More notes John Abbott
17:18 CoCoA-5 2.00 hours (Support #1333 (Closed): Typevectors): Anna Maria Bigatti
16:59 CoCoA-5 0.20 hour (Support #1027 (Closed): CoCoAManual: add a page with some emacs hints?): Good enough John Abbott
16:50 CoCoA-5 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 CoCoA-5 0.10 hour (Feature #1289 (Closed): assert-function for cocoa5): John Abbott
16:31 CoCoA-5 0.20 hour (Bug #1420 (Closed): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT): Anna Maria Bigatti
16:27 CoCoA-5 0.10 hour (Bug #1421 (Closed): SEGV: error("")): John Abbott
16:24 CoCoA-5 0.75 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation): Checked John Abbott
15:25 CoCoA-5 0.50 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation): Almost done John Abbott
14:35 CoCoA-5 0.40 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation): Tidied John Abbott
13:28 CoCoA-5 0.15 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation): Source code John Abbott
12:12 CoCoA-5 0.25 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation): Another test case John Abbott
12:02 CoCoA-5 0.25 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation): Also for modules John Abbott
11:30 CoCoALib 0.20 hour (Design #1422 (In Progress): Remove flag IhaveGBasisValue?): To do John Abbott

25 Feb 2020

22:04 CoCoA-5 0.20 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation): Fixed John Abbott
21:58 CoCoA-5 0.20 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation): Location John Abbott
21:36 CoCoA-5 0.10 hour (Bug #1424 (Closed): 'UNCAUGHT UNKNOWN EXCEPTION' when aborting 'isin' computation): Confirmed John Abbott
17:50 CoCoALib 0.10 hour (Design #1422 (In Progress): Remove flag IhaveGBasisValue?): Some notes John Abbott
17:20 CoCoALib 0.20 hour (Bug #1423 (Closed): Radical 0-dim NYI? missing case for GBasisByHomog): Not new? John Abbott
16:24 CoCoA-5 0.50 hour (Bug #1420 (Closed): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT): Anna Maria Bigatti
16:07 CoCoA-5 0.50 hour (Bug #1420 (Closed): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT): Anna Maria Bigatti
11:16 CoCoA-5 0.15 hour (Support #1386 (Closed): IsIndetPosPower: behaviour and manual page): Manual John Abbott

24 Feb 2020

16:56 CoCoA-5 0.20 hour (Bug #1335 (Closed): ManExamples: some problems): Acceptable John Abbott

21 Feb 2020

20:23 CoCoALib 0.20 hour (Slug #1375 (Closed): Radical 0-dim: varied timings): Test cases John Abbott
14:18 CoCoA-5 0.25 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator): Executable John Abbott
14:16 CoCoA-5 1.00 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator): Status report John Abbott
13:01 CoCoA-5 0.20 hour (Feature #1415 (In Progress): thmproving package): Needs doc John Abbott
12:59 CoCoA-5 0.25 hour (Bug #1421 (Closed): SEGV: error("")): Simple impl John Abbott
12:44 CoCoA-5 0.50 hour (Bug #1421 (Closed): SEGV: error("")): Least worst John Abbott

20 Feb 2020

17:06 CoCoA-5 0.10 hour (Bug #1421 (Closed): SEGV: error("")): The source John Abbott
17:03 CoCoA-5 0.10 hour (Bug #1421 (Closed): SEGV: error("")): What happens John Abbott
16:58 CoCoA-5 0.20 hour (Support #1404 (Closed): Which commands should "terms" be a keyword for?): Current state John Abbott
16:53 CoCoA-5 0.10 hour (Bug #755 (Closed): Find out how to compile statically on linux): Or maybe... John Abbott
16:16 CoCoA-5 0.30 hour (Feature #1289 (Closed): assert-function for cocoa5): Checked John Abbott
10:02 CoCoA-5 0.10 hour (Feature #1289 (Closed): assert-function for cocoa5): Release? John Abbott
16:05 CoCoA-5 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 CoCoA-5 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 CoCoA-5 0.10 hour (Feature #1415 (In Progress): thmproving package): To do John Abbott
11:43 CoCoA-5 0.30 hour (Feature #1236 (Closed): Add "socket" devices): Closing John Abbott
11:29 CoCoA-5 0.10 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator): Hint John Abbott
11:27 CoCoA-5 0.10 hour (Feature #78 (In Progress): Elim ordering and matrix ordering in CoCoA-5): Too far away John Abbott

18 Feb 2020

12:35 CoCoALib 2.00 hours (Design #1346 (In Progress): C++14: use the new for loop syntax where appropriate (like cocoa's foreach)): Done some John Abbott
12:20 CoCoA-5 0.25 hour (Bug #1420 (Closed): IdealOfProjectivePoints and MinGens: problem with CoCoA_ASSERT): Some notes John Abbott

17 Feb 2020

18:15 CoCoALib 0.50 hour (Design #1346 (In Progress): C++14: use the new for loop syntax where appropriate (like cocoa's foreach)): Done some John Abbott
15:18 CoCoA-5 0.20 hour (Support #240 (Closed): GUI compilation: GMP is not naturally thread-safe): Out of date? John Abbott
15:10 CoCoA-5 0.30 hour (Bug #755 (Closed): Find out how to compile statically on linux): Proposal John Abbott
14:54 CoCoA-5 0.10 hour (Support #1387 (Closed): John's visit Feb 2020): Visit over John Abbott
14:51 CoCoA-5 0.50 hour (Feature #1316 (Closed): Matrix row reduction (rref)): Done John Abbott
13:59 CoCoA-5 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 CoCoA-5 0.20 hour (Support #177 (In Progress): CoCoAManual: General part of the documentation is obsolete: update? discard?): Postpone John Abbott
13:55 CoCoA-5 0.10 hour (Feature #1372 (In Progress): New function: find ?): Still prefer postponing John Abbott
12:29 CoCoALib 0.20 hour (Feature #1395 (Closed): SHA checksum for released code): Silly idea John Abbott

15 Feb 2020

23:52 CoCoA-5 0.25 hour (Bug #1335 (Closed): ManExamples: some problems): Current state John Abbott
23:44 CoCoALib 0.10 hour (Bug #1264 (Closed): Remove unnecessary files before making CoCoALib release TGZ files): Added link John Abbott
23:41 CoCoA-5 0.30 hour (Design #990 (Closed): CoCoA-5 distribution: tidying): TARGZ John Abbott
15:13 CoCoALib 0.20 hour (Slug #1375 (Closed): Radical 0-dim: varied timings): Also... John Abbott
10:42 CoCoALib 0.10 hour (Feature #1395 (Closed): SHA checksum for released code): Simple idea John Abbott
10:35 CoCoA-5 0.20 hour (Support #1393 (Feedback): GUI with Qt5): Did not have time John Abbott
10:34 CoCoA-5 0.10 hour (Support #1027 (Closed): CoCoAManual: add a page with some emacs hints?): Tutorial John Abbott
10:28 CoCoA-5 0.25 hour (Feature #1290 (Closed): NewPolyRing: allow symbols with just head and no indices?): Works now John Abbott
10:23 CoCoA-5 0.10 hour (Feature #1372 (In Progress): New function: find ?): Another question John Abbott

14 Feb 2020

17:35 CoCoA-5 0.20 hour (Feature #1372 (In Progress): New function: find ?): A delicate point John Abbott
17:27 CoCoA-5 0.50 hour (Support #1386 (Closed): IsIndetPosPower: behaviour and manual page): Done John Abbott
14:01 CoCoALib 0.50 hour (Design #1391 (Closed): RingElems: syntax with [ and ] ?): Anna Maria Bigatti
13:43 CoCoA-5 0.15 hour (Support #1400 (Closed): Title of manual entry: tutorial on operations on polynomials): Done John Abbott
13:26 CoCoALib 0.80 hour (Feature #91 (Closed): Return type & name for "indets" of a PP): Changed name John Abbott
11:01 CoCoALib 0.50 hour (Bug #1264 (Closed): Remove unnecessary files before making CoCoALib release TGZ files): Made progress John Abbott
10:58 CoCoALib 0.10 hour (Design #1409 (Closed): myTestIsPrimary & Co. : fix design): Seems OK John Abbott
10:53 CoCoA-5 0.10 hour (Support #1027 (Closed): CoCoAManual: add a page with some emacs hints?): For Vietnam? John Abbott
10:50 CoCoA-5 0.10 hour (Support #1312 (Closed): Wrong links on page about COCOA School in Sapporo): Remove link John Abbott
10:48 CoCoA-5 1.00 hour (Support #1312 (Closed): Wrong links on page about COCOA School in Sapporo): Too late John Abbott
10:49 CoCoA-5 0.20 hour (Support #1315 (Closed): Manual entry about reporting bugs?): Anna Maria Bigatti
10:21 CoCoALib 0.75 hour (Feature #966 (Closed): New function or explain: first and last for a vector?): Revised John Abbott
09:22 CoCoA-5 0.25 hour (Bug #519 (Closed): GUI: fix DEFINES in makefile): Too old John Abbott
09:18 CoCoALib 0.30 hour (Bug #1416 (Closed): IdealOfProjectivePoints and MinGens): Some notes John Abbott
09:08 CoCoA-5 0.25 hour (Support #1344 (Rejected): Clean out OBSOLESCENT): Now Anna's responsibility John Abbott

13 Feb 2020

17:46 CoCoALib 0.40 hour (Feature #91 (Closed): Return type & name for "indets" of a PP): Already done John Abbott
17:22 CoCoA-5 0.20 hour (Feature #1401 (Closed): Parolacce e basi border): R John Abbott
17:17 CoCoA-5 0.40 hour (Support #1318 (Closed): Clean CoCoA-5/tests directory): Done John Abbott
16:39 CoCoA-5 0.15 hour (Feature #673 (Closed): Error message: I was expecting...): Seems OK John Abbott
16:37 CoCoA-5 0.10 hour (Feature #1364 (Closed): Emacs UI: start cocoa5 with system command enabled): Done John Abbott
16:30 CoCoA-5 0.15 hour (Feature #1374 (Closed): Add function power to CoCoA-5): Appease John Abbott
16:21 CoCoALib 1.00 hour (Design #1346 (In Progress): C++14: use the new for loop syntax where appropriate (like cocoa's foreach)): Anna Maria Bigatti
16:08 CoCoA-5 0.20 hour (Design #474 (In Progress): Eliminate package BinRepr): Postpone John Abbott
16:04 CoCoA-5 0.10 hour (Bug #946 (Resolved): Function "ideal" evaluates the argument twice): C++14? John Abbott
15:50 CoCoA-5 0.20 hour (Bug #1286 (Closed): Website: trouble with the world map): Still a problem John Abbott
15:40 CoCoA-5 0.50 hour (Feature #1410 (Closed): IsDivisible also for INT): Anna Maria Bigatti
10:19 CoCoA-5 1.00 hour (Feature #1410 (Closed): IsDivisible also for INT): Anna Maria Bigatti
15:36 CoCoA-5 1.00 hour (Feature #1399 (Closed): CoCoA-5 interpreter: idle/busy indicator): Partly done John Abbott
15:29 CoCoA-5 2.50 hours (Feature #1415 (In Progress): thmproving package): Code ported John Abbott
15:09 CoCoALib 0.50 hour (Feature #658 (Closed): Indets actually in a poly (or vector or matrix)): Done. John Abbott
14:24 CoCoALib 0.40 hour (Feature #658 (Closed): Indets actually in a poly (or vector or matrix)): New design John Abbott
14:08 CoCoALib 0.10 hour (Feature #1395 (Closed): SHA checksum for released code): Anna has shasum John Abbott
14:04 CoCoA-5 0.10 hour (Bug #1412 (Closed): Emacs UI: font size): Reference John Abbott
14:03 CoCoA-5 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
11:12 CoCoALib 0.20 hour (Support #26 (In Progress): Redmine Administration): Explicit notes John Abbott
11:06 CoCoALib 0.15 hour (Support #1353 (Closed): configure script help): Acceptable John Abbott
10:30 CoCoALib 0.25 hour (Bug #935 (Closed): ElimMat, ElimHomogMat: complain about zero or negative weights): OK now? John Abbott
10:09 CoCoA-5 0.25 hour (Bug #1230 (Closed): PrimaryDecomposition with lex ordering): Works now John Abbott
09:25 CoCoA-5 0.20 hour (Bug #1230 (Closed): PrimaryDecomposition with lex ordering): Anna Maria Bigatti

12 Feb 2020

18:14 CoCoALib 0.50 hour (Bug #1362 (Closed): GBasis verbose mode: some output is on cerr/clog): Anna Maria Bigatti
16:35 CoCoALib 0.20 hour (Design #854 (Closed): Function MakeTermOrd should be renamed MakeTermOrdMat?): Postpone John Abbott
16:28 CoCoALib 0.20 hour (Support #613 (Closed): Which ubuntu / debian packages are needed to compile CoCoA): Postpone John Abbott
16:16 CoCoALib 0.20 hour (Bug #1260 (Closed): Fix file permissions after using CVS): When? John Abbott
16:11 CoCoALib 0.20 hour (Design #1326 (Closed): Modify function myElim so that it returns ideal? (not quite)): My preference John Abbott
15:57 CoCoALib 0.20 hour (Design #1366 (Closed): Should configure remove the file ERR_MESGS if it’s empty?): Seems OK John Abbott
15:49 CoCoALib 0.20 hour (Design #1184 (Closed): should BeginIter(RingElem) be in SparsePolyIter or in SparsePolyOps-RingElem?): Anna Maria Bigatti
15:49 CoCoALib 0.40 hour (Support #1263 (Resolved): Tidy CoCoALib test directory): Condensed some test-bugs John Abbott
15:26 CoCoALib 0.10 hour (Feature #1277 (Closed): Gaussian row reduction): New tests John Abbott
15:17 CoCoALib 0.50 hour (Feature #1277 (Closed): Gaussian row reduction): Doc John Abbott
15:00 CoCoALib 0.20 hour (Bug #2 (Closed): Makefile problem in ROOT and/or src/AlgebraicCore): Maybe solved John Abbott
14:46 CoCoALib 0.40 hour (Bug #2 (Closed): Makefile problem in ROOT and/or src/AlgebraicCore): Bad idea! John Abbott
14:51 CoCoALib 0.20 hour (Design #1414 (In Progress): Make class RingElemVector?): Anna Maria Bigatti
14:43 CoCoALib 0.20 hour (Feature #357 (Rejected): Constructor for vectors? CoCoAVector): Anna Maria Bigatti
08:48 CoCoALib 2.00 hours (Design #1409 (Closed): myTestIsPrimary & Co. : fix design): Anna Maria Bigatti
08:43 CoCoALib 2.00 hours (Design #1409 (Closed): myTestIsPrimary & Co. : fix design): Anna Maria Bigatti

11 Feb 2020

18:33 CoCoALib 0.25 hour (Bug #1402 (Closed): gfan: installation problem: configure reports cdd.h present but cannot be compiled): Seems to be harmless John Abbott
18:31 CoCoALib 1.00 hour (Design #1346 (In Progress): C++14: use the new for loop syntax where appropriate (like cocoa's foreach)): Anna Maria Bigatti
18:28 CoCoALib 4.00 hours (Bug #1308 (Closed): test-GFan1 fails): Resolved now John Abbott
18:09 CoCoALib 0.25 hour (Bug #1362 (Closed): GBasis verbose mode: some output is on cerr/clog): Done John Abbott
18:07 CoCoALib 2.25 hours (Slug #969 (Closed): Output to bad stream (operator<< and myOutput): just return immediately): Also mem fns John Abbott
13:13 CoCoALib 0.25 hour (Design #1413 (Closed): configure script: MODE option obsolete?): Removed obsolete option John Abbott
12:22 CoCoALib 0.10 hour (Bug #1319 (Closed): Problem rebuilding dependencies when file PREPROCESSOR_DEFNS.H does not exist): John Abbott
12:09 CoCoALib 0.80 hour (Design #1377 (Closed): CpuTimeLimit: limit "intervals" between full checks): Closing John Abbott

07 Feb 2020

12:19 CoCoALib 0.25 hour (Slug #1394 (Resolved): Oddly slow GBasis computation (slow final cleanup)): Another example John Abbott

06 Feb 2020

16:14 CoCoA-5 0.20 hour (Bug #1412 (Closed): Emacs UI: font size): Some notes John Abbott

Also available in: Atom