22 #include <NTL/mat_ZZ.h>
ZZ convertFacCF2NTLZZ(const CanonicalForm &f)
NAME: convertFacCF2NTLZZX.
Conversion to and from NTL.
CFMatrix * cf_LLL(CFMatrix &A)
performs LLL reduction.
CFMatrix * cf_HNF(CFMatrix &A)
The input matrix A is an n x m matrix of rank m (so n >= m), and D is a multiple of the determinant o...
mat_ZZ * convertFacCFMatrix2NTLmat_ZZ(const CFMatrix &m)
CanonicalForm determinant(const CFMatrix &M, int n)
CFMatrix * convertNTLmat_ZZ2FacCFMatrix(const mat_ZZ &m)