N = subduction(SB, M)
n = subduction(SB, m)
N = subduction(S, M)
n = subduction(S, m)
N = subduction(F, M)
n = subduction(F, m)
nList = subduction(FList, mList)
n = subduction(FList, m)
Performs subduction on the input with respect to the generating set of the supplied object. The result of subduction of $f$ by $S$ is an element $g$ such that $fg$ is in $S$. If the generating set is not a subalgebra basis, then the result of subduction may not be a normal form for the input.






The object subduction is a method function with options.