gb (cargo): Library for computing Gröbner bases.
Keywords: algebra|polynomial-systems|groebner-basis|grobner-basis