Performs autoreduction on the generators of an ideal within a subring. Iteratively, each generator $g\in M$ is replaced with the normal form of $g$ relative to $M\setminus \{g\}$, computed using the function intrinsicReduce.
The object autoreduce is a method function.