
We present new, practical algorithms for the hypersurface implicitization problem: namely, given a parametric description (in terms of polynomials or rational functions) of the hypersurface, find its implicit equation. Two of them are for polynomial parametrizations: one algorithm, "ElimTH", has as main step the computation of an elimination ideal via a \textit{truncated, homogeneous} Gröbner basis. The other algorithm, "Direct", computes the implicitization directly using an approach inspired by the generalized Buchberger-Möller algorithm. Either may be used inside the third algorithm, "RatPar", to deal with parametrizations by rational functions. Finally we show how these algorithms can be used in a modular approach, algorithm "ModImplicit", for avoiding the high costs of arithmetic with rational numbers. We exhibit experimental timings to show the practical efficiency of our new algorithms.
Improved version to appear on the J.Symb.Comput
Computational aspects of algebraic surfaces, FOS: Mathematics, 13P25, 13P10, 13-04, 14Q10, 68W30, Hypersurface; Implicitization; Algebra and Number Theory; Computational Mathematics, Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases), Symbolic computation and algebraic computation, implicitization, Mathematics - Commutative Algebra, Commutative Algebra (math.AC), hypersurface
Computational aspects of algebraic surfaces, FOS: Mathematics, 13P25, 13P10, 13-04, 14Q10, 68W30, Hypersurface; Implicitization; Algebra and Number Theory; Computational Mathematics, Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases), Symbolic computation and algebraic computation, implicitization, Mathematics - Commutative Algebra, Commutative Algebra (math.AC), hypersurface
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 5 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
