Revision history [back]
 | 1 | initial version |
So I solved the problem by going straight to Pari's qfisom routine that the is_globally_isomorphic routine eventually calls. The script generates the p-neighbors and checks for isometry, so all the forms are positive definite, but determining this is extremely expensive as currently implemented and overshadows the cost of the isomorphism testing.
| | 2 | No.2 Revision |
So I solved the problem by going straight to Pari's qfisom routine that the is_globally_isomorphic routine eventually calls. The script generates the p-neighbors and checks for isometry, so all the forms are positive definite, but determining this is extremely expensive as currently implemented and overshadows the cost of the isomorphism testing.
To do this if $q1$ and $q2$ are the Gram matricies I write:
T = g1.__pari()__.qfisom(g2.__pari__())
and T is either False or the transformation matrix I want.
