characteristic polynomial

Stream: new members

[Junjie Bai]

Suppose A is DVR, with K its fraction field, L an extension of K of degree n, B is the integral closure of A in L, and x is uniformizer of B, how can i actually create the characteristic polynomial of x over K?

[Junyan Xu]

There is docs#LinearMap.charpoly if what you mean is the characteristic polynomial of multiplication by x (docs#Algebra.lsmul) as a K-linear endomorphism of L.

[Junjie Bai]

that helps a lot, thank you!