Implicitization of hypersurfaces

DOI10.1016/J.JSC.2016.11.002MaRDI QIDQ504409zbMATH OpenOpenAlexFDO

Authors John Abbott, Anna M. Bigatti, Lorenzo Robbiano

Publication date 16 January 2017

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1602.03993

zbMATH Keywords

hypersurfaceimplicitization

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Computational aspects of algebraic surfaces (14Q10) Symbolic computation and algebraic computation (68W30)

Abstract: 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 extit{truncated, homogeneous} Gr"obner basis. The other algorithm, "Direct", computes the implicitization directly using an approach inspired by the generalized Buchberger-M"oller 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.

Review text

The paper describes implementation details of four common tricks that can be used to speed up the computation of implicitization: 1. When eliminating to find a hypersurfsce, stop computing the Gröbner Basis once you have the result. 2. Searching for the coefficients of the hypersurface by searching for relations among the images of monomials. 3. Homogenization before elimination. 4. Modular arithmetic and rational reconstruction. The authors also report on timings of their implementation and give references to their own work. Additionally the paper suggests some new vocabulary for commutative algebra. For example, a monomial is called a power product, a well order is called an enumerative order, an elimination ideal is an eliminating ideal and so on.

Recommendations

• scientific article; zbMATH DE number 2079841
• Implicitizing rational hypersurfaces using approximation complexes
• scientific article; zbMATH DE number 1263414
• Implicitization of parametric curves and surfaces by using multidimensional Newton formulae
• An implicitization algorithm with fewer variables

Cites work

• A simple method for implicitizing rational curves and surfaces
• Comparison of implicitization methods
• Computing ideals of points
• Computing zero-dimensional schemes
• Fault-tolerant modular reconstruction of rational numbers
• scientific article; zbMATH DE number 1515218 (Why is no real title available?)
• scientific article; zbMATH DE number 2206382 (Why is no real title available?)
• Hyperplane sections, Gröbner bases, and Hough transforms
• Implicitization of curves and surfaces using predicted support
• Implicitization of rational hypersurfaces via linear syzygies: a practical overview
• Implicitizing rational hypersurfaces using approximation complexes
• Introduction to the theory of weighted projective spaces
• Matrix-based implicit representations of rational algebraic curves and applications
• Minkowski decomposition and geometric predicates in sparse implicitization
• Moving curve ideals of rational plane parametrizations
• On Hensel factorization. I
• The use of bad primes in rational reconstruction

Cited in

(16)

• Implicitization of parametric curves and surfaces by using multidimensional Newton formulae
• Implicit representations of high-codimension varieties
• Computing and using minimal polynomials
• Efficient Groebner walk conversion for implicitization of geometric objects
• A new class of term orders for elimination
• Implicitizing rational hypersurfaces using approximation complexes
• Implicitization using approximation complexes
• Implicitization of curves and (hyper)surfaces using predicted support
• Implicitization of de Jonquières parametrizations
• scientific article; zbMATH DE number 1263414 (Why is no real title available?)
• scientific article; zbMATH DE number 2079841 (Why is no real title available?)
• Ideals modulo a prime
• Implicitization of a general union of parametric varieties
• Implicitization and parametrization of nonsingular cubic surfaces
• Implicitisation and parameterisation in polynomial functors
• On the computation of Newton polytopes of eliminants

Describes a project that uses

Uses Software

• CoCoA
• CoCoALib

This page was built for publication: Implicitization of hypersurfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q504409)