Let $G_S$ be a gram matrix of $S$.

Let $P_0$ be a known ample class.

Let $m,d$ be integers.**CGS** takes this data as input and returns the set

$$ \{ C\in S \mid \langle C,C\rangle_{S}=d, \; \, \langle C,P_0 \rangle_{S}<m\}$$

When $d=-2$, the program $CGS$ acts as **SmoothRationalCurves**. Thus, it returns the set of classes of square $-2$ that are also classes of smooth rational curves.