`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.