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