CoCoA Project

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

05 Feb 2020

22:48 CoCoA-5 0.20 hour (Bug #1412 (Closed): Emacs UI: font size)

Anna Maria Bigatti

14:12 CoCoA-5 0.50 hour (Feature #1236 (Closed): Add "socket" devices)

Documentation is better now John Abbott

13:35 CoCoALib 0.10 hour (Design #1409 (Closed): myTestIsPrimary & Co. : fix design)

I like it John Abbott

04 Feb 2020

13:48 CoCoALib 0.20 hour (Feature #1395 (Closed): SHA checksum for released code)

Stop being naughty John Abbott

13:38 CoCoALib 0.20 hour (Design #1409 (Closed): myTestIsPrimary & Co. : fix design)

Design John Abbott

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

Update John Abbott

03 Feb 2020

17:47 CoCoA-5 0.50 hour (Bug #1408 (Closed): CoCoAManual - tex: error if syntax is missing)

Anna Maria Bigatti

15:08 CoCoA-5 0.10 hour (Bug #1408 (Closed): CoCoAManual - tex: error if syntax is missing)

OK for me John Abbott

11:32 CoCoA-5 1.00 hour (Bug #1408 (Closed): CoCoAManual - tex: error if syntax is missing)

Anna Maria Bigatti

16:03 CoCoA-5 0.20 hour (Feature #1410 (Closed): IsDivisible also for INT)

Two cases John Abbott

13:42 CoCoA-5 0.25 hour (Feature #1410 (Closed): IsDivisible also for INT)

Some notes John Abbott

15:42 CoCoALib 0.20 hour (Bug #1411 (Closed): IsPrimary sometimes wrong)

Duplicate John Abbott

14:43 CoCoALib 1.00 hour (Bug #1411 (Closed): IsPrimary sometimes wrong)

OK now John Abbott

15:39 CoCoALib 0.20 hour (Design #1409 (Closed): myTestIsPrimary & Co. : fix design)

Ooops! John Abbott

12:58 CoCoALib 2.00 hours (Design #1409 (Closed): myTestIsPrimary & Co. : fix design)

Anna Maria Bigatti

31 Jan 2020

13:57 CoCoA-5 1.00 hour (Design #1407 (Closed): Tagged values (Hilbert Series))

Anna Maria Bigatti

10:29 CoCoALib 0.10 hour (Feature #1395 (Closed): SHA checksum for released code)

GPG John Abbott

29 Jan 2020

22:24 CoCoALib 0.50 hour (Bug #986 (In Progress): GFan: require version newer than 0.6)

Possible soln John Abbott

12:07 CoCoALib 0.25 hour (Feature #1395 (Closed): SHA checksum for released code)

Other possibilities John Abbott

28 Jan 2020

15:46 CoCoALib 0.20 hour (Feature #1405 (Closed): New fn: interreduction)

Some notes John Abbott

15:45 CoCoALib 0.20 hour (Feature #1405 (Closed): New fn: interreduction)

Some notes John Abbott

14:41 CoCoA-5 0.20 hour (Support #1404 (Closed): Which commands should "terms" be a keyword for?)

One possibility John Abbott

11:57 CoCoA-5 0.75 hour (Design #476 (In Progress): Review utility of package IO)

fold function John Abbott

10:54 CoCoA-5 0.50 hour (Bug #713 (Closed): External libs: interrupting not easy)

Acceptable John Abbott

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

Soon John Abbott

27 Jan 2020

18:03 CoCoALib 0.10 hour (Support #613 (Closed): Which ubuntu / debian packages are needed to compile CoCoA)

Release notes John Abbott

17:58 CoCoALib 0.10 hour (Feature #4 (Rejected): Squarefree GCD-free basis)

Reject John Abbott

17:55 CoCoALib 0.20 hour (Bug #2 (Closed): Makefile problem in ROOT and/or src/AlgebraicCore)

Dunno John Abbott

17:48 CoCoALib 0.10 hour (Design #854 (Closed): Function MakeTermOrd should be renamed MakeTermOrdMat?)

Done? John Abbott

17:43 CoCoALib 0.10 hour (Bug #736 (Closed): QuotientRing: is it correct to prohibit quotient by ideal(1)?)

Already done John Abbott

17:35 CoCoALib 0.20 hour (Slug #722 (Closed): valuation slow for large inputs)

Timings John Abbott

17:30 CoCoALib 0.20 hour (Support #256 (Closed): Improve doc about ordering/grading for poly rings)

Progress? John Abbott

15:40 CoCoALib 0.25 hour (Support #618 (Closed): Instructions for compiling libnormaliz)

Current state John Abbott

15:32 CoCoALib 0.10 hour (Design #769 (In Progress): CoCoALib cone)

Still relevant? John Abbott

15:25 CoCoALib 0.25 hour (Design #932 (Closed): CoCoALib configuration: BOOST dependency)

No longer relevant John Abbott