CharacteristicPolynomialInMonogenicalAlgebra(R, PolR, E)ΒΆ

algcat.spad line 279 [edit on github]

This package implements characteristicPolynomials for monogenic algebras using resultants

characteristicPolynomial: E -> PolR

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