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 $\langle C,P_0 \rangle_{S}<m$.
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 $\langle C,P_0 \rangle_{S}<m$.