up previous next
den of ideal, wrt to ordering sigma
DenSigma(I: IDEAL): RINGELEM |
This function returns the sigma-denominator of the ideal
I
,
that is the common denominator of all polynomials in the sigma-reduced
GBasis.
See article Abbott, Bigatti, Robbiano
"Ideals modulo p"
(
https://arxiv.org/abs/1801.06112
)
/**/ use QQ[x,y,z];
/**/ I := ideal(2*x*y^2 -1, 3*x^3*y -1);
/**/ ReducedGBasis(I);
[x*y^2 -1/2, x^2 +(-2/3)*y, y^3 +(-3/4)*x]
/**/ DenSigma(I);
12
|