/Diagonalisation_of_quadratic_forms

This is an (unfinished) algorithm to diagonalization of quadratic form matrices

OtherNOASSERTION

Pinned issues

Issues