Anna Maria Bigatti's activity
From 04 Feb 2024 to 04 Mar 2024
01 Mar 2024
-
18:40 CoCoALib Slug #1569 (Closed): IsInRadical too slow (test-RadicalMembership)
-
18:38 CoCoALib Slug #1569: IsInRadical too slow (test-RadicalMembership)
- Anna Maria Bigatti wrote:
> Implement special version for monomial ideals
Moved to issue #1786 -
17:12 CoCoALib 1.00 hour (Slug #1569 (Closed): IsInRadical too slow (test-RadicalMembership))
-
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... -
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...
-
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 @... -
14:57 CoCoALib Slug #1739 (Closed): IsHomog for ideals
-
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... -
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). -
14:53 CoCoALib Feature #1785: Add function IsHomog3(I)?
- See implementation of @IsHomog(I)@ in @SparsePolyOps-ideal.C@ (and #1739)
-
14:53 CoCoALib 0.50 hour (Feature #1785 (New): Add function IsHomog3(I)?)
-
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? -
14:36 CoCoALib Feature #1784 (New): Add flag IhaveHomogGensValue for ideals in SparsePolyRing?
- We already have...
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... -
12:39 CoCoALib 0.20 hour (Bug #1579 (Closed): Readexpr/RingElem: unhelpful error message when input is wrong)
-
12:29 CoCoALib Slug #1569: IsInRadical too slow (test-RadicalMembership)
- Implement special version for monomial ideals
-
12:28 CoCoALib 0.50 hour (Slug #1569 (Closed): IsInRadical too slow (test-RadicalMembership))
-
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... -
12:27 CoCoALib Slug #1569: IsInRadical too slow (test-RadicalMembership)
- there is a new problem (in test-exbugs.C)....
-
12:28 CoCoALib Bug #1779 (Closed): Radical error with lex (again)
-
11:41 CoCoALib 0.20 hour (Bug #1779 (Closed): Radical error with lex (again))
-
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... -
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.
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.
-
18:00 CoCoALib 0.20 hour (Feature #1763 (Rejected): implement ideal(R) for zero ideal, with no generators?)
-
17:51 CoCoALib Slug #1739 (Resolved): IsHomog for ideals
- check if there is a "homog" flag to be set
-
17:30 CoCoALib Slug #1394: Oddly slow GBasis computation (slow final cleanup)
- Try...
-
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... -
16:06 CoCoALib 2.00 hours (Slug #1569 (Closed): IsInRadical too slow (test-RadicalMembership))
-
10:23 CoCoALib 0.20 hour (Design #1735 (Rejected): PushFront/PushBack without checks?)
-
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... -
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...
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.
<... -
16:41 CoCoALib 1.00 hour (Slug #1569 (Closed): IsInRadical too slow (test-RadicalMembership))
-
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@)... -
15:32 CoCoALib 0.50 hour (Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?)
-
15:30 CoCoALib 0.50 hour (Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?)
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... -
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... -
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... -
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...
-
08:51 CoCoALib 0.25 hour (Feature #1206 (Closed): syz, SyzOfGens: which shifts for zero?)
-
08:38 CoCoALib 0.25 hour (Feature #1206 (Closed): syz, SyzOfGens: which shifts for zero?)
-
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...
-
08:16 CoCoA-5 0.50 hour (Bug #1781 (Feedback): GenReprCompute: SERIOUS ERROR)
-
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, ... -
07:59 CoCoA-5 Bug #1781: GenReprCompute: SERIOUS ERROR
- I get the same error with...
-
07:59 CoCoA-5 0.25 hour (Bug #1781 (Feedback): GenReprCompute: SERIOUS ERROR)
07 Feb 2024
-
11:26 CoCoALib Design #1647: Suppress zero from ideal generators? Detect 1 and simplify generators?
- Modified ...
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... -
16:47 CoCoALib 2.00 hours (Bug #1779 (Closed): Radical error with lex (again))
-
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.... -
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.
-
10:17 CoCoALib 0.50 hour (Feature #1780 (Closed): radical for ideals in SparsePolyRing: code in C++ )
-
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... -
09:10 CoCoALib 2.00 hours (Feature #1780 (Closed): radical for ideals in SparsePolyRing: code in C++ )
-
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 ... -
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
-
08:48 CoCoALib 0.20 hour (Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?)
-
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 ... -
08:47 CoCoALib 0.20 hour (Design #1647 (Closed): Suppress zero from ideal generators? Detect 1 and simplify generators?)
05 Feb 2024
-
18:32 CoCoALib 0.50 hour (Bug #1779 (Closed): Radical error with lex (again))
-
18:32 CoCoALib Bug #1779: Radical error with lex (again)
- first bug fixed.
New bug:... -
17:57 CoCoALib Bug #1779 (Closed): Radical error with lex (again)
- This problem resurfaced now that radical is in C++....
-
12:21 CoCoALib Slug #1739: IsHomog for ideals
- Fixed. Now checking if gens are monomial, then if gens are homogeneous....
-
12:21 CoCoALib 1.00 hour (Slug #1739 (Closed): IsHomog for ideals)
Also available in: Atom