DegreeLimit => n -- keyword for an optional argument used with
pushForward1 which specifies that the computation should halt after dealing with degree
n.
This option is relevant only for homogeneous matrices.
The maximum degree to which to compute is computed in terms of the degrees of the ring map,
f. For example, if
f consists of cubics, then to find a quadratic relation, this option should be set to at least 6, by specifying, for example,
DegreeLimit => 6. The default is
infinity.