Bug #1640
Updated by Anna Maria Bigatti over 2 years ago
Not sure what @MinSubsetOfGens@ does, but it does not find a min card subset of the gens which generate the same ideal
<pre>
use P ::= ZZ/(101)[x,y,z,t];
I := ideal([x^4*y*z +x^2*y^2*z^2 +z^6 +x^3*y^2 +y^3*z,
y^5*z +x^3*y^2 +x*z^4 +x^3*y +x*z^2]);
RGB := ReducedGBasis(I);
ideal(first(RGB,2)) = ideal(first(RGB,7)); --> true
M := MinSubsetOfGens(ideal(first(RGB,7))); MinSubsetOfGens(ideal(first(RGB,7)); -- be patient!
len(M) = 4; -- WRONG!
</pre>
<pre>
use P ::= ZZ/(101)[x,y,z,t];
I := ideal([x^4*y*z +x^2*y^2*z^2 +z^6 +x^3*y^2 +y^3*z,
y^5*z +x^3*y^2 +x*z^4 +x^3*y +x*z^2]);
RGB := ReducedGBasis(I);
ideal(first(RGB,2)) = ideal(first(RGB,7)); --> true
M := MinSubsetOfGens(ideal(first(RGB,7))); MinSubsetOfGens(ideal(first(RGB,7)); -- be patient!
len(M) = 4; -- WRONG!
</pre>