arguments: monideal monideal >> monideal
Place the intersection of the two monomial ideals onto the stack.