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

algcat.spad line 314

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.