module(Ring)

Synopsis

• Usage:

  module R

• Function: module
• 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