dual(I,e)
The monomial corresponding to e should be divisible by all of the minimal generators of I.
The computation is done by calling the frobby library, written by B. H. Roune; setting gbTrace to a positive value will cause a message to be printed when it is called.
The source of this document is in Macaulay2Doc/functions/monomialIdeal-doc.m2:192:0.