poly.lib
LIB "poly.lib"; ring r = 0,(x,y,z),lp; poly p = (x+y)*(y+z); poly q = (z4+2)*(y+z); lcm(p,q); ==> xyz4+2xy+xz5+2xz+y2z4+2y2+yz5+2yz ideal i=p,q,y+z; lcm(i,p); ==> xyz4+2xy+xz5+2xz+y2z4+2y2+yz5+2yz lcm(2,3,6); ==> 6 lcm(2..6); ==> 60