Implicitization of hypersurfaces and curves by the Primbasissatz and basis conversion

ABSTRACT

An algorithm for implicitizing curves and hypersurfaces is proposed which reduces the problem to a 0-dimensional one by the Primbasissatz and solves it by FGLM. Also, a high-dimensional FGLM algorithm is discussed.

REFERENCES

• 1: Eng-wee Chionh, Base points, resultants, and the implicit representation of rational surfaces, University of Waterloo, Waterloo, Ont., Canada, 1990
• 2: J.C. Faug~re, Resolutions des systems d'equations algebriques, , Ph.D. Thesis, Univ. Paris 6 (1994)
• 3: J.C. Faug~re, P. Gianni, D. Lazard, T. Mora, Efficient change of ordering for zero-dimensional GrSbner bases, J. Symb. Comp., to appear
• 4: Xiao-Shan Gao , Shang-Ching Chou, Computations with parametric equations, Proceedings of the 1991 international symposium on Symbolic and algebraic computation, p.122-127, July 15-17, 1991, Bonn, West Germany [doi>10.1145/120694.120710]
• 5: P. Gianni, T. Mora, L. Robbiano, C. Traverso, Hilbert functions and Buchberger algorithm, Preprint
• 6: W. GrSbner, Moderne Algebraische Geometrie, Springer, 1949
• 7: C. Hoffmann, Solid and Geometric Modeling, Wiley, 1990
• 8: M. Kalkbrener, Implicitization of rational parametric curves and surfaces, Lect. Notes. Comp. Sci.508 (1991)
• 9: Daniel Lazard, Gröbner-Bases, Gaussian elimination and resolution of systems of algebraic equations, Proceedings of the European Computer Algebra Conference on Computer Algebra, p.146-156, March 28-30, 1983
• 10: A. Logar, A computational proof of Noether normalization lemma Lect. Notes. Comp. Sci.357 (1989)
• 11: Dinesh Manocha , John F. Canny, Implicit representation of rational parametric surfaces, Journal of Symbolic Computation, v.13 n.5, p.485-510, May 1992
• 12: Teo Mora , Lorenzo Robbiano, The Gro¨bner fan of an ideal, Journal of Symbolic Computation, v.6 n.2-3, p.183-208, Oct./Dec. 1988 [doi>10.1016/S0747-7171(88)80042-7]
• 13: Cesar Alonso , Jaime Gutierrez , Tomás Recio, An implicitization algorithm with fewer variables, Computer Aided Geometric Design, v.12 n.3, p.251-258, May 1995 [doi>10.1016/0167-8396(95)91147-R]

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION
      I.1.2 Algorithms
          Subjects: Algebraic algorithms

Additional Classification:
  F. Theory of Computation
  F.2 ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY
      F.2.2 Nonnumerical Algorithms and Problems
          Subjects: Geometrical problems and computations

General Terms:
Algorithms, Theory, Verification