On S-Equivalence of Seifert Matrices.
We describe an algorithm due to Gauss, Shanks and Lagarias that, given a non-square integer mod and the factorization of , computes the structure of the -Sylow subgroup of the class group of the quadratic order of discriminant in random polynomial time in .