NormInMonogenicAlgebra(R, PolR, E, PolE)ΒΆ

algcat.spad line 320 [edit on github]

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.