Skip to main content
Log in

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.

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.

Institutional subscriptions

REFERENCES

  1. 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.

    MATH  Google Scholar 

  2. Zharkov, A.Yu. and Blinkov, Yu.A., Involutive systems of algebraic equations, Programmirovanie, 1994, no. 1, pp. 53–56.

  3. Gerdt, V.P. and Blinkov, Yu.A., Minimal involutive bases, Math. Comput. Simul., 1998, vol. 45, pp. 543–560.

    Article  MathSciNet  MATH  Google Scholar 

  4. 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.

    Article  MathSciNet  MATH  Google Scholar 

  5. Blinkov, Yu.A. and Gerdt, V.P., Specialized computer algebra system GINV, Program. Comput. Software, 2008, vol. 34, pp. 112–123.

    Article  MathSciNet  MATH  Google Scholar 

  6. McCarthy, J., Recursive functions of symbolic expressions and their computation by machine, Part I, Commun. ACM, 1960, no. 4, pp. 184–195.

  7. 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.

  8. 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.

  9. Onozawa, H., Ugawa, T., and Iwasaki, H., Fusuma: Double-ended threaded compaction, Proc. ACM SIGPLAN ISMM, 2021, pp. 94–106.

  10. 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.

  11. 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.

  12. 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.

    Article  MathSciNet  MATH  Google Scholar 

  13. 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.

    MATH  Google Scholar 

Download references

Funding

This work was supported by the Strategic Academic Leadership Program of the Peoples’ Friendship University of Russia.

Author information

Authors and Affiliations

Authors

Corresponding authors

Correspondence to Yu. A. Blinkov or E. Yu. Shchetinin.

Ethics declarations

The authors declare that they have no conflicts of interest.

Additional information

Translated by Yu. Kornienko

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0361768823020056

Navigation