Closure of the image of a rational map via Gröbner bases by introducing homogenizing parameter s and equations g_i x_i − f_i

Class:
Algorithm