Tangent hyperplane section (source code)

= Tangent hyperplane section

At a smooth point of a hypersurface, restriction to the tangent hyperplane has zero linear term. The natural hyperplane intersection therefore has tangent dimension one larger than its expected dimension and is singular at that point.