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.