nixsearch / pkg / mathic

mathic

C++ library of fast data structures designed for use in Groebner basis computation

LGPL-2.0-or-later github.com mathic 3 releases newest changed 13 days ago

version1.5 attributemathic revd54020a6ac3211e9f4201631bdf67678818c0cdf 2026-09-26 · one commit for every system systems✓ aarch64-darwin✓ aarch64-linuxx86_64-darwin✓ x86_64-linux

$ devbox add mathic@1.5

$ nix shell github:NixOS/nixpkgs/d54020a6ac3211e9f4201631bdf67678818c0cdf#mathic

JSON: /v2/resolve?name=mathic&version=latest

Releases

newest first, as /v2/pkg orders them

Version	arm mac	arm linux	x86 mac	x86 linux	Attribute	Commit	Date
1.5resolved	✓	✓	–	✓	`mathic`	02f5696b0e	2026-09-13
1.4	✓	✓	✓	✓	`mathic`	varies	2026-08-27
1.3	✓	✓	✓	✓	`mathic`	a0991c886d	2026-05-22

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.

Description

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. With Mathic you get to use highly optimized code with little effort so that you can focus more of your time on whatever part of your Groebner basis implementation that you are interested in. The data structures use templates to allow you to use them with whatever representation of monomials/terms and coefficients that your code uses. In fact the only places where Mathic defines its own monomials/terms is in the test code and example code. Currently only dense representations of terms/monomials are suitable since Mathic will frequently ask "what is the exponent of variable number x in this term/monomial?".