|  |  D.8.6.7 factorMain Procedure from libraryzeroset.lib(see  zeroset_lib).
 
Usage:
factorMain(f); where f is a polynomial
Purpose:
compute the factorization of the squarefree polynomial 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!).
Note:
outdated, use factorize instead
 
 |