<?Php require_once "fs_inner_context.inc"; ?>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
     "http://www.w3.org/TR/html4/loose.dtd">
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=US-ASCII">

<title><?php echo $HTML_TITLE; ?></title>

</head>

<?php echo html_bgcolor_body($BG_COLOR); ?>

<!-- Standard hierarchical header structure -->

<?php echo $CS_HEADER_HTML; ?>

<?php echo html_linked_text("<em>Courses</em>", $CS_COURSES_ROOT_URL); ?>

<?php echo $HTML_HEADER; ?>

<hr><hr>

<?php echo html_linked_text(html_header($HTML_HEADER_LEVEL + 1,
    "Definitions of abstractions"), "../Abstractions/"); ?>

<?php echo html_header($HTML_HEADER_LEVEL + 1,
    "Testing utilities"); ?>

<ul>

<li><?php echo html_linked_text("<code>progutils-3.scm</code>",
    "progutils-3.scm"); ?> 20 November 2003</li>

</ul>

<?php echo html_header($HTML_HEADER_LEVEL + 1,
    "Infinite numerals"); ?>

<ul>

<li><?php echo html_linked_text("<code>xreal-2_tristream-1,mod1.2.scm</code>",
   "xreal-2_tristream-1,mod1.2.scm"); ?> 16 November 2003</li>

</ul>

<?php echo html_header($HTML_HEADER_LEVEL + 1,
    "Rudimentary Calculator GUI"); ?>

<p>Here are files providing a very rudimentary GUI interface to the
exact reals. Neither the functionality nor the structure is right yet,
but it may be fun to poke at.</p>

<ul>

<li>File to load calculator, xreal, and ratintvl definitions:

<ul>
<li><?php echo html_linked_text("<code>precfunc_ratpair.1.scm</code>",
                                "precfunc_ratpair.1.scm"); ?></li>
<li><?php echo html_linked_text("<code>precfunc_ratpair.2.scm</code>",
                                "precfunc_ratpair.2.scm"); ?></li>

</ul></li>

<li>Calculator GUI definitions:

<ul>

<li><?php echo html_linked_text("<code>perfectly_accurate_calculator-1,mod1.3.scm</code>",
                                "perfectly_accurate_calculator-1,mod1.3.scm") . " "; ?>
(with decimal output window)</li>

<li><?php echo html_linked_text("<code>perfectly_accurate_calculator-1,mod2.1.scm</code>",
                                "perfectly_accurate_calculator-1,mod2.1.scm") . " "; ?>
(added rational interval and decimal interval output)</li>

</ul></li>

<li>Rational interval definitions:

<ul>

<li><?php echo html_linked_text("<code>ratintvl-3_ratpair-1,mod1.scm</code>",
                                "ratintvl-3_ratpair-1,mod1.scm"); ?></li>

<li><?php echo html_linked_text("<code>ratintvl-3_ratpair-2,mod1.scm</code>",
                                "ratintvl-3_ratpair-2,mod1.scm") . " "; ?>
(added function to output decimal interval)</li>

<li><?php echo html_linked_text("<code>ratintvl-4_ratpair-2,mod1.scm</code>",
                                "ratintvl-4_ratpair-2,mod1.scm") . " "; ?>
(fixed <code>overlap_interval?</code> definition)</li>

</ul></li>

<li>Exact real definitions:

<ul>

<li><?php echo html_linked_text("<code>xreal-3_precfunc-1,mod1.scm</code>",
                                "xreal-3_precfunc-1,mod1.scm"); ?></li>

</ul></li>

</ul>

<p>So far, the interval outputs use the same precision as the decimal
output, which may only be a power of 10. If any output needs more than
200 characters (which can easily happen for the rational interval
output) it does not update.</p>

<?php echo html_footer("index", 0, 1); ?>
<!-- hhmts start -->
Last modified: Sat Nov 29 11:44:47 CST 2003
<!-- hhmts end -->

</body>

</html>
