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