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!).