diagonal canonical form