div>
</td></tr>
<tr><td><a href="Interval1.html#VALmake_interval">make_interval</a> [<a href="Interval1.html">Interval1</a>]</td>
<td><div class="info">
Creates an interval from given endpoints
</div>
</td></tr>
<tr><td><a href="Interval2.html#VALmax_ii">max_ii</a> [<a href="Interval2.html">Interval2</a>]</td>
<td><div class="info">
Interval maximum <b>(optimal)</b>
</div>
</td></tr>
<tr><td><a href="Interval1.html#VALmax_ii">max_ii</a> [<a href="Interval1.html">Interval1</a>]</td>
<td><div class="info">
In