CharacteristicPolynomial4 R

charpol.spad line 169 [edit on github]

• R: Ring

This package computes characteristic polynomial via Berkovitz-Samuelson formula.

char_pol_via_berkovitz: Matrix R -> SparseUnivariatePolynomial R

char_pol_via_berkovitz(m) computes characteristic polynomial of m.