singularLocus R -- produce the singular locus of a ring, which is assumed to be integral and defined by a homogeneous ideal.
Can also be applied to an ideal, in which case the singular locus of the quotient ring is returned.
Ways to use singularLocus :