Project

General

Profile

Activity

From 31 May 2024 to 29 Jun 2024

27 Jun 2024

21:28 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 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 Feature #385: Design new errors using inheritance
Has this been _urgent_ for the past 11 years? Oops! John Abbott
20:09 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

19 Jun 2024

21:08 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
20:56 Bug #1371: French students' example with GFan
The simplest matrix which works (that I have found so far) is;... John Abbott
20:23 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:20 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
19:42 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:37 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 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

17 Jun 2024

13:51 Feature #1676: txt2tags: include in source distribution?
minor update: I'm now using txt2tags.py a more recent version that the plain 2.6 I used to have.
I modified my doc/...
Anna Maria Bigatti

13 Jun 2024

17:51 Design #1744: Implement GBMill (aka Groebner Framework)
Work in simplifying the code (and comparing with benchmarks):
I removed @myComponent@ and @myLPPForDivwMask@ from ...
Anna Maria Bigatti

12 Jun 2024

08:12 Feature #1667: GBasis over ZZ: port to CoCoALib
John Abbott wrote:
> Florian will finish his PhD this summer, and then start a real job. He says he does not need t...
Anna Maria Bigatti

11 Jun 2024

15:05 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 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

31 May 2024

17:07 Feature #1743: Implement Truncated GBases for homogeneous input
John Abbott wrote:
> Is it worth putting the ex-bug (mentioned in comment 6 above) as a genuine exbug test?
hmmm,...
Anna Maria Bigatti
09:42 Feature #1743: Implement Truncated GBases for homogeneous input
Is it worth putting the ex-bug (mentioned in comment 6 above) as a genuine exbug test?
John Abbott
09:40 Feature #1742: MinGens could be faster
Could we put here a couple of test cases?
I think the "fancy" phrase is "regression testing": make sure the some fut...
John Abbott
 

Also available in: Atom