[PPL-devel] [GIT] ppl/ppl(floating_point): Use \defeq instead of = for definitions.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at 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.