dualToIdeal -- dual ideal

Usage:

dualToIdeal(I)
Inputs:
- I, an ideal,
Outputs:
- an ideal, the dual of I

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.

The source of this document is in /__w/M2/M2/macaulay2-1.26.05+ds/M2/Macaulay2/packages/SectionRing.m2:395:0.