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