Macaulay2 » Documentation
Packages » SectionRing :: dualToIdeal
next | previous | forward | backward | up | index | toc

dualToIdeal -- dual ideal

Synopsis

Description

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

For the programmer

The object dualToIdeal is a method function.