Faddeev-LeVerrier algorithm