D.6.3.14 SimplifyIdeal
......................
Procedure from library rinvar.lib (see rinvar_lib).

Purpose:
simplify ideal I to the ideal I', do not change the names of the
first m variables, new ideal I' might contain less variables.
I' contains variables var(1..m)

Return:
list

_[1] ideal I'

_[2] ideal representing a map phi to a ring with probably less vars. s.t.
phi(I) = I'

_[3] list of variables

_[4] list from 'elimpart'


<font size="-1">
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; User manual for <a href="http://www.singular.uni-kl.de/"><i>Singular</i></a> version 2-0-4, October 2002,
generated by <a href="http://www.gnu.org/software/texinfo/"><i>texi2html</i></a>.
</font>

</body>
</html>
