Given a list of variable indices, this method computes a basis for all dual elements orthogonal to I which have total degree in the variables on the list bounded by d.
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 |
This function generalizes truncatedDual in that if v includes all the variables in the ring, then its behavior is the same.
i4 : eliminatingDual(origin R, I, {0,1}, 2) o4 = | xy y2 x y 1 | o4 : DualSpace |
See also truncatedDual.
The space of dual elements satisying the conditions is not in general of finite dimension. If the dimension is infinite, this function will not terminate. This is not checked. To ensure termination, the local dimension of I at p should not exceed the length of v, and certain genericity constraints on the coordinates must be met.
The object eliminatingDual is a method function with options.