CoCoA Project

02 Jul 2024

21:45 CoCoALib 0.25 hour (Feature #92 (In Progress): Error Codes: BadIndex)

Naming John Abbott

21:45 CoCoALib Feature #92: Error Codes: BadIndex

*@BadIndex@* is fine; while *@IndexOutOfRange@* is slightly more descriptive, it is harder to read and not really any... John Abbott

27 Jun 2024

21:28 CoCoALib 0.40 hour (Feature #743 (In Progress): Better errors: give supplementary info about the error)

Suggestion John Abbott

21:28 CoCoALib Feature #743: Better errors: give supplementary info about the error

This has been _urgent_ for at least 7 years... oops!
Anna's suggestions in comments 21 and 22 are good (and also K... John Abbott

21:10 CoCoALib 0.50 hour (Feature #385 (In Progress): Design new errors using inheritance)

Making progress John Abbott

21:10 CoCoALib Feature #385: Design new errors using inheritance

I have just read through all the comments above. The suggestion in comment 14 looks to be a very good start -- I can... John Abbott

20:04 CoCoALib 0.20 hour (Feature #385 (In Progress): Design new errors using inheritance)

How urgent? John Abbott

20:04 CoCoALib Feature #385: Design new errors using inheritance

Has this been _urgent_ for the past 11 years? Oops! John Abbott

20:09 CoCoALib Design #1807 (In Progress): Error codes: "Not..." for "blah must be ..." -- change prefix

Anna proposed this about 3 months ago. We spoke today by phone.
It is reasonable to change the _internal error code... John Abbott

20:09 CoCoALib 0.25 hour (Design #1807 (In Progress): Error codes: "Not..." for "blah must be ..." -- change prefix)

OK John Abbott

19 Jun 2024

21:08 CoCoALib Slug #1049: GroebnerFan: slow examples

I confirm 9.8s on my linux laptop with a fresh CoCoA (5.4.1x)
I also tried with coeffs in @ZZ/(32003)@ and the tim... John Abbott

21:08 CoCoALib 0.10 hour (Slug #1049 (In Progress): GroebnerFan: slow examples)

Timing John Abbott

21:02 CoCoA-5 Design #984 (In Progress): GroebnerFanIdeals: order matrices sometimes have "large" entries

Here are some examples I computed a while ago -- don't remember when, but I found the file recently.... John Abbott

21:02 CoCoA-5 0.50 hour (Design #984 (In Progress): GroebnerFanIdeals: order matrices sometimes have "large" entries)

Some examples John Abbott

20:56 CoCoALib 0.25 hour (Bug #1371 (In Progress): French students' example with GFan)

Simpler matrix John Abbott

20:56 CoCoALib Bug #1371: French students' example with GFan

The simplest matrix which works (that I have found so far) is;... John Abbott

20:23 CoCoALib Feature #1817: OSCAR/MaRDI JSON interface

Ah well. Nearly 4 weeks later I think the doc for the MaRDI-JSON format is much better now, and the prototype in C++... John Abbott

20:23 CoCoALib 7.00 hours (Feature #1817 (In Progress): OSCAR/MaRDI JSON interface)

Progressing John Abbott

20:20 CoCoALib Design #1689: Automatic mapping of RHS in += etc

I have implemented the short-cuts for @op*=@ and @op/=@. All tests pass.
One minus point... here is the (simpler)... John Abbott

20:20 CoCoALib 0.25 hour (Design #1689 (Closed): Automatic mapping of RHS in += etc)

Short-cut John Abbott

19:42 CoCoALib Bug #1705: ProgressReporter: prepare for new loop?

We should arrange to share code between *@ProgressReporter@* and *@CpuTimeout@*.
They both monitor the passage of ti... John Abbott

19:42 CoCoALib 0.10 hour (Bug #1705 (In Progress): ProgressReporter: prepare for new loop?)

Share with CpuTimeout John Abbott

19:37 CoCoALib 0.10 hour (Feature #1667 (In Progress): GBasis over ZZ: port to CoCoALib)

Monomials John Abbott

19:37 CoCoALib Feature #1667: GBasis over ZZ: port to CoCoALib

I am not sure exatly how the algorithm works, but do believe that it is important to handle monomial reducers special... John Abbott

19:35 CoCoALib Feature #1676: txt2tags: include in source distribution?

Back in March (2024) I made a new script for releasing the source with documentation: *@release-source-with-doc.sh@*
... John Abbott

19:35 CoCoALib 0.20 hour (Feature #1676 (Rejected): txt2tags: include in source distribution?)

Just a note John Abbott

11 Jun 2024

15:05 CoCoALib 0.20 hour (Feature #1667 (In Progress): GBasis over ZZ: port to CoCoALib)

Florian John Abbott

15:05 CoCoALib Feature #1667: GBasis over ZZ: port to CoCoALib

Florian will finish his PhD this summer, and then start a real job. He says he does not need to be named as a co-aut... John Abbott

09 Jun 2024

21:54 CoCoALib Bug #1705: ProgressReporter: prepare for new loop?

I have changed the name to *@myReset@* as Anna suggested. I have made the analogous change to *@CpuTimeOut@*, which ... John Abbott

21:54 CoCoALib 0.40 hour (Bug #1705 (In Progress): ProgressReporter: prepare for new loop?)

Changed name John Abbott