Affine hypersurface (source code)

= Affine hypersurface

The zero set of a nonconstant polynomial in $n$ affine variables has dimension $n-1$. Passing to the square-free part gives its radical principal ideal.

This is a polynomial-defined <hypersurface> in affine space.