|
D.7.5.9 FactorMain
Procedure from library zeroset.lib (see section zeroset_lib).
- Purpose:
compute the factorization of the squarefree poly f over Q(a)[t],
minpoly = p(a).
- Return:
list with 2 entries
- Assume:
basering = Q[x,a], representing Q(a)[x]. An ideal mpoly must
be defined, representing the minimal polynomial (it might be 0!).
|