2 – Proj | SmoothRationalCurves

Let $G_S$ be a gram matrix of $S$.
Let $P_0$ be a known ample class.
Let $m$ be an integer.

SmoothRationalCurves takes this data as input and returns the set of classes $C$ of smooth rational curves on $X$ such that $⟨C,P_0{⟩}_S<m$.

---