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