The problem of determining an implicite representation of an irreducible algebraic variety given by a rational parametrization has been faced by elimination theory and can be solved by the computation of Gröbner bases or by the computation of resultants (see, for example, Kalkbrener, 1991; Chionh and Goldman, 1992; Gao and Chou, 1992; Manocha and Canny… (More)