https://9lib.org/document/q2n3nl26-diagonalizing-the-trace-form-in-some-number-fields.html