Go backward to `desing/singrc2`
Go up to Procedures
Go forward to `desing/substitute`
Computing the singular locus of a WBO. The difference between this procedure and `desing/sing` is that in case of a WBO the monomial parts are also to be considered in the singular locus computation. This leads to a combinatorial approach which determines the singular locus of the WBO as union of intersections of hypersurfaces that correspond to partial derivatives up to a certain order, from the proper and the monomial part of the ideal of the WBO.