AssumeOrdinary -- whether the expected codimension is 1
Synopsis
Usage:
AssumeOrdinary => true/false
Description
This is an option for dual and tangentialChowForm that controls the option SubringLimit, used internally with kernel and gb. You can set this to true when the expected output should represent a hypersurface.
Functions with optional argument named AssumeOrdinary :