#include <last-invariant-factor.h>
This computes the last invariant factor of an integer matrix, whether zero or not, by rational solving.
Public Member Functions | |
LastInvariantFactor (const Solver &_solver=Solver(), const Ring &_r=Ring(), int _threshold=DEFAULTLIFTHRESHOLD) | |
template<class IMatrix, class Vector> Integer & | lastInvariantFactor (Integer &lif, const IMatrix &A, const Vector &PrimeL) const |
Compute the last invariant factor of an integer matrix, by solving linear system, ignoring these factors of primes in list PrimeL. | |
template<class IMatrix, class Vector> Integer & | lastInvariantFactor_Bonus (Integer &lif, Integer &bonus, const IMatrix &A, const Vector &PrimeL) const |
Compute the last invariant factor of an integer matrix, by solving linear system, ignoring these factors of primes in list PrimeL Implement the bonus in ref{....}. | |
template<class IMatrix> Integer & | lastInvariantFactor (Integer &lif, const IMatrix &A) const |
Compute the last invariant factor. | |
template<class IMatrix> Integer & | lastInvariantFactor_Bonus (Integer &lif, Integer &bonus, const IMatrix &A) const |
Compute the last invariant factor with bonus. |
|
_Ring, an integer ring, _Solver, a function which solves Ax = b over the quotient field of _Ring. |