[PPL-devel] [GIT] ppl/ppl(floating_point): Remove all references to floating point format f.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Thu Sep 10 14:28:46 2009 +0200

Remove all references to floating point format f.

---

 doc/ppl.sty |   16 ++++++++--------
 1 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/doc/ppl.sty b/doc/ppl.sty
index 7b3a550..13612ec 100644
--- a/doc/ppl.sty
+++ b/doc/ppl.sty
@@ -181,17 +181,17 @@
 
 % Interval floating point arithmetics
 
-\newcommand*{\asifp}{\oplus^{\#}_{\mathbf{f}}}
-\newcommand*{\adifp}{\ominus^{\#}_{\mathbf{f}}}
-\newcommand*{\adivifp}{\oslash^{\#}_{\mathbf{f}}}
-\newcommand*{\amifp}{\otimes^{\#}_{\mathbf{f}}}
+\newcommand*{\asifp}{\oplus^{\#}}
+\newcommand*{\adifp}{\ominus^{\#}}
+\newcommand*{\adivifp}{\oslash^{\#}}
+\newcommand*{\amifp}{\otimes^{\#}}
 
 % Linear form arithmetics
 
-\newcommand*{\aslf}{\boxplus^{\#}_{\mathbf{f}}}
-\newcommand*{\adlf}{\boxminus^{\#}_{\mathbf{f}}}
-\newcommand*{\adivlf}{\boxslash^{\#}_{\mathbf{f}}}
-\newcommand*{\amlf}{\boxtimes^{\#}_{\mathbf{f}}}
+\newcommand*{\aslf}{\boxplus^{\#}}
+\newcommand*{\adlf}{\boxminus^{\#}}
+\newcommand*{\adivlf}{\boxslash^{\#}}
+\newcommand*{\amlf}{\boxtimes^{\#}}
 \def\llexpr{(\kern-.1667em|}
 \def\rlexpr{|\kern-.1667em)}
 \newcommand*{\linexpr}[1]{\llexpr #1 \rlexpr}