Revert "Revert changes in matrices.py: is_diagonalizable will raise NotImplementedError for symbolic matrices"

This reverts commit 023efa8802aba5db8276af30aa51478798a9a04d.