![]() | 1 | initial version |
.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())