[PPL-devel] [GIT] ppl/ppl(floating_point): Updated linearization documentation;

[Fabio Biselli]

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

Author: Fabio Biselli <fabio.biselli at studenti.unipr.it>
Date:   Tue Sep  8 14:20:01 2009 +0200

Updated linearization documentation;
Added formulas to class descriptions;

---

 doc/ppl.sty                                        |   11 +++++
 src/Difference_Floating_Point_Expression.defs.hh   |   32 +++++++++++---
 src/Division_Floating_Point_Expression.defs.hh     |   31 ++++++++++++--
 src/Floating_Point_Expression.defs.hh              |   44 +++++++++++---------
 ...ultiplication_Floating_Point_Expression.defs.hh |   28 +++++++++++--
 src/Sum_Floating_Point_Expression.defs.hh          |   25 ++++++++---
 6 files changed, 129 insertions(+), 42 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=58e9e3af70bd3cfeb8e5709c1eeafd5b691b84a2