special_tut_test.html 57 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526
  1. <html>
  2. <head>
  3. <meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">
  4. <title>Testing</title>
  5. <link rel="stylesheet" href="../../math.css" type="text/css">
  6. <meta name="generator" content="DocBook XSL Stylesheets V1.79.1">
  7. <link rel="home" href="../../index.html" title="Math Toolkit 2.11.0">
  8. <link rel="up" href="../special_tut.html" title="Tutorial: How to Write a New Special Function">
  9. <link rel="prev" href="special_tut_impl.html" title="Implementation">
  10. <link rel="next" href="../relative_error.html" title="Relative Error">
  11. </head>
  12. <body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF">
  13. <table cellpadding="2" width="100%"><tr>
  14. <td valign="top"><img alt="Boost C++ Libraries" width="277" height="86" src="../../../../../../boost.png"></td>
  15. <td align="center"><a href="../../../../../../index.html">Home</a></td>
  16. <td align="center"><a href="../../../../../../libs/libraries.htm">Libraries</a></td>
  17. <td align="center"><a href="http://www.boost.org/users/people.html">People</a></td>
  18. <td align="center"><a href="http://www.boost.org/users/faq.html">FAQ</a></td>
  19. <td align="center"><a href="../../../../../../more/index.htm">More</a></td>
  20. </tr></table>
  21. <hr>
  22. <div class="spirit-nav">
  23. <a accesskey="p" href="special_tut_impl.html"><img src="../../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../special_tut.html"><img src="../../../../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../../index.html"><img src="../../../../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="../relative_error.html"><img src="../../../../../../doc/src/images/next.png" alt="Next"></a>
  24. </div>
  25. <div class="section">
  26. <div class="titlepage"><div><div><h3 class="title">
  27. <a name="math_toolkit.special_tut.special_tut_test"></a><a class="link" href="special_tut_test.html" title="Testing">Testing</a>
  28. </h3></div></div></div>
  29. <p>
  30. We work under the assumption that untested code doesn't work, so some tests
  31. for your new special function are in order, we'll divide these up in to 3
  32. main categories:
  33. </p>
  34. <h5>
  35. <a name="math_toolkit.special_tut.special_tut_test.h0"></a>
  36. <span class="phrase"><a name="math_toolkit.special_tut.special_tut_test.spot_tests"></a></span><a class="link" href="special_tut_test.html#math_toolkit.special_tut.special_tut_test.spot_tests">Spot Tests</a>
  37. </h5>
  38. <p>
  39. Spot tests consist of checking that the expected exception is generated when
  40. the inputs are in error (or otherwise generate undefined values), and checking
  41. any special values. We can check for expected exceptions with <code class="computeroutput"><span class="identifier">BOOST_CHECK_THROW</span></code>, so for example if it's
  42. a domain error for the last parameter to be outside the range <code class="computeroutput"><span class="special">[</span><span class="number">0</span><span class="special">,</span><span class="number">1</span><span class="special">]</span></code> then we
  43. might have:
  44. </p>
  45. <pre class="programlisting"><span class="identifier">BOOST_CHECK_THROW</span><span class="special">(</span><span class="identifier">my_special</span><span class="special">(</span><span class="number">0</span><span class="special">,</span> <span class="special">-</span><span class="number">0.1</span><span class="special">),</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">domain_error</span><span class="special">);</span>
  46. <span class="identifier">BOOST_CHECK_THROW</span><span class="special">(</span><span class="identifier">my_special</span><span class="special">(</span><span class="number">0</span><span class="special">,</span> <span class="number">1.1</span><span class="special">),</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">domain_error</span><span class="special">);</span>
  47. </pre>
  48. <p>
  49. When the function has known exact values (typically integer values) we can
  50. use <code class="computeroutput"><span class="identifier">BOOST_CHECK_EQUAL</span></code>:
  51. </p>
  52. <pre class="programlisting"><span class="identifier">BOOST_CHECK_EQUAL</span><span class="special">(</span><span class="identifier">my_special</span><span class="special">(</span><span class="number">1.0</span><span class="special">,</span> <span class="number">0.0</span><span class="special">),</span> <span class="number">0</span><span class="special">);</span>
  53. <span class="identifier">BOOST_CHECK_EQUAL</span><span class="special">(</span><span class="identifier">my_special</span><span class="special">(</span><span class="number">1.0</span><span class="special">,</span> <span class="number">1.0</span><span class="special">),</span> <span class="number">1</span><span class="special">);</span>
  54. </pre>
  55. <p>
  56. When the function has known values which are not exact (from a floating point
  57. perspective) then we can use <code class="computeroutput"><span class="identifier">BOOST_CHECK_CLOSE_FRACTION</span></code>:
  58. </p>
  59. <pre class="programlisting"><span class="comment">// Assumes 4 epsilon is as close as we can get to a true value of 2Pi:</span>
  60. <span class="identifier">BOOST_CHECK_CLOSE_FRACTION</span><span class="special">(</span><span class="identifier">my_special</span><span class="special">(</span><span class="number">0.5</span><span class="special">,</span> <span class="number">0.5</span><span class="special">),</span> <span class="number">2</span> <span class="special">*</span> <span class="identifier">constants</span><span class="special">::</span><span class="identifier">pi</span><span class="special">&lt;</span><span class="keyword">double</span><span class="special">&gt;(),</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">numeric_limits</span><span class="special">&lt;</span><span class="keyword">double</span><span class="special">&gt;::</span><span class="identifier">epsilon</span><span class="special">()</span> <span class="special">*</span> <span class="number">4</span><span class="special">);</span>
  61. </pre>
  62. <h5>
  63. <a name="math_toolkit.special_tut.special_tut_test.h1"></a>
  64. <span class="phrase"><a name="math_toolkit.special_tut.special_tut_test.independent_test_values"></a></span><a class="link" href="special_tut_test.html#math_toolkit.special_tut.special_tut_test.independent_test_values">Independent
  65. Test Values</a>
  66. </h5>
  67. <p>
  68. If the function is implemented by some other known good source (for example
  69. Mathematica or it's online versions <a href="http://functions.wolfram.com" target="_top">functions.wolfram.com</a>
  70. or <a href="http://www.wolframalpha.com" target="_top">www.wolframalpha.com</a>
  71. then it's a good idea to sanity check our implementation by having at least
  72. one independendly generated value for each code branch our implementation
  73. may take. To slot these in nicely with our testing framework it's best to
  74. tabulate these like this:
  75. </p>
  76. <pre class="programlisting"><span class="comment">// function values calculated on http://functions.wolfram.com/</span>
  77. <span class="keyword">static</span> <span class="keyword">const</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">array</span><span class="special">&lt;</span><span class="identifier">boost</span><span class="special">::</span><span class="identifier">array</span><span class="special">&lt;</span><span class="identifier">T</span><span class="special">,</span> <span class="number">3</span><span class="special">&gt;,</span> <span class="number">10</span><span class="special">&gt;</span> <span class="identifier">my_special_data</span> <span class="special">=</span> <span class="special">{{</span>
  78. <span class="special">{{</span> <span class="identifier">SC_</span><span class="special">(</span><span class="number">0</span><span class="special">),</span> <span class="identifier">SC_</span><span class="special">(</span><span class="number">0</span><span class="special">),</span> <span class="identifier">SC_</span><span class="special">(</span><span class="number">1</span><span class="special">)</span> <span class="special">}},</span>
  79. <span class="special">{{</span> <span class="identifier">SC_</span><span class="special">(</span><span class="number">0</span><span class="special">),</span> <span class="identifier">SC_</span><span class="special">(</span><span class="number">1</span><span class="special">),</span> <span class="identifier">SC_</span><span class="special">(</span><span class="number">1.26606587775200833559824462521471753760767031135496220680814</span><span class="special">)</span> <span class="special">}},</span>
  80. <span class="comment">/* More values here... */</span>
  81. <span class="special">}};</span>
  82. </pre>
  83. <p>
  84. We'll see how to use this table and the meaning of the <code class="computeroutput"><span class="identifier">SC_</span></code>
  85. macro later. One important point is to make sure that the input values have
  86. exact binary representations: so choose values such as 1.5, 1.25, 1.125 etc.
  87. This ensures that if <code class="computeroutput"><span class="identifier">my_special</span></code>
  88. is unusually sensitive in one area, that we don't get apparently large errors
  89. just because the inputs are 0.5 ulp in error.
  90. </p>
  91. <h5>
  92. <a name="math_toolkit.special_tut.special_tut_test.h2"></a>
  93. <span class="phrase"><a name="math_toolkit.special_tut.special_tut_test.random_test_values"></a></span><a class="link" href="special_tut_test.html#math_toolkit.special_tut.special_tut_test.random_test_values">Random
  94. Test Values</a>
  95. </h5>
  96. <p>
  97. We can generate a large number of test values to check both for future regressions,
  98. and for accumulated rounding or cancellation error in our implementation.
  99. Ideally we would use an independent implementation for this (for example
  100. my_special may be defined in directly terms of other special functions but
  101. not implemented that way for performance or accuracy reasons). Alternatively
  102. we may use our own implementation directly, but with any special cases (asymptotic
  103. expansions etc) disabled. We have a set of <a class="link" href="../internals/test_data.html" title="Graphing, Profiling, and Generating Test Data for Special Functions">tools</a>
  104. to generate test data directly, here's a typical example:
  105. </p>
  106. <pre class="programlisting"><span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">multiprecision</span><span class="special">/</span><span class="identifier">cpp_dec_float</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
  107. <span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">math</span><span class="special">/</span><span class="identifier">tools</span><span class="special">/</span><span class="identifier">test_data</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
  108. <span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">test</span><span class="special">/</span><span class="identifier">included</span><span class="special">/</span><span class="identifier">prg_exec_monitor</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
  109. <span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">fstream</span><span class="special">&gt;</span>
  110. <span class="keyword">using</span> <span class="keyword">namespace</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">math</span><span class="special">::</span><span class="identifier">tools</span><span class="special">;</span>
  111. <span class="keyword">using</span> <span class="keyword">namespace</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">math</span><span class="special">;</span>
  112. <span class="keyword">using</span> <span class="keyword">namespace</span> <span class="identifier">std</span><span class="special">;</span>
  113. <span class="keyword">using</span> <span class="keyword">namespace</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">multiprecision</span><span class="special">;</span>
  114. <span class="keyword">template</span> <span class="special">&lt;</span><span class="keyword">class</span> <span class="identifier">T</span><span class="special">&gt;</span>
  115. <span class="identifier">T</span> <span class="identifier">my_special</span><span class="special">(</span><span class="identifier">T</span> <span class="identifier">a</span><span class="special">,</span> <span class="identifier">T</span> <span class="identifier">b</span><span class="special">)</span>
  116. <span class="special">{</span>
  117. <span class="comment">// Implementation of my_special here...</span>
  118. <span class="keyword">return</span> <span class="identifier">a</span> <span class="special">+</span> <span class="identifier">b</span><span class="special">;</span>
  119. <span class="special">}</span>
  120. <span class="keyword">int</span> <span class="identifier">cpp_main</span><span class="special">(</span><span class="keyword">int</span> <span class="identifier">argc</span><span class="special">,</span> <span class="keyword">char</span><span class="special">*</span><span class="identifier">argv</span> <span class="special">[])</span>
  121. <span class="special">{</span>
  122. <span class="comment">//</span>
  123. <span class="comment">// We'll use so many digits of precision that any</span>
  124. <span class="comment">// calculation errors will still leave us with</span>
  125. <span class="comment">// 40-50 good digits. We'll only run this program</span>
  126. <span class="comment">// once so it doesn't matter too much how long this takes!</span>
  127. <span class="comment">//</span>
  128. <span class="keyword">typedef</span> <span class="identifier">number</span><span class="special">&lt;</span><span class="identifier">cpp_dec_float</span><span class="special">&lt;</span><span class="number">500</span><span class="special">&gt;</span> <span class="special">&gt;</span> <span class="identifier">bignum</span><span class="special">;</span>
  129. <span class="identifier">parameter_info</span><span class="special">&lt;</span><span class="identifier">bignum</span><span class="special">&gt;</span> <span class="identifier">arg1</span><span class="special">,</span> <span class="identifier">arg2</span><span class="special">;</span>
  130. <span class="identifier">test_data</span><span class="special">&lt;</span><span class="identifier">bignum</span><span class="special">&gt;</span> <span class="identifier">data</span><span class="special">;</span>
  131. <span class="keyword">bool</span> <span class="identifier">cont</span><span class="special">;</span>
  132. <span class="identifier">std</span><span class="special">::</span><span class="identifier">string</span> <span class="identifier">line</span><span class="special">;</span>
  133. <span class="keyword">if</span><span class="special">(</span><span class="identifier">argc</span> <span class="special">&lt;</span> <span class="number">1</span><span class="special">)</span>
  134. <span class="keyword">return</span> <span class="number">1</span><span class="special">;</span>
  135. <span class="keyword">do</span><span class="special">{</span>
  136. <span class="comment">//</span>
  137. <span class="comment">// User interface which prompts for </span>
  138. <span class="comment">// range of input parameters:</span>
  139. <span class="comment">//</span>
  140. <span class="keyword">if</span><span class="special">(</span><span class="number">0</span> <span class="special">==</span> <span class="identifier">get_user_parameter_info</span><span class="special">(</span><span class="identifier">arg1</span><span class="special">,</span> <span class="string">"a"</span><span class="special">))</span>
  141. <span class="keyword">return</span> <span class="number">1</span><span class="special">;</span>
  142. <span class="keyword">if</span><span class="special">(</span><span class="number">0</span> <span class="special">==</span> <span class="identifier">get_user_parameter_info</span><span class="special">(</span><span class="identifier">arg2</span><span class="special">,</span> <span class="string">"b"</span><span class="special">))</span>
  143. <span class="keyword">return</span> <span class="number">1</span><span class="special">;</span>
  144. <span class="comment">//</span>
  145. <span class="comment">// Get a pointer to the function and call</span>
  146. <span class="comment">// test_data::insert to actually generate</span>
  147. <span class="comment">// the values.</span>
  148. <span class="comment">//</span>
  149. <span class="identifier">bignum</span> <span class="special">(*</span><span class="identifier">fp</span><span class="special">)(</span><span class="identifier">bignum</span><span class="special">,</span> <span class="identifier">bignum</span><span class="special">)</span> <span class="special">=</span> <span class="special">&amp;</span><span class="identifier">my_special</span><span class="special">;</span>
  150. <span class="identifier">data</span><span class="special">.</span><span class="identifier">insert</span><span class="special">(</span><span class="identifier">fp</span><span class="special">,</span> <span class="identifier">arg2</span><span class="special">,</span> <span class="identifier">arg1</span><span class="special">);</span>
  151. <span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span> <span class="special">&lt;&lt;</span> <span class="string">"Any more data [y/n]?"</span><span class="special">;</span>
  152. <span class="identifier">std</span><span class="special">::</span><span class="identifier">getline</span><span class="special">(</span><span class="identifier">std</span><span class="special">::</span><span class="identifier">cin</span><span class="special">,</span> <span class="identifier">line</span><span class="special">);</span>
  153. <span class="identifier">boost</span><span class="special">::</span><span class="identifier">algorithm</span><span class="special">::</span><span class="identifier">trim</span><span class="special">(</span><span class="identifier">line</span><span class="special">);</span>
  154. <span class="identifier">cont</span> <span class="special">=</span> <span class="special">(</span><span class="identifier">line</span> <span class="special">==</span> <span class="string">"y"</span><span class="special">);</span>
  155. <span class="special">}</span><span class="keyword">while</span><span class="special">(</span><span class="identifier">cont</span><span class="special">);</span>
  156. <span class="comment">//</span>
  157. <span class="comment">// Just need to write the results to a file:</span>
  158. <span class="comment">//</span>
  159. <span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span> <span class="special">&lt;&lt;</span> <span class="string">"Enter name of test data file [default=my_special.ipp]"</span><span class="special">;</span>
  160. <span class="identifier">std</span><span class="special">::</span><span class="identifier">getline</span><span class="special">(</span><span class="identifier">std</span><span class="special">::</span><span class="identifier">cin</span><span class="special">,</span> <span class="identifier">line</span><span class="special">);</span>
  161. <span class="identifier">boost</span><span class="special">::</span><span class="identifier">algorithm</span><span class="special">::</span><span class="identifier">trim</span><span class="special">(</span><span class="identifier">line</span><span class="special">);</span>
  162. <span class="keyword">if</span><span class="special">(</span><span class="identifier">line</span> <span class="special">==</span> <span class="string">""</span><span class="special">)</span>
  163. <span class="identifier">line</span> <span class="special">=</span> <span class="string">"my_special.ipp"</span><span class="special">;</span>
  164. <span class="identifier">std</span><span class="special">::</span><span class="identifier">ofstream</span> <span class="identifier">ofs</span><span class="special">(</span><span class="identifier">line</span><span class="special">.</span><span class="identifier">c_str</span><span class="special">());</span>
  165. <span class="identifier">line</span><span class="special">.</span><span class="identifier">erase</span><span class="special">(</span><span class="identifier">line</span><span class="special">.</span><span class="identifier">find</span><span class="special">(</span><span class="char">'.'</span><span class="special">));</span>
  166. <span class="identifier">ofs</span> <span class="special">&lt;&lt;</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">scientific</span> <span class="special">&lt;&lt;</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">setprecision</span><span class="special">(</span><span class="number">50</span><span class="special">);</span>
  167. <span class="identifier">write_code</span><span class="special">(</span><span class="identifier">ofs</span><span class="special">,</span> <span class="identifier">data</span><span class="special">,</span> <span class="identifier">line</span><span class="special">.</span><span class="identifier">c_str</span><span class="special">());</span>
  168. <span class="keyword">return</span> <span class="number">0</span><span class="special">;</span>
  169. <span class="special">}</span>
  170. </pre>
  171. <p>
  172. Typically several sets of data will be generated this way, including random
  173. values in some "normal" range, extreme values (very large or very
  174. small), and values close to any "interesting" behaviour of the
  175. function (singularities etc).
  176. </p>
  177. <h5>
  178. <a name="math_toolkit.special_tut.special_tut_test.h3"></a>
  179. <span class="phrase"><a name="math_toolkit.special_tut.special_tut_test.the_test_file_header"></a></span><a class="link" href="special_tut_test.html#math_toolkit.special_tut.special_tut_test.the_test_file_header">The
  180. Test File Header</a>
  181. </h5>
  182. <p>
  183. We split the actual test file into 2 distinct parts: a header that contains
  184. the testing code as a series of function templates, and the actual .cpp test
  185. driver that decides which types are tested, and sets the "expected"
  186. error rates for those types. It's done this way because:
  187. </p>
  188. <div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
  189. <li class="listitem">
  190. We want to test with both built in floating point types, and with multiprecision
  191. types. However, both compile and runtimes with the latter can be too
  192. long for the folks who run the tests to realistically cope with, so it
  193. makes sense to split the test into (at least) 2 parts.
  194. </li>
  195. <li class="listitem">
  196. The definition of the SC_ macro used in our tables of data may differ
  197. depending on what type we're testing (see below). Again this is largely
  198. a matter of managing compile times as large tables of user-defined-types
  199. can take a crazy amount of time to compile with some compilers.
  200. </li>
  201. </ul></div>
  202. <p>
  203. The test header contains 2 functions:
  204. </p>
  205. <pre class="programlisting"><span class="keyword">template</span> <span class="special">&lt;</span><span class="keyword">class</span> <span class="identifier">Real</span><span class="special">,</span> <span class="keyword">class</span> <span class="identifier">T</span><span class="special">&gt;</span>
  206. <span class="keyword">void</span> <span class="identifier">do_test</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">T</span><span class="special">&amp;</span> <span class="identifier">data</span><span class="special">,</span> <span class="keyword">const</span> <span class="keyword">char</span><span class="special">*</span> <span class="identifier">type_name</span><span class="special">,</span> <span class="keyword">const</span> <span class="keyword">char</span><span class="special">*</span> <span class="identifier">test_name</span><span class="special">);</span>
  207. <span class="keyword">template</span> <span class="special">&lt;</span><span class="keyword">class</span> <span class="identifier">T</span><span class="special">&gt;</span>
  208. <span class="keyword">void</span> <span class="identifier">test</span><span class="special">(</span><span class="identifier">T</span><span class="special">,</span> <span class="keyword">const</span> <span class="keyword">char</span><span class="special">*</span> <span class="identifier">type_name</span><span class="special">);</span>
  209. </pre>
  210. <p>
  211. Before implementing those, we'll include the headers we'll need, and provide
  212. a default definition for the SC_ macro:
  213. </p>
  214. <pre class="programlisting"><span class="comment">// A couple of Boost.Test headers in case we need any BOOST_CHECK_* macros:</span>
  215. <span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">test</span><span class="special">/</span><span class="identifier">unit_test</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
  216. <span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">test</span><span class="special">/</span><span class="identifier">tools</span><span class="special">/</span><span class="identifier">floating_point_comparison</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
  217. <span class="comment">// Our function to test:</span>
  218. <span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">math</span><span class="special">/</span><span class="identifier">special_functions</span><span class="special">/</span><span class="identifier">my_special</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
  219. <span class="comment">// We need boost::array for our test data, plus a few headers from</span>
  220. <span class="comment">// libs/math/test that contain our testing machinary:</span>
  221. <span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">array</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
  222. <span class="preprocessor">#include</span> <span class="string">"functor.hpp"</span>
  223. <span class="preprocessor">#include</span> <span class="string">"handle_test_result.hpp"</span>
  224. <span class="preprocessor">#include</span> <span class="string">"table_type.hpp"</span>
  225. <span class="preprocessor">#ifndef</span> <span class="identifier">SC_</span>
  226. <span class="preprocessor">#define</span> <span class="identifier">SC_</span><span class="special">(</span><span class="identifier">x</span><span class="special">)</span> <span class="keyword">static_cast</span><span class="special">&lt;</span><span class="keyword">typename</span> <span class="identifier">table_type</span><span class="special">&lt;</span><span class="identifier">T</span><span class="special">&gt;::</span><span class="identifier">type</span><span class="special">&gt;(</span><span class="identifier">BOOST_JOIN</span><span class="special">(</span><span class="identifier">x</span><span class="special">,</span> <span class="identifier">L</span><span class="special">))</span>
  227. <span class="preprocessor">#endif</span>
  228. </pre>
  229. <p>
  230. The easiest function to implement is the "test" function which
  231. is what we'll be calling from the test-driver program. It simply includes
  232. the files containing the tabular test data and calls <code class="computeroutput"><span class="identifier">do_test</span></code>
  233. function for each table, along with a description of what's being tested:
  234. </p>
  235. <pre class="programlisting"><span class="keyword">template</span> <span class="special">&lt;</span><span class="keyword">class</span> <span class="identifier">T</span><span class="special">&gt;</span>
  236. <span class="keyword">void</span> <span class="identifier">test</span><span class="special">(</span><span class="identifier">T</span><span class="special">,</span> <span class="keyword">const</span> <span class="keyword">char</span><span class="special">*</span> <span class="identifier">type_name</span><span class="special">)</span>
  237. <span class="special">{</span>
  238. <span class="comment">//</span>
  239. <span class="comment">// The actual test data is rather verbose, so it's in a separate file</span>
  240. <span class="comment">//</span>
  241. <span class="comment">// The contents are as follows, each row of data contains</span>
  242. <span class="comment">// three items, input value a, input value b and my_special(a, b):</span>
  243. <span class="comment">//</span>
  244. <span class="preprocessor"># include</span> <span class="string">"my_special_1.ipp"</span>
  245. <span class="identifier">do_test</span><span class="special">&lt;</span><span class="identifier">T</span><span class="special">&gt;(</span><span class="identifier">my_special_1</span><span class="special">,</span> <span class="identifier">name</span><span class="special">,</span> <span class="string">"MySpecial Function: Mathematica Values"</span><span class="special">);</span>
  246. <span class="preprocessor"># include</span> <span class="string">"my_special_2.ipp"</span>
  247. <span class="identifier">do_test</span><span class="special">&lt;</span><span class="identifier">T</span><span class="special">&gt;(</span><span class="identifier">my_special_2</span><span class="special">,</span> <span class="identifier">name</span><span class="special">,</span> <span class="string">"MySpecial Function: Random Values"</span><span class="special">);</span>
  248. <span class="preprocessor"># include</span> <span class="string">"my_special_3.ipp"</span>
  249. <span class="identifier">do_test</span><span class="special">&lt;</span><span class="identifier">T</span><span class="special">&gt;(</span><span class="identifier">my_special_3</span><span class="special">,</span> <span class="identifier">name</span><span class="special">,</span> <span class="string">"MySpecial Function: Very Small Values"</span><span class="special">);</span>
  250. <span class="special">}</span>
  251. </pre>
  252. <p>
  253. The function <code class="computeroutput"><span class="identifier">do_test</span></code> takes
  254. each table of data and calculates values for each row of data, along with
  255. statistics for max and mean error etc, most of this is handled by some boilerplate
  256. code:
  257. </p>
  258. <pre class="programlisting"><span class="keyword">template</span> <span class="special">&lt;</span><span class="keyword">class</span> <span class="identifier">Real</span><span class="special">,</span> <span class="keyword">class</span> <span class="identifier">T</span><span class="special">&gt;</span>
  259. <span class="keyword">void</span> <span class="identifier">do_test</span><span class="special">(</span><span class="keyword">const</span> <span class="identifier">T</span><span class="special">&amp;</span> <span class="identifier">data</span><span class="special">,</span> <span class="keyword">const</span> <span class="keyword">char</span><span class="special">*</span> <span class="identifier">type_name</span><span class="special">,</span> <span class="keyword">const</span> <span class="keyword">char</span><span class="special">*</span> <span class="identifier">test_name</span><span class="special">)</span>
  260. <span class="special">{</span>
  261. <span class="comment">// Get the type of each row and each element in the rows:</span>
  262. <span class="keyword">typedef</span> <span class="keyword">typename</span> <span class="identifier">T</span><span class="special">::</span><span class="identifier">value_type</span> <span class="identifier">row_type</span><span class="special">;</span>
  263. <span class="keyword">typedef</span> <span class="identifier">Real</span> <span class="identifier">value_type</span><span class="special">;</span>
  264. <span class="comment">// Get a pointer to our function, we have to use a workaround here</span>
  265. <span class="comment">// as some compilers require the template types to be explicitly</span>
  266. <span class="comment">// specified, while others don't much like it if it is!</span>
  267. <span class="keyword">typedef</span> <span class="identifier">value_type</span> <span class="special">(*</span><span class="identifier">pg</span><span class="special">)(</span><span class="identifier">value_type</span><span class="special">,</span> <span class="identifier">value_type</span><span class="special">);</span>
  268. <span class="preprocessor">#if</span> <span class="identifier">defined</span><span class="special">(</span><span class="identifier">BOOST_MATH_NO_DEDUCED_FUNCTION_POINTERS</span><span class="special">)</span>
  269. <span class="identifier">pg</span> <span class="identifier">funcp</span> <span class="special">=</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">math</span><span class="special">::</span><span class="identifier">my_special</span><span class="special">&lt;</span><span class="identifier">value_type</span><span class="special">,</span> <span class="identifier">value_type</span><span class="special">&gt;;</span>
  270. <span class="preprocessor">#else</span>
  271. <span class="identifier">pg</span> <span class="identifier">funcp</span> <span class="special">=</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">math</span><span class="special">::</span><span class="identifier">my_special</span><span class="special">;</span>
  272. <span class="preprocessor">#endif</span>
  273. <span class="comment">// Somewhere to hold our results:</span>
  274. <span class="identifier">boost</span><span class="special">::</span><span class="identifier">math</span><span class="special">::</span><span class="identifier">tools</span><span class="special">::</span><span class="identifier">test_result</span><span class="special">&lt;</span><span class="identifier">value_type</span><span class="special">&gt;</span> <span class="identifier">result</span><span class="special">;</span>
  275. <span class="comment">// And some pretty printing:</span>
  276. <span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span> <span class="special">&lt;&lt;</span> <span class="string">"Testing "</span> <span class="special">&lt;&lt;</span> <span class="identifier">test_name</span> <span class="special">&lt;&lt;</span> <span class="string">" with type "</span> <span class="special">&lt;&lt;</span> <span class="identifier">type_name</span>
  277. <span class="special">&lt;&lt;</span> <span class="string">"\n~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\n"</span><span class="special">;</span>
  278. <span class="comment">//</span>
  279. <span class="comment">// Test my_special against data:</span>
  280. <span class="comment">//</span>
  281. <span class="identifier">result</span> <span class="special">=</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">math</span><span class="special">::</span><span class="identifier">tools</span><span class="special">::</span><span class="identifier">test_hetero</span><span class="special">&lt;</span><span class="identifier">Real</span><span class="special">&gt;(</span>
  282. <span class="comment">/* First argument is the table */</span>
  283. <span class="identifier">data</span><span class="special">,</span>
  284. <span class="comment">/* Next comes our function pointer, plus the indexes of it's arguments in the table */</span>
  285. <span class="identifier">bind_func</span><span class="special">&lt;</span><span class="identifier">Real</span><span class="special">&gt;(</span><span class="identifier">funcp</span><span class="special">,</span> <span class="number">0</span><span class="special">,</span> <span class="number">1</span><span class="special">),</span>
  286. <span class="comment">/* Then the index of the result in the table - potentially we can test several
  287. related functions this way, each having the same input arguments, and different
  288. output values in different indexes in the table */</span>
  289. <span class="identifier">extract_result</span><span class="special">&lt;</span><span class="identifier">Real</span><span class="special">&gt;(</span><span class="number">2</span><span class="special">));</span>
  290. <span class="comment">//</span>
  291. <span class="comment">// Finish off with some boilerplate to check the results were within the expected errors,</span>
  292. <span class="comment">// and pretty print the results:</span>
  293. <span class="comment">//</span>
  294. <span class="identifier">handle_test_result</span><span class="special">(</span><span class="identifier">result</span><span class="special">,</span> <span class="identifier">data</span><span class="special">[</span><span class="identifier">result</span><span class="special">.</span><span class="identifier">worst</span><span class="special">()],</span> <span class="identifier">result</span><span class="special">.</span><span class="identifier">worst</span><span class="special">(),</span> <span class="identifier">type_name</span><span class="special">,</span> <span class="string">"boost::math::my_special"</span><span class="special">,</span> <span class="identifier">test_name</span><span class="special">);</span>
  295. <span class="special">}</span>
  296. </pre>
  297. <p>
  298. Now we just need to write the test driver program, at it's most basic it
  299. looks something like this:
  300. </p>
  301. <pre class="programlisting"><span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">math</span><span class="special">/</span><span class="identifier">special_functions</span><span class="special">/</span><span class="identifier">math_fwd</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
  302. <span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">math</span><span class="special">/</span><span class="identifier">tools</span><span class="special">/</span><span class="identifier">test</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
  303. <span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">math</span><span class="special">/</span><span class="identifier">tools</span><span class="special">/</span><span class="identifier">stats</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
  304. <span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">type_traits</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
  305. <span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">array</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
  306. <span class="preprocessor">#include</span> <span class="string">"functor.hpp"</span>
  307. <span class="preprocessor">#include</span> <span class="string">"handle_test_result.hpp"</span>
  308. <span class="preprocessor">#include</span> <span class="string">"test_my_special.hpp"</span>
  309. <span class="identifier">BOOST_AUTO_TEST_CASE</span><span class="special">(</span> <span class="identifier">test_main</span> <span class="special">)</span>
  310. <span class="special">{</span>
  311. <span class="comment">//</span>
  312. <span class="comment">// Test each floating point type, plus real_concept.</span>
  313. <span class="comment">// We specify the name of each type by hand as typeid(T).name()</span>
  314. <span class="comment">// often gives an unreadable mangled name.</span>
  315. <span class="comment">//</span>
  316. <span class="identifier">test</span><span class="special">(</span><span class="number">0.1F</span><span class="special">,</span> <span class="string">"float"</span><span class="special">);</span>
  317. <span class="identifier">test</span><span class="special">(</span><span class="number">0.1</span><span class="special">,</span> <span class="string">"double"</span><span class="special">);</span>
  318. <span class="comment">//</span>
  319. <span class="comment">// Testing of long double and real_concept is protected</span>
  320. <span class="comment">// by some logic to disable these for unsupported</span>
  321. <span class="comment">// or problem compilers.</span>
  322. <span class="comment">//</span>
  323. <span class="preprocessor">#ifndef</span> <span class="identifier">BOOST_MATH_NO_LONG_DOUBLE_MATH_FUNCTIONS</span>
  324. <span class="identifier">test</span><span class="special">(</span><span class="number">0.1L</span><span class="special">,</span> <span class="string">"long double"</span><span class="special">);</span>
  325. <span class="preprocessor">#ifndef</span> <span class="identifier">BOOST_MATH_NO_REAL_CONCEPT_TESTS</span>
  326. <span class="preprocessor">#if</span> <span class="special">!</span><span class="identifier">BOOST_WORKAROUND</span><span class="special">(</span><span class="identifier">__BORLANDC__</span><span class="special">,</span> <span class="identifier">BOOST_TESTED_AT</span><span class="special">(</span><span class="number">0x582</span><span class="special">))</span>
  327. <span class="identifier">test</span><span class="special">(</span><span class="identifier">boost</span><span class="special">::</span><span class="identifier">math</span><span class="special">::</span><span class="identifier">concepts</span><span class="special">::</span><span class="identifier">real_concept</span><span class="special">(</span><span class="number">0.1</span><span class="special">),</span> <span class="string">"real_concept"</span><span class="special">);</span>
  328. <span class="preprocessor">#endif</span>
  329. <span class="preprocessor">#endif</span>
  330. <span class="preprocessor">#else</span>
  331. <span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span> <span class="special">&lt;&lt;</span> <span class="string">"&lt;note&gt;The long double tests have been disabled on this platform "</span>
  332. <span class="string">"either because the long double overloads of the usual math functions are "</span>
  333. <span class="string">"not available at all, or because they are too inaccurate for these tests "</span>
  334. <span class="string">"to pass.&lt;/note&gt;"</span> <span class="special">&lt;&lt;</span> <span class="identifier">std</span><span class="special">::</span><span class="identifier">cout</span><span class="special">;</span>
  335. <span class="preprocessor">#endif</span>
  336. <span class="special">}</span>
  337. </pre>
  338. <p>
  339. That's almost all there is too it - except that if the above program is run
  340. it's very likely that all the tests will fail as the default maximum allowable
  341. error is 1 epsilon. So we'll define a function (don't forget to call it from
  342. the start of the <code class="computeroutput"><span class="identifier">test_main</span></code>
  343. above) to up the limits to something sensible, based both on the function
  344. we're calling and on the particular tests plus the platform and compiler:
  345. </p>
  346. <pre class="programlisting"><span class="keyword">void</span> <span class="identifier">expected_results</span><span class="special">()</span>
  347. <span class="special">{</span>
  348. <span class="comment">//</span>
  349. <span class="comment">// Define the max and mean errors expected for</span>
  350. <span class="comment">// various compilers and platforms.</span>
  351. <span class="comment">//</span>
  352. <span class="keyword">const</span> <span class="keyword">char</span><span class="special">*</span> <span class="identifier">largest_type</span><span class="special">;</span>
  353. <span class="preprocessor">#ifndef</span> <span class="identifier">BOOST_MATH_NO_LONG_DOUBLE_MATH_FUNCTIONS</span>
  354. <span class="keyword">if</span><span class="special">(</span><span class="identifier">boost</span><span class="special">::</span><span class="identifier">math</span><span class="special">::</span><span class="identifier">policies</span><span class="special">::</span><span class="identifier">digits</span><span class="special">&lt;</span><span class="keyword">double</span><span class="special">,</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">math</span><span class="special">::</span><span class="identifier">policies</span><span class="special">::</span><span class="identifier">policy</span><span class="special">&lt;&gt;</span> <span class="special">&gt;()</span> <span class="special">==</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">math</span><span class="special">::</span><span class="identifier">policies</span><span class="special">::</span><span class="identifier">digits</span><span class="special">&lt;</span><span class="keyword">long</span> <span class="keyword">double</span><span class="special">,</span> <span class="identifier">boost</span><span class="special">::</span><span class="identifier">math</span><span class="special">::</span><span class="identifier">policies</span><span class="special">::</span><span class="identifier">policy</span><span class="special">&lt;&gt;</span> <span class="special">&gt;())</span>
  355. <span class="special">{</span>
  356. <span class="identifier">largest_type</span> <span class="special">=</span> <span class="string">"(long\\s+)?double|real_concept"</span><span class="special">;</span>
  357. <span class="special">}</span>
  358. <span class="keyword">else</span>
  359. <span class="special">{</span>
  360. <span class="identifier">largest_type</span> <span class="special">=</span> <span class="string">"long double|real_concept"</span><span class="special">;</span>
  361. <span class="special">}</span>
  362. <span class="preprocessor">#else</span>
  363. <span class="identifier">largest_type</span> <span class="special">=</span> <span class="string">"(long\\s+)?double"</span><span class="special">;</span>
  364. <span class="preprocessor">#endif</span>
  365. <span class="comment">//</span>
  366. <span class="comment">// We call add_expected_result for each error rate we wish to adjust, these tell</span>
  367. <span class="comment">// handle_test_result what level of error is acceptable. We can have as many calls</span>
  368. <span class="comment">// to add_expected_result as we need, each one establishes a rule for acceptable error</span>
  369. <span class="comment">// with rules set first given preference.</span>
  370. <span class="comment">//</span>
  371. <span class="identifier">add_expected_result</span><span class="special">(</span>
  372. <span class="comment">/* First argument is a regular expression to match against the name of the compiler
  373. set in BOOST_COMPILER */</span>
  374. <span class="string">".*"</span><span class="special">,</span>
  375. <span class="comment">/* Second argument is a regular expression to match against the name of the
  376. C++ standard library as set in BOOST_STDLIB */</span>
  377. <span class="string">".*"</span><span class="special">,</span>
  378. <span class="comment">/* Third argument is a regular expression to match against the name of the
  379. platform as set in BOOST_PLATFORM */</span>
  380. <span class="string">".*"</span><span class="special">,</span>
  381. <span class="comment">/* Forth argument is the name of the type being tested, normally we will
  382. only need to up the acceptable error rate for the widest floating
  383. point type being tested */</span>
  384. <span class="identifier">largest_real</span><span class="special">,</span>
  385. <span class="comment">/* Fifth argument is a regular expression to match against
  386. the name of the group of data being tested */</span>
  387. <span class="string">"MySpecial Function:.*Small.*"</span><span class="special">,</span>
  388. <span class="comment">/* Sixth argument is a regular expression to match against the name
  389. of the function being tested */</span>
  390. <span class="string">"boost::math::my_special"</span><span class="special">,</span>
  391. <span class="comment">/* Seventh argument is the maximum allowable error expressed in units
  392. of machine epsilon passed as a long integer value */</span>
  393. <span class="number">50</span><span class="special">,</span>
  394. <span class="comment">/* Eighth argument is the maximum allowable mean error expressed in units
  395. of machine epsilon passed as a long integer value */</span>
  396. <span class="number">20</span><span class="special">);</span>
  397. <span class="special">}</span>
  398. </pre>
  399. <h5>
  400. <a name="math_toolkit.special_tut.special_tut_test.h4"></a>
  401. <span class="phrase"><a name="math_toolkit.special_tut.special_tut_test.testing_multiprecision_types"></a></span><a class="link" href="special_tut_test.html#math_toolkit.special_tut.special_tut_test.testing_multiprecision_types">Testing
  402. Multiprecision Types</a>
  403. </h5>
  404. <p>
  405. Testing of multiprecision types is handled by the test drivers in libs/multiprecision/test/math,
  406. please refer to these for examples. Note that these tests are run only occationally
  407. as they take a lot of CPU cycles to build and run.
  408. </p>
  409. <h5>
  410. <a name="math_toolkit.special_tut.special_tut_test.h5"></a>
  411. <span class="phrase"><a name="math_toolkit.special_tut.special_tut_test.improving_compile_times"></a></span><a class="link" href="special_tut_test.html#math_toolkit.special_tut.special_tut_test.improving_compile_times">Improving
  412. Compile Times</a>
  413. </h5>
  414. <p>
  415. As noted above, these test programs can take a while to build as we're instantiating
  416. a lot of templates for several different types, and our test runners are
  417. already stretched to the limit, and probably using outdated "spare"
  418. hardware. There are two things we can do to speed things up:
  419. </p>
  420. <div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; ">
  421. <li class="listitem">
  422. Use a precompiled header.
  423. </li>
  424. <li class="listitem">
  425. Use separate compilation of our special function templates.
  426. </li>
  427. </ul></div>
  428. <p>
  429. We can make these changes by changing the list of includes from:
  430. </p>
  431. <pre class="programlisting"><span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">math</span><span class="special">/</span><span class="identifier">special_functions</span><span class="special">/</span><span class="identifier">math_fwd</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
  432. <span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">math</span><span class="special">/</span><span class="identifier">tools</span><span class="special">/</span><span class="identifier">test</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
  433. <span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">math</span><span class="special">/</span><span class="identifier">tools</span><span class="special">/</span><span class="identifier">stats</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
  434. <span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">type_traits</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
  435. <span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">array</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
  436. <span class="preprocessor">#include</span> <span class="string">"functor.hpp"</span>
  437. <span class="preprocessor">#include</span> <span class="string">"handle_test_result.hpp"</span>
  438. </pre>
  439. <p>
  440. To just:
  441. </p>
  442. <pre class="programlisting"><span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">pch_light</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
  443. </pre>
  444. <p>
  445. And changing
  446. </p>
  447. <pre class="programlisting"><span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">math</span><span class="special">/</span><span class="identifier">special_functions</span><span class="special">/</span><span class="identifier">my_special</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
  448. </pre>
  449. <p>
  450. To:
  451. </p>
  452. <pre class="programlisting"><span class="preprocessor">#include</span> <span class="special">&lt;</span><span class="identifier">boost</span><span class="special">/</span><span class="identifier">math</span><span class="special">/</span><span class="identifier">special_functions</span><span class="special">/</span><span class="identifier">math_fwd</span><span class="special">.</span><span class="identifier">hpp</span><span class="special">&gt;</span>
  453. </pre>
  454. <p>
  455. The Jamfile target that builds the test program will need the targets
  456. </p>
  457. <pre class="programlisting"><span class="identifier">test_instances</span><span class="comment">//test_instances pch_light</span>
  458. </pre>
  459. <p>
  460. adding to it's list of source dependencies (see the Jamfile for examples).
  461. </p>
  462. <p>
  463. Finally the project in libs/math/test/test_instances will need modifying
  464. to instantiate function <code class="computeroutput"><span class="identifier">my_special</span></code>.
  465. </p>
  466. <p>
  467. These changes should be made last, when <code class="computeroutput"><span class="identifier">my_special</span></code>
  468. is stable and the code is in Trunk.
  469. </p>
  470. <h5>
  471. <a name="math_toolkit.special_tut.special_tut_test.h6"></a>
  472. <span class="phrase"><a name="math_toolkit.special_tut.special_tut_test.concept_checks"></a></span><a class="link" href="special_tut_test.html#math_toolkit.special_tut.special_tut_test.concept_checks">Concept
  473. Checks</a>
  474. </h5>
  475. <p>
  476. Our concept checks verify that your function's implementation makes no assumptions
  477. that aren't required by our <a class="link" href="../real_concepts.html" title="Conceptual Requirements for Real Number Types">Real
  478. number conceptual requirements</a>. They also check for various common
  479. bugs and programming traps that we've fallen into over time. To add your
  480. function to these tests, edit libs/math/test/compile_test/instantiate.hpp
  481. to add calls to your function: there are 7 calls to each function, each with
  482. a different purpose. Search for something like "ibeta" or "gamm_p"
  483. and follow their examples.
  484. </p>
  485. </div>
  486. <table xmlns:rev="http://www.cs.rpi.edu/~gregod/boost/tools/doc/revision" width="100%"><tr>
  487. <td align="left"></td>
  488. <td align="right"><div class="copyright-footer">Copyright &#169; 2006-2019 Nikhar
  489. Agrawal, Anton Bikineev, Paul A. Bristow, Marco Guazzone, Christopher Kormanyos,
  490. Hubert Holin, Bruno Lalande, John Maddock, Jeremy Murphy, Matthew Pulver, Johan
  491. R&#229;de, Gautam Sewani, Benjamin Sobotta, Nicholas Thompson, Thijs van den Berg,
  492. Daryle Walker and Xiaogang Zhang<p>
  493. Distributed under the Boost Software License, Version 1.0. (See accompanying
  494. file LICENSE_1_0.txt or copy at <a href="http://www.boost.org/LICENSE_1_0.txt" target="_top">http://www.boost.org/LICENSE_1_0.txt</a>)
  495. </p>
  496. </div></td>
  497. </tr></table>
  498. <hr>
  499. <div class="spirit-nav">
  500. <a accesskey="p" href="special_tut_impl.html"><img src="../../../../../../doc/src/images/prev.png" alt="Prev"></a><a accesskey="u" href="../special_tut.html"><img src="../../../../../../doc/src/images/up.png" alt="Up"></a><a accesskey="h" href="../../index.html"><img src="../../../../../../doc/src/images/home.png" alt="Home"></a><a accesskey="n" href="../relative_error.html"><img src="../../../../../../doc/src/images/next.png" alt="Next"></a>
  501. </div>
  502. </body>
  503. </html>