Module: ppl/ppl Branch: floating_point Commit: 66515df137210d3048db981bd716f900c51e0075 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66515df137210...

Author: Fabio Bossi bossi@cs.unipr.it Date: Wed Sep 9 10:40:06 2009 +0200

Use \defeq instead of = for definitions. Fixed an error concerning frames.

---

doc/definitions.dox | 20 ++++++++++++++++---- 1 files changed, 16 insertions(+), 4 deletions(-)

diff --git a/doc/definitions.dox b/doc/definitions.dox index 07cbebd..da987ea 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -2665,28 +2665,40 @@ The operations on interval linear forms are intuitively defined as follows: \left(i + \sum_{v \in V}i_{v}v\right) \aslf \left(i' + \sum_{v \in V}i'_{v}v\right) - = + \defeq \left(i \asifp i'\right) + \sum_{v \in V}\left(i_{v} \asifp i'_{v}\right)v,

+\f] + +\f[ + \left(i + \sum_{v \in V}i_{v}v\right) \adlf \left(i' + \sum_{v \in V}i'_{v}v\right) - = + \defeq \left(i \adifp i'\right) + \sum_{v \in V}\left(i_{v} \adifp i'_{v}\right)v,

+\f] + +\f[ + i \amlf \left(i' + \sum_{v \in V}i'_{v}v\right) - = + \defeq \left(i \amifp i'\right) + \sum_{v \in V}\left(i \amifp i'_{v}\right)v,

+\f] + +\f[ + \left(i + \sum_{v \in V}i_{v}v\right) \adivlf i' - = + \defeq \left(i \adivifp i'\right) + \sum_{v \in V}\left(i_{v} \adivifp i'\right)v.