First time here? Check out the FAQ!
answered 2 years ago
.elimination_ideal() is computed by Singular, which has a restriction for the field characteristic to be below 231. Check this out:
.elimination_ideal()
P.<x,y> = GF(previous_prime(2^31))[] print(P.parent()) P.<x,y> = GF(next_prime(2^31))[] print(P.parent())