CoCoA » CoCoALib

Today

17:54 Design #427: Error names and error messages (current design)

Anna Maria Bigatti wrote:
> "BLAH must be at least 2 and fit into a long" or "BLAH must be at least 2".
> I think w... Anna Maria Bigatti

17:14 Design #427: Error names and error messages (current design)

I've changed some more Not into Req.
I removed @ModulusLT2@ because unused.
There is @BadModulus@ ("Modulus must ... Anna Maria Bigatti

11:17 Feature #92: Error Codes: BadIndex

In *MatrixView* Bad(RC)Index is used to indicate repeated index.
I have removed BadIntedIndex, BadDegIndex, BadCo... Anna Maria Bigatti

02 Jul 2024

21:45 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

10:38 Feature #92: Error Codes: BadIndex

Now I'm less inclined to rename "BadIndex".
However, I've just noticed that we have some relatives: e.g. "BadIndetIn... Anna Maria Bigatti

17:08 Design #427: Error names and error messages (current design)

Changed Not... into
ReqNonNegative, ReqNonNegativeGrading, ReqPositive, ReqPositiveGrading
and quite a few
@CoCo... Anna Maria Bigatti

17:07 Design #308: Error: ERR::NotNonZero instead of ERR::ZeroRingElem? [--> ReqNonZero]

> > JAA thinks that @LogZero@ should be merged with @NotNonZero@.
done Anna Maria Bigatti

11:33 Design #308: Error: ERR::NotNonZero instead of ERR::ZeroRingElem? [--> ReqNonZero]

John Abbott wrote:
> All CoCoALib errors which refer to zero are:
> *@BadPwrZero, DivByZero, LogZero, MemPoolZero, ... Anna Maria Bigatti

11:01 Design #308: Error: ERR::NotNonZero instead of ERR::ZeroRingElem? [--> ReqNonZero]

The current decision is for *ReqNonZero*.
Moreover, similarly as *BadIndex*, I suggest grouping the similar errors a... Anna Maria Bigatti

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