diagonalisation bibmath