Go to the first, previous, next, last section, table of contents.

### `sp_norm`

`sp_norm(alg,var,poly,alglist)`
  :: Norm computation over an algebraic number field.

return
  polynomial
var
  The main variable of poly
poly
  univariate polynomial
alg
  `root`
alglist
  `root` list

- Defined in the file ``sp'`.
- Computes the norm of poly with respect to alg. Namely, if we write K = Q(alglist \ {alg}), The function returns a product of all conjugates of poly, where the conjugate of polynomial poly is a polynomial in which the algebraic number alg is substituted for its conjugate over K.
- The result is a polynomial over K.
- The method of computation depends on the input. Currently direct computation of resultant and Chinese remainder theorem are used but the selection is not necessarily optimal. By setting the global variable `USE_RES` to 1, the builtin function `res()` is always used.

    [0] load("sp")$
    [39] A0=newalg(x^2+1)$
    [40] A1=newalg(x^2+A0)$
    [41] sp_norm(A1,x,x^3+A0*x+A1,[A1,A0]);
    x^6+(2*#0)*x^4+(#0^2)*x^2+(#0)
    [42] sp_norm(A0,x,@@,[A0]);
    x^12+2*x^8+5*x^4+1

`Reference`
  section `res`, section `asq`, `af`, `af_noalg`

Go to the first, previous, next, last section, table of contents.