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