Hypersurface singularity (source code)

= Hypersurface singularity

A point on $F=0$ where all first partial derivatives vanish. For a reduced hypersurface this is the <Jacobian criterion>; a nondegenerate quadratic leading part defines an <ordinary double point>.