Jordan normal form
A rational normal form generalizing the Jordan normal form.