Głocki W.
Separability of the characteristic polynomial