Now, we support only x86_64 on Linux

Linear Solver

Charactristic polynomial

Minimal polynomial without the check procedure

Minimal polynomial with the check procedure

Determinant

Resultant

Real root counting