As is well known, a natural model for the projective plane is a hemisphere with antipodal points on the border identified. The image on right is obtained by projection of the hemisphere onto the disc:
Type polynomial from ℤ[X, Y] into the text field to graph zero set of that polynomial. The equation should be expressed as the sum of monomials, where each monomial is in form rXnYm with r in ℤ and n, m in ℕ (which stands for rXnYm). Parentheses are not supported for now. You can also choose from some examples from the drop-down menu.
You can change coordinate system (or equivalently, transform curve by projective transformation), by dragging vertices of coordinate triangle or using scroll wheel while holding pointer above one of the vertex (scrolling multiplies the corresponding column of transformation matrix with scalar). Double clicking on one of vertex changes sign of third coordinate of the corresponding column. With these three operations, it is possible to define all matrices in PGl₃ℝ.
Equation x2+2y2-1=0 defines an ellipse in the plane. If we move two of base vectors (blue dots) along x-axis, we will first get a parabola and then a hyperbola. This shows us that non-degenerate conic sections are equivalent in the projective plane.
The author of program is Nikola Ubavić.
This project is licensed under the MIT License - see the LICENSE file for details.