D.7.5.9 FactorMain
..................
Procedure from library zeroset.lib (see zeroset_lib).

Purpose:
compute the factorization of the squarefree poly f over Q(a)[t],
minpoly = p(a).

Return:
list with 2 entries
    _[1] = factors, first is a constant
  _[2] = multiplicities (not yet implemented)
  

Assume:
basering = Q[x,a], representing Q(a)[x]. An ideal mpoly must
be defined, representing the minimal polynomial (it might be 0!).


<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>
