First time here? Check out the FAQ!
answered 2022-03-05 18:17:26 +0100
Simple:
sage: q = next_prime(2^128) sage: p = (x1*x2) + (x3*x4) sage: p(x2=2) x3*x4 + 2*x1
But note that :
sage: p.subs(x2==2) x1*x2 + x3*x4
doesn't work.
HTH,