CoCoA Project

01 Mar 2024

18:40 CoCoALib Slug #1569 (Closed): IsInRadical too slow (test-RadicalMembership)

Anna Maria Bigatti

18:38 CoCoALib Slug #1569: IsInRadical too slow (test-RadicalMembership)

Anna Maria Bigatti wrote:
> Implement special version for monomial ideals
Moved to issue #1786 Anna Maria Bigatti

17:12 CoCoALib Slug #1569: IsInRadical too slow (test-RadicalMembership)

Anna Maria Bigatti wrote:
> There is a slow test in test-RadicalMembership1 which is slower than the others and ver... Anna Maria Bigatti

09:44 CoCoALib Slug #1569: IsInRadical too slow (test-RadicalMembership)

There is a slow test in test-RadicalMembership1 which is slower than the others and very slow with debugging on (20m... Anna Maria Bigatti

18:37 CoCoALib Feature #1786 (New): Add new function for IsInRadical for monomial ideals? (RadicalMembership)

A monomial version could be quite a bit faster than the general code.
But is this really needed?
Consider calling @... Anna Maria Bigatti

14:57 CoCoALib Slug #1739 (Closed): IsHomog for ideals

Anna Maria Bigatti

14:48 CoCoALib Slug #1739: IsHomog for ideals

John Abbott wrote:
> Could it be useful to have also *@IsHomog3(I)@* which returns a @bool3@?
it could be handy t... Anna Maria Bigatti

14:37 CoCoALib Slug #1739: IsHomog for ideals

Anna Maria Bigatti wrote:
> check if there is a "homog" flag to be set
The answer is "no" (#1784). Anna Maria Bigatti

14:53 CoCoALib Feature #1785: Add function IsHomog3(I)?

See implementation of @IsHomog(I)@ in @SparsePolyOps-ideal.C@ (and #1739) Anna Maria Bigatti

14:51 CoCoALib Feature #1785 (New): Add function IsHomog3(I)?

Should we have a "quick" bool3 function (i.e. might return @uncertain@) saying if an ideal is homogeneous?
Useful? Anna Maria Bigatti

14:36 CoCoALib Feature #1784 (New): Add flag IhaveHomogGensValue for ideals in SparsePolyRing?

We already have... Anna Maria Bigatti

23 Feb 2024

12:39 CoCoALib Bug #1579 (Closed): Readexpr/RingElem: unhelpful error message when input is wrong

Anna Maria Bigatti wrote:
> Still to do: check other cases.
I cannot remember what I meant.
Now seems pretty goo... Anna Maria Bigatti

12:29 CoCoALib Slug #1569: IsInRadical too slow (test-RadicalMembership)

Implement special version for monomial ideals Anna Maria Bigatti

12:28 CoCoALib Slug #1569: IsInRadical too slow (test-RadicalMembership)

Anna Maria Bigatti wrote:
> there is a new problem (in test-exbugs.C).
> [...]
Fixed, it was an "off-by-one" err... Anna Maria Bigatti

12:27 CoCoALib Slug #1569: IsInRadical too slow (test-RadicalMembership)

there is a new problem (in test-exbugs.C).... Anna Maria Bigatti

12:28 CoCoALib Bug #1779 (Closed): Radical error with lex (again)

Anna Maria Bigatti

11:41 CoCoALib Bug #1779: Radical error with lex (again)

I made a new issue for implementing and running the tests.
Closing this one ... hoping non errors will come from the... Anna Maria Bigatti

11:39 CoCoALib Support #1782 (New): Make CoCoALib test file for radical

There is a file with some CoCoALib tests for radical in a funny format.
Clean it up. Anna Maria Bigatti

16 Feb 2024

18:00 CoCoALib Feature #1763 (Rejected): implement ideal(R) for zero ideal, with no generators?

No longer needed because @ideal(zero(R))@ now gives ideal in R with no generators. Anna Maria Bigatti

17:51 CoCoALib Slug #1739 (Resolved): IsHomog for ideals

check if there is a "homog" flag to be set Anna Maria Bigatti

17:30 CoCoALib Slug #1394: Oddly slow GBasis computation (slow final cleanup)

Try... Anna Maria Bigatti

16:06 CoCoALib Slug #1569: IsInRadical too slow (test-RadicalMembership)

John Abbott wrote:
> As far as I can see *@MinPowerInIdeal@* is already implemented, using the method Anna described... Anna Maria Bigatti

10:23 CoCoALib Design #1735: PushFront/PushBack without checks?

Surely worth a try.
@PushFront_nocheck@?
I could imagine cases when this might be used (homomorphisms preserving or... Anna Maria Bigatti

10:19 CoCoALib Design #1642: interreduce: make monic if over finite field?

John Abbott wrote:
> Would we also want to have @interreduced@ work when the coeff ring is @ZZ@?
Not until someon... Anna Maria Bigatti

15 Feb 2024

16:41 CoCoALib Slug #1569: IsInRadical too slow (test-RadicalMembership)

John Abbott wrote:
> The "stupid approach" gets the answer in 10s (on my Linux laptop).
Even faster like this.
<... Anna Maria Bigatti

15:32 CoCoALib Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?

Fixed the sum I + ideal(1)
Added check also for I + ideal(x, x-1) (when ideal @HasGBasis@)... Anna Maria Bigatti

09 Feb 2024

10:36 CoCoALib Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?

John Abbott wrote:
> After brief consideration, I have decided to keep in this issue discussion related to what "cle... Anna Maria Bigatti

10:09 CoCoALib Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?

John Abbott wrote:
> Here is an example where the resulting gens could clearly be cleaned up:
> [...]
This is st... Anna Maria Bigatti

10:03 CoCoALib Feature #1206: syz, SyzOfGens: which shifts for zero?

Should we make @SyzOfGens@ obsolescent? does it do anything more than calling @syz(gens(I))@?
(apart from fixing th... Anna Maria Bigatti

08:51 CoCoALib Feature #1206: syz, SyzOfGens: which shifts for zero?

This is my suggestion: implement a new function @syz0@ which allows 0s in the input (giving them conventional weights... Anna Maria Bigatti

08:38 CoCoALib Feature #1206 (In Progress): syz, SyzOfGens: which shifts for zero?

Currently we have decided to forbid generator 0 in ideals (#1647), so @SyzOfGens@ will never find a 0, keeping in min... Anna Maria Bigatti

08:16 CoCoA-5 Bug #1781 (Feedback): GenReprCompute: SERIOUS ERROR

fixed and checked in.
@GenReprCompute@ used @SyzOfGens(ideal(concat([A], [ f in GensB | not(IsZero(f)) ])))@ which, ... Anna Maria Bigatti

07:59 CoCoA-5 Bug #1781: GenReprCompute: SERIOUS ERROR

I get the same error with... Anna Maria Bigatti

07 Feb 2024

11:26 CoCoALib Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?

Modified ... Anna Maria Bigatti

06 Feb 2024

16:47 CoCoALib Bug #1779 (Feedback): Radical error with lex (again)

Anna Maria Bigatti wrote:
> John Abbott wrote:
> > It would be easy to allow the factorize to return a result if th... Anna Maria Bigatti

10:12 CoCoALib Bug #1779: Radical error with lex (again)

John Abbott wrote:
> It would be easy to allow the factorize to return a result if the input is a non-zero constant.... Anna Maria Bigatti

11:51 CoCoALib Feature #1780: radical for ideals in SparsePolyRing: code in C++

Now the test from #1390 is fast (in C++), so I re-activated it. Anna Maria Bigatti

10:17 CoCoALib Feature #1780: radical for ideals in SparsePolyRing: code in C++

Anna Maria Bigatti wrote:
> It should all go through @myTestIsRadical@, ... and now it isn't (I had forced the funct... Anna Maria Bigatti

09:10 CoCoALib Feature #1780: radical for ideals in SparsePolyRing: code in C++

The package was first translated by Alice Moallemy, then fixed by Nicolas Jagersma (2023).
Now it's been officially ... Anna Maria Bigatti

09:01 CoCoALib Feature #1780 (Closed): radical for ideals in SparsePolyRing: code in C++

Port the code from the CoCoa-5 package radical.cpkg5 into CoCoALib Anna Maria Bigatti

08:48 CoCoALib Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?

Should we also have that @ideal(zero(R))@ has empty list of generators?
I think so.
And that would be handy, if we ... Anna Maria Bigatti

05 Feb 2024

18:32 CoCoALib Bug #1779: Radical error with lex (again)

first bug fixed.
New bug:... Anna Maria Bigatti

17:57 CoCoALib Bug #1779 (Closed): Radical error with lex (again)

This problem resurfaced now that radical is in C++.... Anna Maria Bigatti

12:21 CoCoALib Slug #1739: IsHomog for ideals

Fixed. Now checking if gens are monomial, then if gens are homogeneous.... Anna Maria Bigatti