To find the equations of an algebraic curve parametrized by
, where are polynomials,
Form the ideal
generated by
, , .
``Project this ideal onto '':
Compute the Gröbner basis of this ideal, using an ordering for
which . Choose only those terms in the basis
whcih do not involve .
These terms will correspond to the equations for the
curve in dimensions.
Example 2.8.13The twisted cubic is parameterized by , , .
The object is to find a Gröbner basis for the
ideal
in
.
Let denote the lexicographic order defined by
. The Gröbner basis for is
.
Therefore the algebraic equations for the curve are
Example 2.8.14Let
,
,
yields the ideal
which has the Grobner basis
.
So the equations for the curve are
, and
.