From the Ginv website (http://invo.jinr.ru/ginv/index.html)
"The open source software GINV implements the Gröbner bases method for systems of equations. GINV is a C++ module of Python designed for constructing Gröbner bases of ideals and modules in polynomial, differential and difference rings. Gröbner bases are constructed by involutive algorithms. GINV is an open source software. The source codes, the installation package for Python, documentation in Russian and English are available on the Web page http://invo.jinr.ru"

The package has a pretty good reputation for fast GBs over QQ. It also is reported to have a fast multivariate GCD over QQ and GF(q) and GBs over ZZ.

CC: @burcin

Component: packages: standard

Issue created by migration from https://trac.sagemath.org/ticket/3716