code class="name flex">
<span>def <span class="ident">rspace</span></span>(<span>maxts, trmaxts, primes)</span>
</code></dt>
<dd>
<div class="desc"><p>In order for none of the trap spaces to "lock in", we would require that
their single-node drivers are all sustained in a negated state. We can use
this idea to hone the exclusion space. rspace will return the region that</p>
<p>1) has the negations of 1-node drivers of each maxts active and . . .
2) has the update rules of these 1-node drivers taking the app