Artifact f73db21de3cb478669f4234ae6d6969c7b7cd26f1ff588dbe0de7f96191ebeb2:

• Executable file r37/lisp/csl/html/r37_0422.html — part of check-in [f2fda60abd] at 2011-09-02 18:13:33 on branch master — Some historical releases purely for archival purposes

  git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 755) [annotate] [blame] [check-ins using] [more...]

<A NAME=Interval>

<TITLE>Interval</TITLE></A>
<b><a href=r37_idx.html>INDEX</a></b><p><p>



<B>INTERVAL</B> _ _ _  _ _ _  _ _ _  _ _ _ <B>type</B><P>
<P>
 
Intervals are generally coded as lower bound and 
upper bound connected by the operator <em>..</em>, usually 
associated to a variable in an 
equation. 
<P>
<P>
 <P> <H3> 
syntax: </H3>
&lt;var&gt; = (&lt;low&gt; .. &lt;high&gt;) 
<P>
<P>
<P>
where &lt;var&gt; is a 
<A HREF=r37_0002.html>kernel</A> and &lt;low&gt;, &lt;high&gt; are 
numbers or expression which evaluate to numbers with &lt;low&gt;&lt;=&lt;high
&gt;. 
<P>
<P>
 <P> <H3> 
examples: </H3>
<P><PRE><TT></TT></PRE><P>means that the variable x is taken in the range from 2
.5 up to 
3.5. 
<P>
<P>