[PPL-devel] [GIT] ppl/ppl(master): Several errors in the documentation for frequency fixed.

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Tue Mar 23 14:24:19 2010 +0000

Several errors in the documentation for frequency fixed.

---

 doc/definitions.dox |   14 +++++++-------
 1 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/doc/definitions.dox b/doc/definitions.dox
index a0f8782..469ce91 100644
--- a/doc/definitions.dox
+++ b/doc/definitions.dox
@@ -2201,8 +2201,8 @@ affine expression \f$\mathrm{rhs}\f$.
 Let \f$\cL \in \Gset_n\f$ be any non-empty grid and
 \f$\mathrm{expr} = \bigl(\langle \vect{a}, \vect{x} \rangle + b\bigr)\f$
 be a linear expression. Then if, for
-some \f$b, f \in \Rset\f$, all the points in \f$\cL\f$ satisfy the
-congruence \f$\cg = ( \mathrm{expr} \equiv_f b )\f$, then the maximum
+some \f$c, f \in \Rset\f$, all the points in \f$\cL\f$ satisfy the
+congruence \f$\cg = ( \mathrm{expr} \equiv_f c )\f$, then the maximum
 \f$f\f$ such that this holds is called the <EM>frequency</EM> of
 \f$\cL\f$ with respect to \f$\mathrm{expr}\f$.
 
@@ -2213,8 +2213,8 @@ where \f$\vect{w} \in \cL\f$ and
 \f[
     |\mathrm{val}|
        = \min\Bigl\{
-               \bigl|\langle \vect{a}, \vect{v} \rangle + b
-               \bigr| \st \vect{v} \in \cL
+               \big|\langle \vect{a}, \vect{v} \rangle + b
+               \big| \Big| \vect{v} \in \cL
              \Bigr\}.
 \f]
 
@@ -2222,9 +2222,9 @@ Observe that the above definition is also applied to other simple objects in
 the library like polyhedra, octagonal shapes, bd-shapes and boxes
 and in such cases the definition of frequency can be simplified.
 For instance, the frequency for an object \f$\cP \in \Pset_n\f$ is
-defined if and only if there is a unique value \f$b\f$ such that
-\f$\cP\f$ saturates the equality \f$( \mathrm{expr} = b )\f$;
-in this case the frequency is \f$0\f$ and the value returned is \f$b\f$.
+defined if and only if there is a unique value \f$c\f$ such that
+\f$\cP\f$ saturates the equality \f$( \mathrm{expr} = c )\f$;
+in this case the frequency is \f$0\f$ and the value returned is \f$c\f$.
 
 \subsection Grid_Time_Elapse Time-Elapse Operator