Implicitization of rational parametric surfaces (Q2563695)

Let \(S\subset \mathbb{C}^3\) be a surface parametrized by a map \(F_a(s,t)= (f_1(s,t),\;f_2(s,t),\;f_3(s,t))\), where \(f_i\) are polynomials in \(s\) and \(t\). The implicitization process would find an equation \(f(x,y,z)=0\) such that the zero locus of the equation, \(W=\{(x,y, z)\mid f(x,y,z) =0\}\), is the smallest subset \(W\subset \mathbb{C}^3\) that contains the image \(S\) of the parametrization. A generalized projective implicitization theorem is presented that can be used to solve the implicitization of rational parametric curves and surfaces in an affine space. The Gröbner bases technique is used to implement the algorithm. The algorithm has the advantages that it can handle base points in a parametrization, and no extra factors will be introduced into an implicit equation. The complexity of the algorithm in terms of the degrees of the polynomials in the Gröbner basis is better than the existing method.