| 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)
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.