CoCoA » CoCoALib

31 Oct 2023

11:23 Design #871: Redesign ideals

Original issue about the design of the ideal class: here we collect the many aspects we should consider for the final... Anna Maria Bigatti

11:19 Design #1767 (In Progress): Finalize design for ideals in CoCoALib

Some functions for ideals are internally implemented changing the given ideal and *returning void*: @myAdd@, @myMul@,... Anna Maria Bigatti

23 Oct 2023

20:41 Feature #718: Insert calls to CheckForInterrupt

I have made @inverse@ interruptible (@DetByGauss@). I suppose we should also make a @DetByCRT@ at some point?
John Abbott

12:05 Feature #718: Insert calls to CheckForInterrupt

Make matrix *@inverse@* interruptible (at least for matrices over @ZZ@).
Example: @inverse(RandomUnimodularMat(ZZ,5... John Abbott

07 Oct 2023

10:27 Bug #1764 (In Progress): Verbosity messages: avoid printing BIG values

We should ensure that verbosity messages never try to print BIG values.
I'm trying to compute the radical of a lar... John Abbott

06 Oct 2023

12:23 Slug #1756: deg(f) is slow if f is long

We could have, instead of *IsStdGraded* a function *IsStdGradedCompatible*, better for an ordering.
Then, @deg(f)@ ... Anna Maria Bigatti

05 Oct 2023

20:17 Slug #1756: deg(f) is slow if f is long

*ANNA!* I'd like to discuss the last comment above
John Abbott

03 Oct 2023

19:14 Slug #1757: gcd(f,f) is slow

I have just tried computing @RootBound(f)@. It is taking ages :-( [about 360s]
No doubt the problem is that it tak... John Abbott

18:54 Slug #1756: deg(f) is slow if f is long

What do we want to do if the OrdMat has a first row being all the same but not equal to 1?
The grading is StdDeg com... John Abbott

18:38 Slug #1756 (In Progress): deg(f) is slow if f is long

I think I have mostly solved this issue now. Anna had already added a *@IsStdGraded@* function in 2013. I have modi... John Abbott

17:10 Bug #1758: Graeffe "sign bug"

A reasonable solution could be to define @GraeffeN(f,n)@ to be the same as @resultant(f(y), y-x^n)@.
This would then... John Abbott

17:05 Feature #1763: implement ideal(R) for zero ideal, with no generators?

In comment 1 I used *@EmptyList@*; in comment 2 I used *@NoGens@*
I think I dislike @EmptyList@ because it is rather... John Abbott

14:36 Support #1761 (In Progress): MakeTermOrdMat: improve error mesg

Now the behaviour is as follows:... John Abbott