Revision history [back]

.elimination_ideal() is computed by Singular, which has a restriction for the field characteristic to be below $2^{31}$. Check this out:

P.<x,y> = GF(previous_prime(2^31))[]
print(P.parent())
P.<x,y> = GF(next_prime(2^31))[]
print(P.parent())