module
module I
-- produce the submodule of R^1 corresponding to an ideal I.
