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