/li><li class="is-active"><a class="tocitem" href>Creating Tableaux</a><ul class="internal"><li><a class="tocitem" href="#Canonical-LPs"><span>Canonical LPs</span></a></li><li><a class="tocitem" href="#Standard-LPs"><span>Standard LPs</span></a></li><li><a class="tocitem" href="#Automatic-Removal-of-Redundant-Constraints"><span>Automatic Removal of Redundant Constraints</span></a></li></ul></li><li><a class="tocitem" href="../bases/">Bases</a></li><li><a class="tocitem" href="../pivot/">Pivoting Tableaux</a