Module: ppl/ppl Branch: master Commit: aa99fbdd05ff71b6ddd9ace3d7401ca4a967af5b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa99fbdd05ff7... Author: Patricia Hill <p.m.hill@leeds.ac.uk> Date: Tue Mar 23 17:51:20 2010 +0000 Improved documentation for frequency. --- doc/definitions.dox | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/definitions.dox b/doc/definitions.dox index 6d9a73b..1a2a048 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -2212,10 +2212,10 @@ the frequency \f$f\f$ and a value where \f$\vect{w} \in \cL\f$ and \f[ |\mathrm{val}| - = \min\Bigl\{ + = \min\Bigl\{\, \big|\langle \vect{a}, \vect{v} \rangle + b \big| \Bigm| \vect{v} \in \cL - \Bigr\}. + \,\Bigr\}. \f] Observe that the above definition is also applied to other simple objects in