            break
        if not csat:
            return False
    return True</code></pre>
</details>
</dd>
<dt id="pystablemotifs.restrict_space.reduce_rspace"><code class="name flex">
<span>def <span class="ident">reduce_rspace</span></span>(<span>L, primes)</span>
</code></dt>
<dd>
<div class="desc"><p>Reduce the rspace L for the system given by primes so that trivially fixed
nodes are factored out. The first element of the returned rspace (L2) will
specify these trivially fixed nodes (i.e., they are f