Functions for computing a quotient algebra/module, and computing the radical RadV = (RadL)V of module V.