next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
SectionRing :: dualToIdeal

dualToIdeal -- dual ideal

Takes an ideal I as input, dualizes the ideal, and maps it back into the ring, producing HomR(I,R) ~ J < R. Used to produce the global sections H0(mD), where D is an integral divisor defined by I.