Module: ppl/ppl Branch: master Commit: 1736b8c74e21704643ebd5a878dcf0f7db0f9dc5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1736b8c74e217... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Fri May 15 14:47:30 2009 +0200 Minor improvement. --- doc/definitions.dox | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index 9cbdb65..83cd6a7 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -2072,15 +2072,15 @@ is the grid The library provides operators for checking the relation holding between a grid and -a congruence, a grid generator, constraint or a (polyhedron) generator. +a congruence, a grid generator, a constraint or a (polyhedron) generator. Suppose \f$\cL\f$ is a grid and \f$\cC\f$ an arbitrary congruence system representing \f$\cL\f$. Suppose also that \f$ \cg = \bigl( - \langle \vect{a}, \vect{x} \rangle \equiv_f b - \bigr) + \langle \vect{a}, \vect{x} \rangle \equiv_f b + \bigr) \f$ is a congruence relation with \f$\cL_{\cg} = \gcon\bigl(\{\cg\}\bigr)\f$.