Abstract
A new version of GInv (Gröbner Involutive) for computing involutive Gröbner bases is presented as a library in C++11. GInv uses object-oriented memory reallocation for dynamic data structures, such as lists, red-black trees, binary trees, and GMP libraries for arbitrary-precision integer calculations. The interface of the package is designed as a Python3 module.
Similar content being viewed by others
REFERENCES
Buchberger, B., Gröbner bases: A Buchberger algorithmic method in polynomial ideal theory, Recent Trends in Multidimensional System Theory, Bose, N.K., Ed., Dordrecht: Reidel, 1985, vol. 6, pp. 184–232.
Zharkov, A.Yu. and Blinkov, Yu.A., Involutive systems of algebraic equations, Programmirovanie, 1994, no. 1, pp. 53–56.
Gerdt, V.P. and Blinkov, Yu.A., Minimal involutive bases, Math. Comput. Simul., 1998, vol. 45, pp. 543–560.
Faugére, J.-C., A new efficient algorithm for computing Gröbner bases (F4), J. Pure Appl. Algebra, 1999, vol. 139, nos. 1–3, pp. 61–88.
Blinkov, Yu.A. and Gerdt, V.P., Specialized computer algebra system GINV, Program. Comput. Software, 2008, vol. 34, pp. 112–123.
McCarthy, J., Recursive functions of symbolic expressions and their computation by machine, Part I, Commun. ACM, 1960, no. 4, pp. 184–195.
Bansal, A., Goel, S., Shah, P., Sanyal, A., and Kumar, P., Garbage collection using a finite liveness domain, Proc. ACM SIGPLAN ISMM, 2020, pp. 1–15.
Yang, A.M., Österlund, E., Wilhelmsson, J., Nyblom, H., and Wrigstad, T., ThinGC: Complete isolation with marginal overhead, Proc. ACM SIGPLAN ISMM, 2020, pp. 74–86.
Onozawa, H., Ugawa, T., and Iwasaki, H., Fusuma: Double-ended threaded compaction, Proc. ACM SIGPLAN ISMM, 2021, pp. 94–106.
Tripp, C., Hyde, D., and Grossman-Ponemon, B., FRC: A high-performance concurrent parallel deferred reference counter for C++, Proc. ACM SIGPLAN ISMM, 2018, pp. 14–28.
Seyri, A., Pan, A., and Vamanan, B., MemSweeper: Virtualizing cluster memory management for high memory utilization and isolation, Proc. ACM SIGPLAN ISMM, 2022, pp. 15–28.
Gerdt, V.P., Yanovich, D.A., and Blinkov, Yu.A., Fast search for the Janet divisor, Program. Comput. Software, 2001, vol. 27, pp. 22–24.
Popov, A.S., Cubature formulas on a sphere that are invariant to the icosahedron rotation group, Sib. Zh. Vychisl. Mat., 2008, vol. 11, no. 4, pp. 433–440.
Funding
This work was supported by the Strategic Academic Leadership Program of the Peoples’ Friendship University of Russia.
Author information
Authors and Affiliations
Corresponding authors
Ethics declarations
The authors declare that they have no conflicts of interest.
Additional information
Translated by Yu. Kornienko
Rights and permissions
About this article
Cite this article
Blinkov, Y.A., Shchetinin, E.Y. Using Dynamic Memory Reallocation in GInv. Program Comput Soft 49, 355–359 (2023). https://doi.org/10.1134/S0361768823020056
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0361768823020056