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