This site is a static rendering of the Trac instance that was used by R7RS-WG1 for its work on R7RS-small (PDF), which was ratified in 2013. For more information, see Home.

Source for wiki IntegerSetsCowan version 4

author

cowan

comment


    

ipnr

127.11.51.1

name

IntegerSetsCowan

readonly

0

text

{{{
#!html
<h2 id="Integersetprocedures">Integer set procedures</h2><p>

The elements of an integer set are exact integers.  The procedures for creating and manipulating integer sets are the same as those for <a href="http://srfi.schemers.org/srfi-113/srfi-113.html">SRFI 113 sets</a>, except that <code>set</code> is replaced by <code>integer-set</code> in their names.  However, <code>set-comparator</code> has no equivalent for integer sets, and in <code>integer-set</code>, <code>integer-set-unfold</code>, <code>integer-set-map</code>, and <code>integer-set-copy</code> the <em>comparator</em> argument is omitted.</p>

<p>Although sets subsume integer sets, providing them separately allows for increased implementation efficiency.  There are two Chicken eggs that provide integer sets: <a href="http://wiki.call-cc.org/eggref/4/iset#integer-sets"><code>iset</code></a>, which is conceptually similar to the integer sets described here; and <a href="http://wiki.call-cc.org/eggref/4/cis"><code>cis</code></a>, which uses lists of integer intervals.</p>


<h3 id="Additionalintegersetprocedures">Additional integer set procedures</h3>

</p><p><code>(range-&gt;integer-set </code><em>low high</em><code>)</code></p><p>

Returns a newly allocated integer set.  The set contains the elements from <em>low</em> (inclusive) to <em>high</em> (exclusive).

</p><p><code>(integer-set-adjoin-range </code><em>integer-set low high</em><code>)</code></p><p>

Returns a newly allocated integer set that contains all its values, and in addition each integer from <em>low</em> (inclusive) to <em>high</em> (exclusive) unless it is already equal to an existing member.

</p><p><code>(integer-set-adjoin-range! </code><em>integer-set low high</em><code>)</code></p><p>

A linear update procedure that returns an integer set that contains all its values, and in addition each integer from <em>low</em> (inclusive) to <em>high</em> (exclusive) unless it is already equal to an existing member.

</p><p><code>(integer-set-complement </code><em>integer-set</em><code>)</code></p><p>

Returns a newly allocated integer set that is the complement of <em>integer-set</em>.

</p><p><code>(integer-set-min </code><em>integer-set</em><code>)</code></p><p><code>(integer-set-max </code><em>integer-set</em><code>)</code></p><p>

Returns the smallest or largest integer in <i>integer-set</i>, or <code>#f</code> if there is none.

</p><p><code>(integer-set-open-interval </code><em>integer-set low high</em><code>)</code>
</p><p><code>(integer-set-closed-interval </code><em>integer-set low high</em><code>)</code>
</p><p><code>(integer-set-open-closed-interval </code><em>integer-set low high</em><code>)</code>
</p><p><code>(integer-set-closed-open-interval </code><em>integer-set low high</em><code>)</code>
<p>

Procedures that return a subset of <em>integer-set</em> contained in the interval from <em>low</em>
to <em>high</em>.  The interval may be open, closed, open below and closed above, or open above and
closed below.

</p><p><code>(integer-set-range= </code><em>integer-set k</em><code>)</code>
</p><p><code>(integer-set-range&lt; </code><em>integer-set k</em><code>)</code>
</p><p><code>(integer-set-range&lt;= </code><em>integer-set k</em><code>)</code>
</p><p><code>(integer-set-range> </code><em>integer-set k</em><code>)</code>
</p><p><code>(integer-set-range>= </code><em>integer-set k</em><code>)</code>
<p>

Procedures that return an integer set containing the elements of <em>integer-set</em> that are equal
to, less than, less than or equal to, greater than, or greater than or equal to <em>k</em>.
Note that the result <code>integer-set-range=</code> contains at most one element.

</p><p><code>(integer-set-delete-min! </code><em>integer-set</em><code>)</code></p>
<p><code>(integer-set-delete-max! </code><em>integer-set</em><code>)</code></p><p>

Linear update procedures that return two values: the smallest or largest integer in <em>integer-set</em> or <code>#f</code> if there is none, and a set which contains all the elements of <em>set</em> except the integer being returned.

</p>
}}}

time

2014-10-22 09:05:40

version

4