dual(MonomialIdeal,RingElement) -- the Alexander dual

dual(MonomialIdeal,RingElement) -- the Alexander dual

Synopsis:

Usage: J = dual(I,m)

Function: dual -- dual module or map

Input:

I, an instance of class MonomialIdeal: a monomial ideal

m, an instance of class RingElement: a monomial

Output:

J, an instance of class Thing: the Alexander dual of I formed with respect to m.

The monomial m should be divisible by all of the minimal generators of I.

See also:

dual MonomialIdeal -- the Alexander dual of a monomial ideal

Code:

     -- ../../../Macaulay2/m2/monideal.m2:280
     dual(MonomialIdeal,RingElement) := (I,r) -> dual(I,first exponents r)