Linear

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.

Go to main index.

Go to concepts index.