module -- make or get a module

Ways to use module :

• module(CoherentSheaf) -- get the module defining a coherent sheaf
• module(Ideal) -- turn an ideal into a module
• module(MonomialIdeal), see module(Ideal) -- turn an ideal into a module
• module(Ring)
• module(SheafOfRings) -- make or get a module
• module(Vector) -- the module of a vector