Module: ppl/ppl Branch: floating_point Commit: b9bc246da10ae1d8e19a3ed0f9c729761ee4994d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b9bc246da10ae... Author: Fabio Bossi <bossi@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}