previous up next
Go backward to `desing/isemptyS`
Go up to Procedures
Go forward to `desing/isnc2`

`desing/isnc`

Testing whether a given list of hypersurfaces over some affine chart has normal crossing.

Input:
 
F
a list of coordinate ring elements, defining the hypersurfaces to be tested,
S
the list of variables of the chart,
DEP
the list of dependencies of S,
IND
the regular parameters of the chart,
PDER
the differentiation matrix over the chart,
args(6)
(optional) anything, e.g. the boolean value: true.
Output:
(boolean) true if the hypersurfaces defined by F have normal crossing, false otherwise.
If the last argument is given, the equations in in F without the last one are assumed to define hypersurfaces with normal crossing, and only the last equation is checked against the previous ones.
previous up next