5 Module interpreted model

5.1 Mapping specification

5.2 MIM EXPRESS short listing

*)
SCHEMA maths_value_mim;
  USE FROM mathematical_constructs_schema -- 10303-50
    (maths_atom,
     maths_logical,
     maths_number,
     maths_tuple,
     maths_value);
(*

5.2.1 MIM EXPRESS types

5.2.1.1 maths_complex

A maths_complex is a maths_tuple of length 2 that is a member of the space of complex numbers. The real part is item 1 and the imaginary part is item 2.

EXPRESS specification: 

*)
TYPE maths_complex = maths_tuple;
WHERE
  two_parts : SIZEOF(SELF) = 2;
END_ENTITY;
(*

Formal propositions:

two_parts: a maths_complex has two parts.

5.2.2 MIM EXPRESS entities

none.

*)
END_SCHEMA;
(*

[Information Requirements] [Annex A]

If you have a comment on this module, please send it to the support team