4ti2という計算代数ソフトウェアパッケージ(?)があるのか。知らなかった。

4ti2---A software package for algebraic, geometric and combinatorial problems on linear spaces
http://www.4ti2.de/