td><div class="info">
Interval subtraction <b>(optimal)</b>
</div>
</td></tr>
<tr><td><a href="Interval1.html#VALsub_ii">sub_ii</a> [<a href="Interval1.html">Interval1</a>]</td>
<td><div class="info">
Interval subtraction
</div>
</td></tr>
<tr><td align="left"><br>Z</td></tr>
<tr><td><a href="Interval2.html#VALzero_interval">zero_interval</a> [<a href="Interval2.html">Interval2</a>]</td>
<td><div class="info">
<code class="code">[0., 0.]</code>
</div>
</td></tr>
<tr><td><a href="Interval1.html#VALzero_inter