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