C++ library for Groebner basis computation (developer tools)

 Mathic is a C++ library of fast data structures designed for use in Groebner
 basis computation. This includes data structures for ordering S-pairs,
 performing divisor queries and ordering polynomial terms during polynomial
 reduction.
 .
 This package contains the developer tools.