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 :
-
dualVariety(..., AssumeOrdinary => ...)
-
tangentialChowForm(..., AssumeOrdinary => ...)