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^*).
Go to main index.
Go to concepts index.