Uniform product space Application Object

A Uniform_product_space is a Product_space that has each factor space the same.

EXPRESS specification:

*)
ENTITY Uniform_product_space
  SUBTYPE OF (Product_space);
  base : Maths_space;
  exponent : INTEGER;
WHERE
  positive_exponent  :  exponent > 0; 
END_ENTITY;
(*

Attributes:

base: The Maths_space to which each components of each tuple in the Uniform_product_space belongs.

exponent: The length of each ordered tuple in the Uniform_product_space.