CharacteristicPolynomial2(F)

charpol.spad line 1 [edit on github]

• F : Field

This package computes characteristic polynomial using Danilewski method.

char_pol : Matrix(F) -> SparseUnivariatePolynomial(F)

char_pol(m) computes characteristic polynomial of m.

danilewski : Matrix(F) -> Record(matrix : Matrix(F), block_list : List(Integer))

danilewski(m) converts m to block form where each block represents transposition of multiplication by a polynomial.