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
.