# NormInMonogenicAlgebra(R, PolR, E, PolE)¶

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.