879
879
<dt><u>Función:</u> <b>poly_saturation_extension</b><i> (<var>poly</var>, <var>polylist</var>, <var>varlist1</var>, <var>varlist2</var>)</i>
882
882
<dd><p><code>poly_saturation_extension</code> ejecuta el truco de Rabinowitz.
886
886
<dt><u>Función:</u> <b>poly_polysaturation_extension</b><i> (<var>poly</var>, <var>polylist</var>, <var>varlist1</var>, <var>varlist2</var>)</i>