Boost-Commit :

Date view	Thread view	Subject view	Author view

Subject: [Boost-commit] svn:boost r81163 - in sandbox/big_number: boost/multiprecision libs/multiprecision/doc libs/multiprecision/doc/html libs/multiprecision/doc/html/boost_multiprecision libs/multiprecision/doc/html/boost_multiprecision/indexes libs/multiprecision/doc/html/boost_multiprecision/map libs/multiprecision/doc/html/boost_multiprecision/ref libs/multiprecision/doc/html/boost_multiprecision/tut libs/multiprecision/example
From: john_at_[hidden]
Date: 2012-11-03 14:27:13

Next message: joel_at_[hidden]: "[Boost-commit] svn:boost r81164 - trunk/libs/fusion/doc"
Previous message: antoshkka_at_[hidden]: "[Boost-commit] svn:boost r81162 - in trunk/libs/conversion: . test"

Author: johnmaddock
Date: 2012-11-03 14:27:11 EDT (Sat, 03 Nov 2012)
New Revision: 81163
URL: http://svn.boost.org/trac/boost/changeset/81163

Log:
Fix mpfr_float_backend interconversions.
Update docs and regenerate.
Added:
   sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/tut/mixed.html (contents, props changed)
   sandbox/big_number/libs/multiprecision/example/mixed_integer_arithmetic.cpp (contents, props changed)
Text files modified:
   sandbox/big_number/boost/multiprecision/mpfr.hpp | 12 ++--
   sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/indexes/s01.html | 32 ++++++++++-
   sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/indexes/s02.html | 4
   sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/indexes/s03.html | 4
   sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/indexes/s04.html | 42 +++++++++++++++-
   sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/map/hist.html | 4 +
   sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/ref.html | 6 +-
   sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/ref/number.html | 50 +++++++++++++++++-
   sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/tut.html | 1
   sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/tut/rounding.html | 6 +-
   sandbox/big_number/libs/multiprecision/doc/html/index.html | 3
   sandbox/big_number/libs/multiprecision/doc/multiprecision.qbk | 103 ++++++++++++++++++++++++++++++++++++++++
   12 files changed, 238 insertions(+), 29 deletions(-)

Modified: sandbox/big_number/boost/multiprecision/mpfr.hpp
==============================================================================
--- sandbox/big_number/boost/multiprecision/mpfr.hpp (original)
+++ sandbox/big_number/boost/multiprecision/mpfr.hpp 2012-11-03 14:27:11 EDT (Sat, 03 Nov 2012)
@@ -608,14 +608,14 @@
#ifndef BOOST_NO_RVALUE_REFERENCES
 mpfr_float_backend(mpfr_float_backend&& o) : detail::mpfr_float_imp<digits10, AllocationType>(static_cast<detail::mpfr_float_imp<digits10, AllocationType>&&>(o)) {}
#endif
- template <unsigned D>
- mpfr_float_backend(const mpfr_float_backend<D>& val, typename enable_if_c<D <= digits10>::type* = 0)
+ template <unsigned D, mpfr_allocation_type AT>
+ mpfr_float_backend(const mpfr_float_backend<D, AT>& val, typename enable_if_c<D <= digits10>::type* = 0)
 : detail::mpfr_float_imp<digits10, AllocationType>()
 {
 mpfr_set(this->m_data, val.data(), GMP_RNDN);
 }
- template <unsigned D>
- explicit mpfr_float_backend(const mpfr_float_backend<D>& val, typename disable_if_c<D <= digits10>::type* = 0)
+ template <unsigned D, mpfr_allocation_type AT>
+ explicit mpfr_float_backend(const mpfr_float_backend<D, AT>& val, typename disable_if_c<D <= digits10>::type* = 0)
 : detail::mpfr_float_imp<digits10, AllocationType>()
 {
 mpfr_set(this->m_data, val.data(), GMP_RNDN);
@@ -701,8 +701,8 @@
 return *this;
 }
 // We don't change our precision here, this is a fixed precision type:
