### 4.12.2 module expressions

A module expression is:

1. an identifier of type module
2. a function returning module
3. module expressions combined by the arithmetic operation `+`
4. multiplication of a module expression with an ideal or a poly expression: `*`
5. a type cast to module

See Type conversion and casting; ideal; poly; vector.

User manual for Singular version 4-0-3, 2016, generated by texi2html.