This function converts the matrix M to a subring ideal, performs autoreduction on the generating set of that ideal, and then returns the result in the form of a matrix.
The object mingensSubring is a method function.