The characteristic polynomial is a particular specialization of the Tutte polynomial. If M is a matroid of rank r with Tutte polynomial T(x, y), then the characteristic polynomial of M is given by (-1)^r * T(1 - x, 0).
This function computes the characteristic polynomial as an evaluation of the Tutte polynomial. If the Tutte polynomial of the matroid has already been computed, then this function should return the characteristic polynomial instantaneously.
i1 : M = matroid completeGraph 4 o1 = a matroid of rank 3 on 6 elements o1 : Matroid |
i2 : T = tuttePolynomial M 3 3 2 2 o2 = x + y + 3x + 4x*y + 3y + 2x + 2y o2 : ZZ[x..y] |
i3 : factor characteristicPolynomial M o3 = (x - 3)(x - 2)(x - 1) o3 : Expression of class Product |
If M = M(G) is a graphic matroid, then the characteristic polynomial of M and the chromatic polynomial of G differ by a factor of x^k, where k is the number of connected components of the graph G.