dual(MonomialIdeal,{...}) -- the Alexander dual

dual(MonomialIdeal,{...}) -- the Alexander dual

Synopsis:

Usage: J = dual(I,e)

Function: dual -- dual module or map

Input:

I, an instance of class MonomialIdeal: a monomial ideal

e, an instance of class List: a list of exponents

Output:

J, an instance of class Thing: the Alexander dual of I formed with respect to the monomial whose exponents are listed in e

The monomial corresponding to e should be divisible by all of the minimal generators of I.

See also:

dual MonomialIdeal -- the Alexander dual of a monomial ideal