Skip to main content
Log in

Fast computation of Gröbner basis of homogenous ideals of \( \mathbb{F} \)[x, y]

  • Published:
Science in China Series F: Information Sciences Aims and scope Submit manuscript

Abstract

This paper provides a fast algorithm for Gröbner bases of homogenous ideals of \( \mathbb{F} \)[x, y] over a finite field \( \mathbb{F} \). We show that only the S-polynomials of neighbor pairs of a strictly ordered finite homogenours generating set are needed in the computing of a Gröbner base of the homogenous ideal. It reduces dramatically the number of unnecessary S-polynomials that are processed. We also show that the computational complexity of our new algorithm is O(N 2), where N is the maximum degree of the input generating polynomials. The new algorithm can be used to solve a problem of blind recognition of convolutional codes. This problem is a new generalization of the important problem of synthesis of a linear recurring sequence.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Buchberger B. Gröbner bases: An algorithmic method in polynomial ideal theory. In: Bose N K, Reidel D, eds. Multidimensional Systems Theory. Dordrecht: D. Peidel Publishing Co., 1984. 184–232

    Google Scholar 

  2. Golic J D. Vectorial boolean functions and induced algebraic equations. IEEE Trans Inf Theory, 2006, 52(2): 528–537

    Article  MathSciNet  Google Scholar 

  3. Buchberger B. Gröner bases and system Theory. Special Issue on Applications of Gröner Bases in Multidimensional Systems and Signal Processing. Dordrecht: Kluwer Academic Publishers, 2001

    Google Scholar 

  4. Lazard D. A note on upper bounds for ideal-theoretic problems. J Symb Comp, 1992, 13(3): 231–233

    Article  MATH  MathSciNet  Google Scholar 

  5. Faugére J. A new efficient algorithm for computing Gröbner bases (F4). J Pure Appl Algebra, 1999, 139: 61–83

    Article  MATH  MathSciNet  Google Scholar 

  6. Faugére J C, Gianni P, Lazard D, et al. Efficient computation of zero-dimensional Gröbner bases by change of ordering. J Symb Comp, 1993, 16: 329–344

    Article  MATH  Google Scholar 

  7. Lu P Z, Shen L, Zou Y, et al. Blind recognition of punctured concolutional codes. Sci China Ser F-Inf Sci, 2005, 48(4): 484–498

    Article  MATH  Google Scholar 

  8. Berlekamp E R. Algebraic Coding Theory. New York: McGrw-Hill, 1968

    MATH  Google Scholar 

  9. Fitzpatrick P. Solving a multivariable congruence by change of term order. J Symb Comp, 1997, 11: 1–15

    Google Scholar 

  10. Liu M L. Gröbner Basis Theory and the Applications (in Chinese). Beijing: Science Press, 2000

    Google Scholar 

  11. Zou Y, Lu P Z. A new generalization of key equation. Chinese J Comput, 2006, 29(5): 711–718

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to PeiZhong Lu.

Additional information

Supported by the National Natural Science Foundation of China (Grant No. 60673082), Special Funds of Authors of Excellent Doctoral Dissertation in Chian (Grant No. 200084)

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lu, P., Zou, Y. Fast computation of Gröbner basis of homogenous ideals of \( \mathbb{F} \)[x, y]. Sci. China Ser. F-Inf. Sci. 51, 368–380 (2008). https://doi.org/10.1007/s11432-008-0032-2

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11432-008-0032-2

Keywords

Navigation