arguments: I:monideal m:monomial >> monideal; OR I:monideal J:monideal >> monideal; OR m:monomial n:monomial >> monomial.
Yields the saturation (I:m^*), or (I:J^*).
