some work with diagonalization in triangulation.py