AssumeOrdinary -- whether the expected codimension is 1
Synopsis
Usage:
AssumeOrdinary => true/false
Description
This is an option for dualVariety 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.