[PPL-devel] [GIT] ppl/ppl(master): Added comments.

[Patricia Hill]

Module: ppl/ppl
Branch: master
Commit: d4483b02e0662083fcfaf8d2652ca2ddb1f34811
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d4483b02e0662083fcfaf8d2652ca2ddb1f34811

Author: Patricia Hill <p.m.hill at 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,