i1 : R = CC[x,y]; |
i2 : I = ideal{x^2-y^3} 3 2 o2 = ideal(- y + x ) o2 : Ideal of R |
i3 : eliminatingDual(origin R, I, {0}, 2) o3 = | y5+x2y2 y4+x2y y3+x2 xy2 xy x y2 y 1 | o3 : DualSpace |
i4 : eliminatingDual(origin R, I, {0,1}, 2) o4 = | xy y2 x y 1 | o4 : DualSpace |