Subring ^ ZZ -- Construct a product subring.

Synopsis

Operator: ^
Usage:

result = subR^n
Inputs:
- subR, an instance of the type Subring, the subring used to construct a product.
- n, an integer, the number of copies of the subring.
Outputs:
- result, an instance of the type Subring,

The resulting subring has n distinguished variables that correspond to module generators.