CharacteristicPolynomialInMonogenicalAlgebra(R, PolR, E)

algcat.spad line 285 [edit on github]

• R : CommutativeRing
• PolR : UnivariatePolynomialCategory(R)
• E : MonogenicAlgebra(R, PolR)

This package implements characteristicPolynomials for monogenic algebras using resultants

characteristicPolynomial : E -> PolR

characteristicPolynomial(e) returns the characteristic polynomial of e using resultants