|
5.1.36 fglmquot
Syntax:
fglmquot ( ideal_expression, poly_expression )
Type:
- ideal
Purpose:
- computes a reduced Groebner basis of the ideal quotient
I:p of
a zero-dimensional ideal I and a polynomial p using
FGLM-techniques.
Assume:
- The ideal must be zero-dimensional and given as a reduced Groebner
basis in the given ring. The polynomial must be reduced with respect to the
ideal.
Example:
See
fglm;
option;
quotient;
ring;
std;
vdim.
|