Linear -- use the reverse lex order

Linear -- use the reverse lex order

Strategy => Linear -- an option value for saturate which indicates that the reverse lex order should be used to compute the saturation.

This presumes that J is a single, linear polynomial, and that I is homogeneous.

This is also an option value for pushForward1.