First time here? Check out the FAQ!
answered 2024-01-18 06:17:54 +0100
It's easy for polynomial (rather than symbolic) variables:
K.<a,b> = QQ[] J = K.ideal( [a*b] ) ((a+b)^2).reduce(J)