NormInMonogenicAlgebra(R, PolR, E, PolE)

algcat.spad line 320 [edit on github]

• R: GcdDomain

• PolR: UnivariatePolynomialCategory R

• E: MonogenicAlgebra(R, PolR)

• PolE: UnivariatePolynomialCategory E

This package implements the norm of a polynomial with coefficients in a monogenic algebra (using resultants)

norm: PolE -> PolR

norm q returns the norm of q, i.e. the product of all the conjugates of q.