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 /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/Macaulay2Doc/functions/monomialIdeal-doc.m2:192:0.