|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.8.6.12 sqfrNormMain
Procedure from libraryzeroset.lib (see zeroset_lib).
- Usage:
- sqfrNorm(f); where f is a polynomial
- Purpose:
- compute the norm of the squarefree polynomial f in Q(a)[x].
- Return:
- list with 3 entries
_[1] = squarefree norm of g (poly) _[2] = g (= f(x - s*a)) (poly) _[3] = s (int)
- Assume:
- f must be squarefree, basering = Q[x,a] and ideal mpoly is equal to
'minpoly', this represents the ring Q(a)[x] together with 'minpoly'.
- Note:
- the norm is an element of Q[x]