Denote by the set of all primes with Kronecker symbol . By constructing a set of generators of and prime forms of with in a sequence of relations between the set of generators and are produced. The size of can be bounded by for some constant .
Denote by the set of all primes with Kronecker symbol  By constructing a set of generators of and prime forms of with in a sequence of relations between the set of generators and are produced The size of can be bounded by for some constant 