- template <unsigned D>
- mpfr_float_backend& operator=(const mpfr_float_backend<D>& val) BOOST_NOEXCEPT
+ template <unsigned D, mpfr_allocation_type AT>
+ mpfr_float_backend& operator=(const mpfr_float_backend<D, AT>& val) BOOST_NOEXCEPT
 {
 mpfr_set(this->m_data, val.data(), GMP_RNDN);
 return *this;

Modified: sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/indexes/s01.html
==============================================================================
--- sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/indexes/s01.html (original)
+++ sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/indexes/s01.html 2012-11-03 14:27:11 EDT (Sat, 03 Nov 2012)
@@ -13,9 +13,9 @@
<div class="spirit-nav">
<a accesskey="p" href="../indexes.html"><img src="../../images/prev.png" alt="Prev"></a><a accesskey="u" href="../indexes.html"><img src="../../images/up.png" alt="Up"></a><a accesskey="h" href="../../index.html"><img src="../../images/home.png" alt="Home"></a><a accesskey="n" href="s02.html"><img src="../../images/next.png" alt="Next"></a>
</div>
-<div class="section id958426">
+<div class="section id961630">
<div class="titlepage"><div><div><h3 class="title">
-<a name="id958426"></a>Function Index</h3></div></div></div>
+<a name="id961630"></a>Function Index</h3></div></div></div>
<a class="link" href="s01.html#idx_id_0">A</a> <a class="link" href="s01.html#idx_id_1">B</a> <a class="link" href="s01.html#idx_id_2">C</a> <a class="link" href="s01.html#idx_id_3">D</a> <a class="link" href="s01.html#idx_id_4">E</a> <a class="link" href="s01.html#idx_id_5">F</a> <a class="link" href="s01.html#idx_id_7">I</a> <a class="link" href="s01.html#idx_id_8">L</a> <a class="link" href="s01.html#idx_id_9">M</a> <a class="link" href="s01.html#idx_id_12">P</a> <a class="link" href="s01.html#idx_id_13">R</a> <a class="link" href="s01.html#idx_id_14">S</a> <a class="link" href="s01.html#idx_id_15">T</a> <a class="link" href="s01.html#idx_id_17">Z</a>
<div class="variablelist"><dl class="variablelist">
<dt>
@@ -27,6 +27,14 @@
<div class="index"><ul class="index" style="list-style-type: none; "><li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">number</a></li></ul></div>
</li>
<li class="listitem" style="list-style-type: none">
+add
+<div class="index"><ul class="index" style="list-style-type: none; ">
+<li class="listitem" style="list-style-type: none"><a class="link" href="../tut/mixed.html" title="Mixed Precision Arithmetic">Mixed Precision Arithmetic</a></li>
+<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">number</a></li>
+<li class="listitem" style="list-style-type: none"><a class="link" href="../map/todo.html" title="TODO">TODO</a></li>
+</ul></div>
+</li>
+<li class="listitem" style="list-style-type: none">
assign
<div class="index"><ul class="index" style="list-style-type: none; "><li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">number</a></li></ul></div>
</li>
@@ -403,13 +411,22 @@
<dt>
<a name="idx_id_9"></a>M
</dt>
-<dd><div class="index"><ul class="index" style="list-style-type: none; "><li class="listitem" style="list-style-type: none">
+<dd><div class="index"><ul class="index" style="list-style-type: none; ">
+<li class="listitem" style="list-style-type: none">
miller_rabin_test
<div class="index"><ul class="index" style="list-style-type: none; ">
<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">number</a></li>
<li class="listitem" style="list-style-type: none"><a class="link" href="../tut/primetest.html" title="Primality Testing">Primality Testing</a></li>
</ul></div>
-</li></ul></div></dd>
+</li>
+<li class="listitem" style="list-style-type: none">
+multiply
+<div class="index"><ul class="index" style="list-style-type: none; ">
+<li class="listitem" style="list-style-type: none"><a class="link" href="../tut/mixed.html" title="Mixed Precision Arithmetic">Mixed Precision Arithmetic</a></li>
+<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">number</a></li>
+</ul></div>
+</li>
+</ul></div></dd>
<dt>
<a name="idx_id_12"></a>P
</dt>
@@ -449,6 +466,13 @@
<div class="index"><ul class="index" style="list-style-type: none; "><li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">number</a></li></ul></div>
</li>
<li class="listitem" style="list-style-type: none">
+subtract
+<div class="index"><ul class="index" style="list-style-type: none; ">
+<li class="listitem" style="list-style-type: none"><a class="link" href="../tut/mixed.html" title="Mixed Precision Arithmetic">Mixed Precision Arithmetic</a></li>
+<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">number</a></li>
+</ul></div>
+</li>
+<li class="listitem" style="list-style-type: none">
swap
<div class="index"><ul class="index" style="list-style-type: none; "><li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">number</a></li></ul></div>
</li>

Modified: sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/indexes/s02.html
==============================================================================
--- sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/indexes/s02.html (original)
+++ sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/indexes/s02.html 2012-11-03 14:27:11 EDT (Sat, 03 Nov 2012)
@@ -13,9 +13,9 @@
<div class="spirit-nav">
<a accesskey="p" href="s01.html"><img src="../../images/prev.png" alt="Prev"></a><a accesskey="u" href="../indexes.html"><img src="../../images/up.png" alt="Up"></a><a accesskey="h" href="../../index.html"><img src="../../images/home.png" alt="Home"></a><a accesskey="n" href="s03.html"><img src="../../images/next.png" alt="Next"></a>
</div>
-<div class="section id962951">
+<div class="section id966675">
<div class="titlepage"><div><div><h3 class="title">
-<a name="id962951"></a>Class Index</h3></div></div></div>
+<a name="id966675"></a>Class Index</h3></div></div></div>
<a class="link" href="s02.html#idx_id_20">C</a> <a class="link" href="s02.html#idx_id_22">E</a> <a class="link" href="s02.html#idx_id_24">G</a> <a class="link" href="s02.html#idx_id_25">I</a> <a class="link" href="s02.html#idx_id_27">M</a> <a class="link" href="s02.html#idx_id_28">N</a> <a class="link" href="s02.html#idx_id_33">T</a>
<div class="variablelist"><dl class="variablelist">
<dt>

Modified: sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/indexes/s03.html
==============================================================================
--- sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/indexes/s03.html (original)
+++ sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/indexes/s03.html 2012-11-03 14:27:11 EDT (Sat, 03 Nov 2012)
@@ -13,9 +13,9 @@
<div class="spirit-nav">
<a accesskey="p" href="s02.html"><img src="../../images/prev.png" alt="Prev"></a><a accesskey="u" href="../indexes.html"><img src="../../images/up.png" alt="Up"></a><a accesskey="h" href="../../index.html"><img src="../../images/home.png" alt="Home"></a><a accesskey="n" href="s04.html"><img src="../../images/next.png" alt="Next"></a>
</div>
-<div class="section id963368">
+<div class="section id967092">
<div class="titlepage"><div><div><h3 class="title">
-<a name="id963368"></a>Typedef Index</h3></div></div></div>
+<a name="id967092"></a>Typedef Index</h3></div></div></div>
<a class="link" href="s03.html#idx_id_38">C</a> <a class="link" href="s03.html#idx_id_43">I</a> <a class="link" href="s03.html#idx_id_44">L</a> <a class="link" href="s03.html#idx_id_45">M</a> <a class="link" href="s03.html#idx_id_50">S</a> <a class="link" href="s03.html#idx_id_51">T</a> <a class="link" href="s03.html#idx_id_52">U</a>
<div class="variablelist"><dl class="variablelist">
<dt>

Modified: sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/indexes/s04.html
==============================================================================
--- sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/indexes/s04.html (original)
+++ sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/indexes/s04.html 2012-11-03 14:27:11 EDT (Sat, 03 Nov 2012)
@@ -12,9 +12,9 @@
<div class="spirit-nav">
<a accesskey="p" href="s03.html"><img src="../../images/prev.png" alt="Prev"></a><a accesskey="u" href="../indexes.html"><img src="../../images/up.png" alt="Up"></a><a accesskey="h" href="../../index.html"><img src="../../images/home.png" alt="Home"></a>
</div>
-<div class="section id964368">
+<div class="section id968092">
<div class="titlepage"><div><div><h3 class="title">
-<a name="id964368"></a>Index</h3></div></div></div>
+<a name="id968092"></a>Index</h3></div></div></div>
<a class="link" href="s04.html#idx_id_54">A</a> <a class="link" href="s04.html#idx_id_55">B</a> <a class="link" href="s04.html#idx_id_56">C</a> <a class="link" href="s04.html#idx_id_57">D</a> <a class="link" href="s04.html#idx_id_58">E</a> <a class="link" href="s04.html#idx_id_59">F</a> <a class="link" href="s04.html#idx_id_60">G</a> <a class="link" href="s04.html#idx_id_61">I</a> <a class="link" href="s04.html#idx_id_62">L</a> <a class="link" href="s04.html#idx_id_63">M</a> <a class="link" href="s04.html#idx_id_64">N</a> <a class="link" href="s04.html#idx_id_65">O</a> <a class="link" href="s04.html#idx_id_66">P</a> <a class="link" href="s04.html#idx_id_67">R</a> <a class="link" href="s04.html#idx_id_68">S</a> <a class="link" href="s04.html#idx_id_69">T</a> <a class="link" href="s04.html#idx_id_70">U</a> <a class="link" href="s04.html#idx_id_71">Z</a>
<div class="variablelist"><dl class="variablelist">
<dt>
@@ -26,6 +26,14 @@
<div class="index"><ul class="index" style="list-style-type: none; "><li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">number</a></li></ul></div>
</li>
<li class="listitem" style="list-style-type: none">
+add
+<div class="index"><ul class="index" style="list-style-type: none; ">
+<li class="listitem" style="list-style-type: none"><a class="link" href="../tut/mixed.html" title="Mixed Precision Arithmetic">Mixed Precision Arithmetic</a></li>
+<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">number</a></li>
+<li class="listitem" style="list-style-type: none"><a class="link" href="../map/todo.html" title="TODO">TODO</a></li>
+</ul></div>
+</li>
+<li class="listitem" style="list-style-type: none">
assign
<div class="index"><ul class="index" style="list-style-type: none; "><li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">number</a></li></ul></div>
</li>
@@ -661,6 +669,14 @@
</ul></div>
</li>
<li class="listitem" style="list-style-type: none">
+Mixed Precision Arithmetic
+<div class="index"><ul class="index" style="list-style-type: none; ">
+<li class="listitem" style="list-style-type: none"><a class="link" href="../tut/mixed.html" title="Mixed Precision Arithmetic">add</a></li>
+<li class="listitem" style="list-style-type: none"><a class="link" href="../tut/mixed.html" title="Mixed Precision Arithmetic">multiply</a></li>
+<li class="listitem" style="list-style-type: none"><a class="link" href="../tut/mixed.html" title="Mixed Precision Arithmetic">subtract</a></li>
+</ul></div>
+</li>
+<li class="listitem" style="list-style-type: none">
mpfr_float
<div class="index"><ul class="index" style="list-style-type: none; ">
<li class="listitem" style="list-style-type: none"><a class="link" href="../tut/floats/mpfr_float.html" title="mpfr_float">data</a></li>
@@ -748,6 +764,13 @@
<li class="listitem" style="list-style-type: none"><a class="link" href="../tut/floats/fp_eg/poly_eg.html" title="Polynomial Evaluation">Polynomial Evaluation</a></li>
</ul></div>
</li>
+<li class="listitem" style="list-style-type: none">
+multiply
+<div class="index"><ul class="index" style="list-style-type: none; ">
+<li class="listitem" style="list-style-type: none"><a class="link" href="../tut/mixed.html" title="Mixed Precision Arithmetic">Mixed Precision Arithmetic</a></li>
+<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">number</a></li>
+</ul></div>
+</li>
</ul></div></dd>
<dt>
<a name="idx_id_64"></a>N
@@ -757,6 +780,7 @@
number
<div class="index"><ul class="index" style="list-style-type: none; ">
<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">abs</a></li>
+<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">add</a></li>
<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">assign</a></li>
<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">bit_flip</a></li>
<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">bit_set</a></li>
@@ -783,12 +807,14 @@
<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">lsb</a></li>
<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">ltrunc</a></li>
<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">miller_rabin_test</a></li>
+<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">multiply</a></li>
<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">number</a></li>
<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">number_category</a></li>
<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">powm</a></li>
<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">precision</a></li>
<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">round</a></li>
<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">str</a></li>
+<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">subtract</a></li>
<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">swap</a></li>
<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">trunc</a></li>
</ul></div>
@@ -911,6 +937,13 @@
<div class="index"><ul class="index" style="list-style-type: none; "><li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">number</a></li></ul></div>
</li>
<li class="listitem" style="list-style-type: none">
+subtract
+<div class="index"><ul class="index" style="list-style-type: none; ">
+<li class="listitem" style="list-style-type: none"><a class="link" href="../tut/mixed.html" title="Mixed Precision Arithmetic">Mixed Precision Arithmetic</a></li>
+<li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">number</a></li>
+</ul></div>
+</li>
+<li class="listitem" style="list-style-type: none">
swap
<div class="index"><ul class="index" style="list-style-type: none; "><li class="listitem" style="list-style-type: none"><a class="link" href="../ref/number.html" title="number">number</a></li></ul></div>
</li>
@@ -921,7 +954,10 @@
<dd><div class="index"><ul class="index" style="list-style-type: none; ">
<li class="listitem" style="list-style-type: none">
TODO
-<div class="index"><ul class="index" style="list-style-type: none; "><li class="listitem" style="list-style-type: none"><a class="link" href="../map/todo.html" title="TODO">cpp_dec_float</a></li></ul></div>
+<div class="index"><ul class="index" style="list-style-type: none; ">
+<li class="listitem" style="list-style-type: none"><a class="link" href="../map/todo.html" title="TODO">add</a></li>
+<li class="listitem" style="list-style-type: none"><a class="link" href="../map/todo.html" title="TODO">cpp_dec_float</a></li>
+</ul></div>
</li>
<li class="listitem" style="list-style-type: none">
tommath_int

Modified: sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/map/hist.html
==============================================================================
--- sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/map/hist.html (original)
+++ sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/map/hist.html 2012-11-03 14:27:11 EDT (Sat, 03 Nov 2012)
@@ -63,6 +63,10 @@
 Added additional template parameter to <code class="computeroutput">mpfr_float_backend</code>
 to allow stack-based allocation.
 </li>
+<li class="listitem">
+ Added section on mixed precision arithmetic, and added support for operations
+ yielding a higher precision result than either of the arguments.
+ </li>
</ul></div>
<h5>
<a name="boost_multiprecision.map.hist.h1"></a>

Modified: sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/ref.html
==============================================================================
--- sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/ref.html (original)
+++ sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/ref.html 2012-11-03 14:27:11 EDT (Sat, 03 Nov 2012)
@@ -6,12 +6,12 @@
<meta name="generator" content="DocBook XSL Stylesheets V1.77.1">
<link rel="home" href="../index.html" title="Chapter 1. Boost.Multiprecision">
<link rel="up" href="../index.html" title="Chapter 1. Boost.Multiprecision">
-<link rel="prev" href="tut/rounding.html" title="Rounding Rules for Conversions">
+<link rel="prev" href="tut/mixed.html" title="Mixed Precision Arithmetic">
<link rel="next" href="ref/number.html" title="number">
</head>
<body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF">
<div class="spirit-nav">
-<a accesskey="p" href="tut/rounding.html"><img src="../images/prev.png" alt="Prev"></a><a accesskey="u" href="../index.html"><img src="../images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../images/home.png" alt="Home"></a><a accesskey="n" href="ref/number.html"><img src="../images/next.png" alt="Next"></a>
+<a accesskey="p" href="tut/mixed.html"><img src="../images/prev.png" alt="Prev"></a><a accesskey="u" href="../index.html"><img src="../images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../images/home.png" alt="Home"></a><a accesskey="n" href="ref/number.html"><img src="../images/next.png" alt="Next"></a>
</div>
<div class="section boost_multiprecision_ref">
<div class="titlepage"><div><div><h2 class="title" style="clear: both">
@@ -41,7 +41,7 @@
</tr></table>
<hr>
<div class="spirit-nav">
-<a accesskey="p" href="tut/rounding.html"><img src="../images/prev.png" alt="Prev"></a><a accesskey="u" href="../index.html"><img src="../images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../images/home.png" alt="Home"></a><a accesskey="n" href="ref/number.html"><img src="../images/next.png" alt="Next"></a>
+<a accesskey="p" href="tut/mixed.html"><img src="../images/prev.png" alt="Prev"></a><a accesskey="u" href="../index.html"><img src="../images/up.png" alt="Up"></a><a accesskey="h" href="../index.html"><img src="../images/home.png" alt="Home"></a><a accesskey="n" href="ref/number.html"><img src="../images/next.png" alt="Next"></a>
</div>
</body>
</html>

Modified: sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/ref/number.html
==============================================================================
--- sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/ref/number.html (original)
+++ sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/ref/number.html 2012-11-03 14:27:11 EDT (Sat, 03 Nov 2012)
@@ -115,6 +115,14 @@
template <class Backend, expression_template_option ExpressionTemplates>
std::istream& operator >> (std::istream& is, number<Backend, ExpressionTemplates>& r);

+// Arithmetic with a higher precision result:
+template <class ResultType, class Source1 class Source2>
+ResultType& add(ResultType& result, const Source1& a, const Source2& b);
+template <class ResultType, class Source1 class Source2>
+ResultType& subtract(ResultType& result, const Source1& a, const Source2& b);
+template <class ResultType, class Source1 class Source2>
+ResultType& multiply(ResultType& result, const Source1& a, const Source2& b);
+
// Non-member function standard library support:
unmentionable-expression-template-type abs (const number-or-expression-template-type&);
unmentionable-expression-template-type fabs (const number-or-expression-template-type&);
@@ -566,6 +574,38 @@
 
<h5>
<a name="boost_multiprecision.ref.number.h5"></a>
+ <a name="boost_multiprecision.ref.number.arithmetic_with_a_higher_precision_result"></a><a class="link" href="number.html#boost_multiprecision.ref.number.arithmetic_with_a_higher_precision_result">Arithmetic
+ with a higher precision result</a>
+ </h5>
+<pre class="programlisting">template <class ResultType, class Source1 class Source2>
+ResultType& add(ResultType& result, const Source1& a, const Source2& b);
+
+template <class ResultType, class Source1 class Source2>
+ResultType& subtract(ResultType& result, const Source1& a, const Source2& b);
+
+template <class ResultType, class Source1 class Source2>
+ResultType& multiply(ResultType& result, const Source1& a, const Source2& b);
+</pre>
+
+ These functions apply the named operator to the arguments a
+ and b and store the result in result,
+ returning result. In all cases they behave "as
+ if" arguments a and b were
+ first promoted to type <code class="computeroutput">ResultType</code>
+ before applying the operator, though particular backends may well avoid that
+ step by way of an optimization.
+ 
+
+ The type <code class="computeroutput">ResultType</code> must
+ be an instance of class <code class="computeroutput">number</code>,
+ and the types <code class="computeroutput">Source1</code> and
+ <code class="computeroutput">Source2</code> may be either instances
+ of class <code class="computeroutput">number</code> or native
+ integer types. The latter is an optimization that allows arithmetic to be
+ performed on native integer types producing an extended precision result.
+ 
+<h5>
+<a name="boost_multiprecision.ref.number.h6"></a>
 <a name="boost_multiprecision.ref.number.non_member_standard_library_function_support"></a><a class="link" href="number.html#boost_multiprecision.ref.number.non_member_standard_library_function_support">Non-member
 standard library function support</a>
 </h5>
@@ -1008,7 +1048,7 @@
 </div></td></tr></tbody>
</table></div>
<h5>
-<a name="boost_multiprecision.ref.number.h6"></a>
+<a name="boost_multiprecision.ref.number.h7"></a>
 <a name="boost_multiprecision.ref.number.traits_class_support"></a><a class="link" href="number.html#boost_multiprecision.ref.number.traits_class_support">Traits Class
 Support</a>
 </h5>
@@ -1049,7 +1089,7 @@
 if T is an expression template type derived from <code class="computeroutput">number<></code>, otherwise from <code class="computeroutput">mpl::false_</code>.
 
<h5>
-<a name="boost_multiprecision.ref.number.h7"></a>
+<a name="boost_multiprecision.ref.number.h8"></a>
 <a name="boost_multiprecision.ref.number.integer_functions"></a><a class="link" href="number.html#boost_multiprecision.ref.number.integer_functions">Integer
 functions</a>
 </h5>
@@ -1130,7 +1170,7 @@
 composite less than 0.25^trials.
 
<h5>
-<a name="boost_multiprecision.ref.number.h8"></a>
+<a name="boost_multiprecision.ref.number.h9"></a>
 <a name="boost_multiprecision.ref.number.rational_number_functions"></a><a class="link" href="number.html#boost_multiprecision.ref.number.rational_number_functions">Rational
 Number Functions</a>
 </h5>
@@ -1142,7 +1182,7 @@
 respectively.
 
<h5>
-<a name="boost_multiprecision.ref.number.h9"></a>
+<a name="boost_multiprecision.ref.number.h10"></a>
 <a name="boost_multiprecision.ref.number.boost_math_interoperability_support"></a><a class="link" href="number.html#boost_multiprecision.ref.number.boost_math_interoperability_support">Boost.Math
 Interoperability Support</a>
 </h5>
@@ -1165,7 +1205,7 @@
 to ensure interoperability.
 
<h5>
-<a name="boost_multiprecision.ref.number.h10"></a>
+<a name="boost_multiprecision.ref.number.h11"></a>
 <a name="boost_multiprecision.ref.number.std__numeric_limits_support"></a><a class="link" href="number.html#boost_multiprecision.ref.number.std__numeric_limits_support">std::numeric_limits
 support</a>
 </h5>

Modified: sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/tut.html
==============================================================================
--- sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/tut.html (original)
+++ sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/tut.html 2012-11-03 14:27:11 EDT (Sat, 03 Nov 2012)
@@ -63,6 +63,7 @@
<dt>Literal Types and constexpr Support</dt>
<dt><a href="tut/rounding.html">Rounding Rules for
Conversions</a></dt>
+<dt>Mixed Precision Arithmetic</dt>
</dl></div>

In order to use this library you need to make two choices: what kind of number

Added: sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/tut/mixed.html
==============================================================================
--- (empty file)
+++ sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/tut/mixed.html 2012-11-03 14:27:11 EDT (Sat, 03 Nov 2012)
@@ -0,0 +1,169 @@
+<html>
+<head>
+<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
+<title>Mixed Precision Arithmetic</title>
+<link rel="stylesheet" href="http://www.boost.org/doc/libs/release/doc/src/boostbook.css" type="text/css">
+<meta name="generator" content="DocBook XSL Stylesheets V1.77.1">
+<link rel="home" href="../../index.html" title="Chapter 1. Boost.Multiprecision">
+<link rel="up" href="../tut.html" title="Tutorial">
+<link rel="prev" href="rounding.html" title="Rounding Rules for Conversions">
+<link rel="next" href="../ref.html" title="Reference">
+</head>
+<body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF">
+<div class="spirit-nav">
+<a accesskey="p" href="rounding.html"><img src="../../images/prev.png" alt="Prev"></a><a accesskey="u" href="../tut.html"><img src="../../images/up.png" alt="Up"></a><a accesskey="h" href="../../index.html"><img src="../../images/home.png" alt="Home"></a><a accesskey="n" href="../ref.html"><img src="../../images/next.png" alt="Next"></a>
+</div>
+<div class="section boost_multiprecision_tut_mixed">
+<div class="titlepage"><div><div><h3 class="title">
+<a name="boost_multiprecision.tut.mixed"></a><a class="link" href="mixed.html" title="Mixed Precision Arithmetic">Mixed Precision Arithmetic</a>
+</h3></div></div></div>
+
+ Mixed precision arithmetic is fully supported by the library, there are two
+ different forms:
+ 
+<div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
+<li class="listitem">
+ Where the operands are of different precision.
+ </li>
+<li class="listitem">
+ Where the operands are of the same precision, but yield a higher precision
+ result.
+ </li>
+</ul></div>
+<h5>
+<a name="boost_multiprecision.tut.mixed.h0"></a>
+ <a name="boost_multiprecision.tut.mixed.mixing_operands_of_differing_precision"></a><a class="link" href="mixed.html#boost_multiprecision.tut.mixed.mixing_operands_of_differing_precision">Mixing
+ Operands of Differing Precision</a>
+ </h5>
+
+ If the arguments to a binary operator are of different precision, then the
+ operation is allowed as long as there is an unambiguous implicit conversion
+ from one argument type to the other. In all cases the arithmetic is performed
+ "as if" the lower precision type is promoted to the higher precision
+ type before applying the operator. However, particular backends may optimise
+ this and avoid actually creating a temporary if they are able to do so.
+ 
+
+ For example:
+ 
+<pre class="programlisting">mpfr_float_50 a(2), b;
+mpfr_float_100 c(3), d;
+static_mpfr_float_50 e(5), f;
+mpz_int i(20);
+
+d = a * c; // OK, result of operand is an mpfr_float_100.
+b = a * c; // Error, can't convert the result to an mpfr_float_50 as it will lose digits.
+f = a * e; // Error, operator is ambiguous, result could be of either type.
+f = e * i; // OK, unambiguous conversion from mpz_int to static_mpfr_float_50
+</pre>
+<h5>
+<a name="boost_multiprecision.tut.mixed.h1"></a>
+ <a name="boost_multiprecision.tut.mixed.operands_of_the_same_precision"></a><a class="link" href="mixed.html#boost_multiprecision.tut.mixed.operands_of_the_same_precision">Operands
+ of the Same Precision</a>
+ </h5>
+
+ Sometimes you want to apply an operator to two arguments of the same precision
+ in such a way as to obtain a result of higher precision. The most common
+ situation occurs with fixed precision integers, where you want to multiply
+ two N-bit numbers to obtain a 2N-bit result. This is supported in this library
+ by the following free functions:
+ 
+<pre class="programlisting">template <class ResultType, class Source1 class Source2>
+ResultType& add(ResultType& result, const Source1& a, const Source2& b);
+
+template <class ResultType, class Source1 class Source2>
+ResultType& subtract(ResultType& result, const Source1& a, const Source2& b);
+
+template <class ResultType, class Source1 class Source2>
+ResultType& multiply(ResultType& result, const Source1& a, const Source2& b);
+</pre>
+
+ These functions apply the named operator to the arguments a
+ and b and store the result in result,
+ returning result. In all cases they behave "as
+ if" arguments a and b were
+ first promoted to type <code class="computeroutput">ResultType</code>
+ before applying the operator, though particular backends may well avoid that
+ step by way of an optimization.
+ 
+
+ The type <code class="computeroutput">ResultType</code> must
+ be an instance of class <code class="computeroutput">number</code>,
+ and the types <code class="computeroutput">Source1</code> and
+ <code class="computeroutput">Source2</code> may be either instances
+ of class <code class="computeroutput">number</code> or native
+ integer types. The latter is an optimization that allows arithmetic to be
+ performed on native integer types producing an extended precision result.
+ 
+
+ For example:
+ 
+
+
+<pre class="programlisting">#include <boost/multiprecision/cpp_int.hpp>
+
+using namespace boost::multiprecision;
+
+boost::uint64_t i = (std::numeric_limits<boost::uint64_t>::max)();
+boost::uint64_t j = 1;
+
+uint128_t ui128;
+uint256_t ui256;
+//
+// Start by performing arithmetic on 64-bit integers to yield 128-bit results:
+//
+std::cout << std::hex << std::showbase << i << std::endl;
+std::cout << std::hex << std::showbase << add(ui128, i, j) << std::endl;
+std::cout << std::hex << std::showbase << multiply(ui128, i, i) << std::endl;
+//
+// The try squaring a 128-bit integer to yield a 256-bit result:
+//
+ui128 = (std::numeric_limits<uint128_t>::max)();
+std::cout << std::hex << std::showbase << multiply(ui256, ui128, ui128) << std::endl;
+</pre>
+
+ 
+
+ Produces the output:
+ 
+
+
+<pre class="programlisting">0xffffffffffffffff
+0x10000000000000000
+0xFFFFFFFFFFFFFFFE0000000000000001
+0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE00000000000000000000000000000001
+</pre>
+
+ 
+<h5>
+<a name="boost_multiprecision.tut.mixed.h2"></a>
+ <a name="boost_multiprecision.tut.mixed.backends_with_optimized_mixed_precision_arithmetic"></a><a class="link" href="mixed.html#boost_multiprecision.tut.mixed.backends_with_optimized_mixed_precision_arithmetic">Backends
+ With Optimized Mixed Precision Arithmetic</a>
+ </h5>
+
+ The following backends have at least some direct support for mixed precision
+ arithmetic, and therefore avoid creating unnecessary temporaries when using
+ the interfaces above. Therefore when using these types it's more efficient
+ to use mixed precision arithmetic, than it is to explicitly cast the operands
+ to the result type:
+ 
+
+ <a class="link" href="floats/mpfr_float.html" title="mpfr_float">mpfr_float</a>,
+ <a class="link" href="floats/gmp_float.html" title="gmp_float">gmp_float</a>,
+ <a class="link" href="ints/cpp_int.html" title="cpp_int">cpp_int</a>.
+ 
+</div>
+<table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
+<td align="left"></td>
+<td align="right"><div class="copyright-footer">Copyright © 2002-2012 John Maddock and Christopher Kormanyos
+ Distributed under the Boost Software License, Version 1.0. (See accompanying
+ file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+ 
+</div></td>
+</tr></table>
+<hr>
+<div class="spirit-nav">
+<a accesskey="p" href="rounding.html"><img src="../../images/prev.png" alt="Prev"></a><a accesskey="u" href="../tut.html"><img src="../../images/up.png" alt="Up"></a><a accesskey="h" href="../../index.html"><img src="../../images/home.png" alt="Home"></a><a accesskey="n" href="../ref.html"><img src="../../images/next.png" alt="Next"></a>
+</div>
+</body>
+</html>

Modified: sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/tut/rounding.html
==============================================================================
--- sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/tut/rounding.html (original)
+++ sandbox/big_number/libs/multiprecision/doc/html/boost_multiprecision/tut/rounding.html 2012-11-03 14:27:11 EDT (Sat, 03 Nov 2012)
@@ -7,11 +7,11 @@
<link rel="home" href="../../index.html" title="Chapter 1. Boost.Multiprecision">
<link rel="up" href="../tut.html" title="Tutorial">
<link rel="prev" href="lits.html" title="Literal Types and constexpr Support">
-<link rel="next" href="../ref.html" title="Reference">
+<link rel="next" href="mixed.html" title="Mixed Precision Arithmetic">
</head>
<body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF">
<div class="spirit-nav">
-<a accesskey="p" href="lits.html"><img src="../../images/prev.png" alt="Prev"></a><a accesskey="u" href="../tut.html"><img src="../../images/up.png" alt="Up"></a><a accesskey="h" href="../../index.html"><img src="../../images/home.png" alt="Home"></a><a accesskey="n" href="../ref.html"><img src="../../images/next.png" alt="Next"></a>
+<a accesskey="p" href="lits.html"><img src="../../images/prev.png" alt="Prev"></a><a accesskey="u" href="../tut.html"><img src="../../images/up.png" alt="Up"></a><a accesskey="h" href="../../index.html"><img src="../../images/home.png" alt="Home"></a><a accesskey="n" href="mixed.html"><img src="../../images/next.png" alt="Next"></a>
</div>
<div class="section boost_multiprecision_tut_rounding">
<div class="titlepage"><div><div><h3 class="title">
@@ -176,7 +176,7 @@
</tr></table>
<hr>
<div class="spirit-nav">
-<a accesskey="p" href="lits.html"><img src="../../images/prev.png" alt="Prev"></a><a accesskey="u" href="../tut.html"><img src="../../images/up.png" alt="Up"></a><a accesskey="h" href="../../index.html"><img src="../../images/home.png" alt="Home"></a><a accesskey="n" href="../ref.html"><img src="../../images/next.png" alt="Next"></a>
+<a accesskey="p" href="lits.html"><img src="../../images/prev.png" alt="Prev"></a><a accesskey="u" href="../tut.html"><img src="../../images/up.png" alt="Up"></a><a accesskey="h" href="../../index.html"><img src="../../images/home.png" alt="Home"></a><a accesskey="n" href="mixed.html"><img src="../../images/next.png" alt="Next"></a>
</div>
</body>
</html>

Modified: sandbox/big_number/libs/multiprecision/doc/html/index.html
==============================================================================
--- sandbox/big_number/libs/multiprecision/doc/html/index.html (original)
+++ sandbox/big_number/libs/multiprecision/doc/html/index.html 2012-11-03 14:27:11 EDT (Sat, 03 Nov 2012)
@@ -78,6 +78,7 @@
<dt>Literal Types and constexpr Support</dt>
<dt><a href="boost_multiprecision/tut/rounding.html">Rounding Rules for
Conversions</a></dt>
+<dt>Mixed Precision Arithmetic</dt>
</dl></dd>
<dt>Reference</dt>
<dd><dl>
@@ -124,7 +125,7 @@
</div>
</div>
<table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
-<td align="left">Last revised: November 02, 2012 at 13:02:30 GMT</td>
+<td align="left">Last revised: November 03, 2012 at 18:24:27 GMT</td>
<td align="right"><div class="copyright-footer"></div></td>
</tr></table>
<hr>

Modified: sandbox/big_number/libs/multiprecision/doc/multiprecision.qbk
==============================================================================
--- sandbox/big_number/libs/multiprecision/doc/multiprecision.qbk (original)
+++ sandbox/big_number/libs/multiprecision/doc/multiprecision.qbk 2012-11-03 14:27:11 EDT (Sat, 03 Nov 2012)
@@ -26,6 +26,7 @@
[import ../example/cpp_int_snips.cpp]
[import ../example/random_snips.cpp]
[import ../example/safe_prime.cpp]
+[import ../example/mixed_integer_arithmetic.cpp]

[template mpfr[] [@http://www.mpfr.org MPFR]]
[template gmp[] [@http://gmplib.org GMP]]
@@ -1248,6 +1249,78 @@

[endsect]

+[section:mixed Mixed Precision Arithmetic]
+
+Mixed precision arithmetic is fully supported by the library, there are two different forms:
+
+* Where the operands are of different precision.
+* Where the operands are of the same precision, but yield a higher precision result.
+
+[h4 Mixing Operands of Differing Precision]
+
+If the arguments to a binary operator are of different precision, then the operation is allowed
+as long as there is an unambiguous implicit conversion from one argument type to the other.
+In all cases the arithmetic is performed "as if" the lower precision type is promoted to the
+higher precision type before applying the operator. However, particular backends may optimise
+this and avoid actually creating a temporary if they are able to do so.
+
+For example:
+
+ mpfr_float_50 a(2), b;
+ mpfr_float_100 c(3), d;
+ static_mpfr_float_50 e(5), f;
+ mpz_int i(20);
+
+ d = a * c; // OK, result of operand is an mpfr_float_100.
+ b = a * c; // Error, can't convert the result to an mpfr_float_50 as it will lose digits.
+ f = a * e; // Error, operator is ambiguous, result could be of either type.
+ f = e * i; // OK, unambiguous conversion from mpz_int to static_mpfr_float_50
+
+[h4 Operands of the Same Precision]
+
+Sometimes you want to apply an operator to two arguments of the same precision in
+such a way as to obtain a result of higher precision. The most common situation
+occurs with fixed precision integers, where you want to multiply two N-bit numbers
+to obtain a 2N-bit result. This is supported in this library by the following
+free functions:
+
+ template <class ResultType, class Source1 class Source2>
+ ResultType& add(ResultType& result, const Source1& a, const Source2& b);
+
+ template <class ResultType, class Source1 class Source2>
+ ResultType& subtract(ResultType& result, const Source1& a, const Source2& b);
+
+ template <class ResultType, class Source1 class Source2>
+ ResultType& multiply(ResultType& result, const Source1& a, const Source2& b);
+
+These functions apply the named operator to the arguments ['a] and ['b] and store the
+result in ['result], returning ['result]. In all cases they behave "as if"
+arguments ['a] and ['b] were first promoted to type `ResultType` before applying the
+operator, though particular backends may well avoid that step by way of an optimization.
+
+The type `ResultType` must be an instance of class `number`, and the types `Source1` and `Source2`
+may be either instances of class `number` or native integer types. The latter is an optimization
+that allows arithmetic to be performed on native integer types producing an extended precision result.
+
+For example:
+
+[mixed_eg]
+
+Produces the output:
+
+[mixed_output]
+
+[h4 Backends With Optimized Mixed Precision Arithmetic]
+
+The following backends have at least some direct support for mixed precision arithmetic,
+and therefore avoid creating unnecessary temporaries when using the interfaces above.
+Therefore when using these types it's more efficient to use mixed precision arithmetic,
+than it is to explicitly cast the operands to the result type:
+
+__mpfr_float_backend, __mpf_float, __cpp_int.
+
+[endsect]
+
[endsect]

[section:ref Reference]
@@ -1350,6 +1423,14 @@
 template <class Backend, expression_template_option ExpressionTemplates>
 std::istream& operator >> (std::istream& is, number<Backend, ExpressionTemplates>& r);

+ // Arithmetic with a higher precision result:
+ template <class ResultType, class Source1 class Source2>
+ ResultType& add(ResultType& result, const Source1& a, const Source2& b);
+ template <class ResultType, class Source1 class Source2>
+ ResultType& subtract(ResultType& result, const Source1& a, const Source2& b);
+ template <class ResultType, class Source1 class Source2>
+ ResultType& multiply(ResultType& result, const Source1& a, const Source2& b);
+
 // Non-member function standard library support:
 ``['unmentionable-expression-template-type]`` abs (const ``['number-or-expression-template-type]``&);
 ``['unmentionable-expression-template-type]`` fabs (const ``['number-or-expression-template-type]``&);
@@ -1659,6 +1740,26 @@
It's down to the back-end type to actually implement string conversion. However, the back-ends provided with
this library support all of the iostream formatting flags, field width and precision settings.

+[h4 Arithmetic with a higher precision result]
+
+ template <class ResultType, class Source1 class Source2>
+ ResultType& add(ResultType& result, const Source1& a, const Source2& b);
+
+ template <class ResultType, class Source1 class Source2>
+ ResultType& subtract(ResultType& result, const Source1& a, const Source2& b);
+
+ template <class ResultType, class Source1 class Source2>
+ ResultType& multiply(ResultType& result, const Source1& a, const Source2& b);
+
+These functions apply the named operator to the arguments ['a] and ['b] and store the
+result in ['result], returning ['result]. In all cases they behave "as if"
+arguments ['a] and ['b] were first promoted to type `ResultType` before applying the
+operator, though particular backends may well avoid that step by way of an optimization.
+
+The type `ResultType` must be an instance of class `number`, and the types `Source1` and `Source2`
+may be either instances of class `number` or native integer types. The latter is an optimization
+that allows arithmetic to be performed on native integer types producing an extended precision result.
+
[h4 Non-member standard library function support]

 ``['unmentionable-expression-template-type]`` abs (const ``['number-or-expression-template-type]``&);
@@ -2925,6 +3026,8 @@
* Tweaked expression template unpacking to use fewer temporaries when the LHS also appears in the RHS.
* Refactored `cpp_int_backend` based on review comments with new template parameter structure.
* Added additional template parameter to `mpfr_float_backend` to allow stack-based allocation.
+* Added section on mixed precision arithmetic, and added support for operations yielding a higher precision result
+than either of the arguments.

[h4 Pre-review history]

Added: sandbox/big_number/libs/multiprecision/example/mixed_integer_arithmetic.cpp
==============================================================================
--- (empty file)
+++ sandbox/big_number/libs/multiprecision/example/mixed_integer_arithmetic.cpp 2012-11-03 14:27:11 EDT (Sat, 03 Nov 2012)
@@ -0,0 +1,58 @@
+///////////////////////////////////////////////////////////////
+// Copyright 2012 John Maddock. Distributed under the Boost
+// Software License, Version 1.0. (See accompanying file
+// LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_
+
+//
+// Compare arithmetic results using fixed_int to GMP results.
+//
+
+#ifdef _MSC_VER
+# define _SCL_SECURE_NO_WARNINGS
+#endif
+
+#include <boost/multiprecision/cpp_int.hpp>
+
+int main()
+{
+ //[mixed_eg
+ //=#include <boost/multiprecision/cpp_int.hpp>
+
+ using namespace boost::multiprecision;
+
+ boost::uint64_t i = (std::numeric_limits<boost::uint64_t>::max)();
+ boost::uint64_t j = 1;
+
+ uint128_t ui128;
+ uint256_t ui256;
+ //
+ // Start by performing arithmetic on 64-bit integers to yield 128-bit results:
+ //
+ std::cout << std::hex << std::showbase << i << std::endl;
+ std::cout << std::hex << std::showbase << add(ui128, i, j) << std::endl;
+ std::cout << std::hex << std::showbase << multiply(ui128, i, i) << std::endl;
+ //
+ // The try squaring a 128-bit integer to yield a 256-bit result:
+ //
+ ui128 = (std::numeric_limits<uint128_t>::max)();
+ std::cout << std::hex << std::showbase << multiply(ui256, ui128, ui128) << std::endl;
+
+ //]
+
+ return 0;
+}
+
+/*
+
+Program output:
+
+//[mixed_output
+
+0xffffffffffffffff
+0x10000000000000000
+0xFFFFFFFFFFFFFFFE0000000000000001
+0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE00000000000000000000000000000001
+
+//]
+*/
+

Next message: joel_at_[hidden]: "[Boost-commit] svn:boost r81164 - trunk/libs/fusion/doc"
Previous message: antoshkka_at_[hidden]: "[Boost-commit] svn:boost r81162 - in trunk/libs/conversion: . test"

Date view	Thread view	Subject view	Author view

Boost-Commit list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk