CoCoA Project

02 Jul 2024

17:10 CoCoALib 3.00 hours (Design #427 (In Progress): Error names and error messages (current design))

Anna Maria Bigatti

17:08 CoCoALib 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 CoCoALib 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 CoCoALib 1.00 hour (Design #308 (In Progress): Error: ERR::NotNonZero instead of ERR::ZeroRingElem? [--> ReqNonZero])

Anna Maria Bigatti

11:33 CoCoALib 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 CoCoALib 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

10:38 CoCoALib 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

10:30 CoCoA-5 Bug #1823 (Feedback): function "insert" should allow appending

Anna Maria Bigatti

01 Jul 2024

19:00 CoCoA-5 Bug #1823: function "insert" should allow appending

The function actually implementing this calls @insertValue@ which calls @insert@ (in @Interpreter.C@).
So I just had... Anna Maria Bigatti

19:00 CoCoA-5 0.50 hour (Bug #1823 (Feedback): function "insert" should allow appending)

Anna Maria Bigatti

18:14 CoCoA-5 Bug #1823 (Feedback): function "insert" should allow appending

I was surprised at this -- obviously we haven't used @insert@ much ;-)... Anna Maria Bigatti

17 Jun 2024

13:51 CoCoALib 1.00 hour (Feature #1676 (Rejected): txt2tags: include in source distribution?)

trying to make it work on my new MacOS Anna Maria Bigatti

13:51 CoCoALib 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 CoCoALib 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

17:51 CoCoALib 3.00 hours (Design #1744 (In Progress): Implement GBMill (aka Groebner Framework))

Anna Maria Bigatti

10:36 CoCoA-5 Feature #1822 (In Progress): Recover old benchmarks for GBasis

I recovered the list and converted it in cocoa5.
Now we have BenchmarkSrc.cocoa5 (with the examples)
and Benc... Anna Maria Bigatti

10:36 CoCoA-5 6.00 hours (Feature #1822 (In Progress): Recover old benchmarks for GBasis)

Anna Maria Bigatti

10:32 CoCoA-5 Feature #1822 (In Progress): Recover old benchmarks for GBasis

A long long time ago, when working on the first prototypes for GBasis in CoCoALib, we used some benchmarks.
Recover ... Anna Maria Bigatti

09:45 CoCoA-5 0.50 hour (Feature #1821 (Feedback): AsINT, AsRAT could also take a STRING)

Anna Maria Bigatti

09:45 CoCoA-5 Feature #1821 (Feedback): AsINT, AsRAT could also take a STRING

(In NotBuiltin.cpkg)
Read the string as RingElem in QQ, then call AsINT/RAT for RingElem.
This is slower then the a... Anna Maria Bigatti

09:33 CoCoA-5 Feature #1821 (Feedback): AsINT, AsRAT could also take a STRING

I would find it handy to have AsINT, AsRAT.
There is a trivial implementation I can do. Anna Maria Bigatti

08:32 CoCoA-5 Bug #1820 (New): Manual: why doesn't "?Commands and Functions for STRING" show the function RingElem?

Withing CoCoA-5 (TeX and html version are OK)
this is the list I get for ? Commands and Functions for STRING: Ri... Anna Maria Bigatti

12 Jun 2024

08:12 CoCoALib 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