groupIdeal L
Suppose the action L consists of the linearly reductive group with coordinate ring S/I (where S is a polynomial ring) acting on a (quotient of) a polynomial ring R via the action matrix M. This function returns the ideal I.






The object groupIdeal is a method function.