Home Online Manual
Top
Back: rootsMain
Forward: containedQ
FastBack:
FastForward:
Up: zeroset_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.8.6.12 sqfrNormMain

Procedure from library zeroset.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]