Nondegenerate projective variety (source code)

= Nondegenerate projective variety

A projective variety is nondegenerate when it is contained in no hyperplane of its ambient projective space.