Hyperbolic plane (quadratic form) (source code)

= Hyperbolic plane (quadratic form)

A hyperbolic plane is a two-dimensional quadratic space with a basis $e,f$ satisfying $q(e)=q(f)=0$ and $B(e,f)=1$. Its diagonal form has one positive and one negative square, so its signature is zero.