CharacteristicPolynomialInMonogenicalAlgebra(R, PolR, E)ΒΆ

algcat.spad line 279

This package implements characteristicPolynomials for monogenic algebras using resultants

characteristicPolynomial: E -> PolR
characteristicPolynomial(e) returns the characteristic polynomial of e using resultants