B = gfanDoesIdealContain(M,K)
B = gfanDoesIdealContain(L,K)
B = gfanDoesIdealContain(I,K)
This method determines if a list of polynomials is contained in an ideal. The first input has to be in marked polynomial, in order to do this easily one could use gfanBuchberger as shown in the example as gfanBuchberger outputs a Groebner basis in as a markedPolynomialList. Macaulay 2 provides this functionality in the isSubset method.





gfan Documentation
This program takes a marked Groebner basis of an ideal I and a set of polynomials on its input and tests if the polynomial set is contained in I by applying the division algorithm for each element. The output is 1 for true and 0 for false.
Options:
remainder:
Tell the program to output the remainders of the divisions rather than outputting 0 or 1.
multiplier:
Reads in a polynomial that will be multiplied to the polynomial to be divided before doing the division.
The object gfanDoesIdealContain is a method function with options.