quotient, saturation, and annihilator routines for ideals and modules