Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

It's easy for polynomial (rather than symbolic) variables:

K.<a,b> = QQ[]
J = K.ideal( [a*b] )
((a+b)^2).reduce(J)