ze the computation among different batches?</p></dd>

<dt><code>reorder</code></dt><dd><p>(logical) Should the rules be randonly reordered previous to the computation?</p></dd>

</dl><p></div></p>
<h3>Details</h3>
<p>Currently, the implemented rules are <code>"generalization"</code>, <code>"simplification"</code>, <code>"reduction"</code> and <code>"composition"</code>.</p>

<h3>Returns</h3>
<p>Nothing, just updates the internal matrices for LHS and RHS.</p>
<p><hr>
<a id="method-print"></a></p><h3>Method <