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