Module: ppl/ppl Branch: master Commit: d4483b02e0662083fcfaf8d2652ca2ddb1f34811 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d4483b02e0662... Author: Patricia Hill <p.m.hill@leeds.ac.uk> Date: Fri Mar 23 20:04:38 2012 +0000 Added comments. --- src/Grid.defs.hh | 23 ++++++++++++++++++++--- 1 files changed, 20 insertions(+), 3 deletions(-) diff --git a/src/Grid.defs.hh b/src/Grid.defs.hh index 3027fda..6925cd5 100644 --- a/src/Grid.defs.hh +++ b/src/Grid.defs.hh @@ -2505,9 +2505,26 @@ private: \f$\{3x \equiv_3 0, x + y \equiv_3 1\}\f$ (which is in strong minimal form). - Only consider from index \p start to index \p end of the row at \p - pivot_index. Flag \p generators indicates whether \p sys is a - congruence or generator system. + \param sys + The generator or congruence system to be reduced to strong minimal form. + + \param dim + Column to be reduced. + + \param pivot_index + Index of last row to be reduced. + + \param start + Index of first column to be changed. + + \param end + Index of last column to be changed. + + \param sys_dim_kinds + Dimension kinds of the elements of \p sys. + + \param generators + Flag indicating whether \p sys is a congruence or generator system */ template <typename M, typename R> static void reduce_reduced(M& sys, dimension_type dim,