An Algorithm for Transforming Regular Chain into Normal Chain

  • Banghe Li
  • Dingkang Wang
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5081)


We present an improved algorithm to compute the normal chain from a given regular chain such that their saturation ideals are the same. Our algorithm is based on solving a system of linear equations and the original method computes the resultants of multivariate polynomials. From the experiments, for the random polynomials, our algorithm is much more efficient than the original one.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Aubry, P., Lazard, D., Maza, M.M.: On the Theories of Triangular Sets. J. Symbolic Computation 28, 105–124 (1999)zbMATHCrossRefGoogle Scholar
  2. 2.
    Bouziane, D., Kandri Rody, A.K., Maarouf, H.: Unmixed-dimensional Decomposition of a Finitely Generated Perfect Differential Ideal. J. Symbolic Computation. 31, 631–649 (2001)zbMATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Gao, X.S., Chou, S.C.: Solving parametric algebraic systems. In: Proceedings ISSAC 1992, Berkeley, July 27-29, pp. 335–341. Association for Computing Machinery, New York (1992)CrossRefGoogle Scholar
  4. 4.
    Kalbrener, M.: A Generalized Euclidean Algorithm for Computing Triangular Representations of Algebraic Varieties. J. Symbolic Computation 15, 143–167 (1993)CrossRefGoogle Scholar
  5. 5.
    Lazard, D.: A new method for solving algebraic systems of positive demension. Discrete Appl. Math. 33, 147–160 (1991)zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Moreno, M.M.: On triangular decompositions of algebraic varieties. In: MEGA 2000, Bath, England (presented, 2000)Google Scholar
  7. 7.
    Pan, V.Y.: Sturctured Matrices and Polynomials. Birkhäuser, Boston (2001)Google Scholar
  8. 8.
    Wang, D.K., Zhang, Y.: An algorithm for decomposing a polynomial system into normal ascending sets. Science in China, Series A: Mathematics 50(10), 1441–1450 (2007)zbMATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Wang, D.M.: Some Notes on Algebraic Method for Geometric Theorem ProvingGoogle Scholar
  10. 10.
    Wang, D.M.: Elimination Method. Springer, New York (2001)Google Scholar
  11. 11.
    Wu, W.T.: Basic principles of mechanical theorem proving in elementray geometries. J. Syst. Sci. Math. Sci. 4, 20–235 (1984)Google Scholar
  12. 12.
    Yang, L., Zhang, J.Z.: Search dependency between algebraic equations: An algorithm applied to automated reasoning. Technical Report ICTP/91/6, International Center For Theoretical Physics, Trieste (1991)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Banghe Li
    • 1
  • Dingkang Wang
    • 1
  1. 1.Key Laboratory of Mathematics Mechanization Academy of Mathematics and Systems ScienceChinese Academy of SciencesBeijingChina

Personalised recommendations