Definition at line 946 of file matrix.cpp.
References SLProgram::addDet(), to_gmp_ZZ(), and M2SLProgram::value().