Previous Up Next

5.31.3 Testing if a polynomial or list of polynomials belongs to an ideal given by a Gröbner basis: in_ideal

The in_ideal command determines whether or not a polynomial is in an ideal.

Examples.


Previous Up Next