Abstract
An overview of an algorithm and an efficient implementation of parallel computing of involutive and Gröbner bases with the help of modular operations is presented. Difficulties arising in modulo calculations and in the reconstruction of a basis with coefficients in ℤ by its modular images are considered; Some ways to overcome these difficulties are indicated.
Similar content being viewed by others
References
Buchberger, B., Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory, in Komp’yuternaya algebra. Simvol’nye i algebraicheskie vychisleniya (Computer Algebra: Symbolic and Algebraic Computations), Moscow: Mir, 1986, pp. 331–372.
Cox, D.A., Little, J., and O’Shea, D., Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, New York: Springer, 1998.
Gerdt, V.P. and Blinkov, Yu.A., Involutive Bases of Polynomial Ideals, Math. Comput. Simulation, 1998, vol. 45, pp. 519–542.
Gerdt, V. P. and Blinkov, Yu. A., Involutive Division of Monomials, Programming Comput. Software, 1998, vol. 24, no. 6, pp. 283–285.
Arnold, E.A., Modular Algorithms for Computing Gröbner Bases, J. Symb. Comput., 2003, vol. 35, no. 4, pp. 403–419.
Idrees, N., Pfister, G., and Steidel, S., Parallelization of Modular Algorithms, J. Symb. Comput., 2011, vol. 46, no. 6, pp. 672–684; arXiv:1005.5663.
Kornerup, P. and Gregory, R., Mapping Integers and Hensel Codes onto Farey Fractions, Bit, 1983, vol. 23, pp. 9–20.
Bini, D. and Mourrain, B., Polynomial Test Suite. http://www-sop.inria.f-/saga/POL
Verschelde, J., The Database with Test Examples. http://www.math.uic.edu/jan/demo.html
Gerdt, V.P. and Yanovich, D. A., Parallel Computation of Janet and Gröbner Bases over Rational Numbers, Programming Comput. Software, 2005, vol. 31, no. 2, pp. 73–80.
Leykin A., On Parallel Computation of Gröbner Bases, Proc. of the ICPP 2004 Workshop High Performance Scientific and Engineering Computing, IEEE Comput. Soc., 2004, pp. 160–164.
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © D.A. Yanovich, 2013, published in Programmirovanie, 2013, Vol. 39, No. 2.
Rights and permissions
About this article
Cite this article
Yanovich, D.A. Parallel modular computation of Gröbner and involutive bases. Program Comput Soft 39, 110–113 (2013). https://doi.org/10.1134/S0361768813020084
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0361768813020084