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