module(Ring) -- make or get a module

Synopsis

• Function: module

• Usage:

  module R

• Inputs:
  • R, a ring
• Outputs:
  • a module, the free module of rank 1 over the ring R

Description

i1 : ZZ

o1 = ZZ

o1 : Ring

i2 : module ZZ

       1
o2 = ZZ

o2 : ZZ-module, free