mode 型

Any = setElement of COMPLEX Real Integer Nat
Top Space   


reserve X for 型;


reserve X for 型;
reconsider Y=X as 型 by 定義ファイル:番号;

例 : 複素数 X を Y に変換する
reserve X for Element of COMPLEX;
reconsider Y=X as complex number by XCMPLX_0:def 2;
mode cluster
複素数 Element of Complex complex number∀a,b∈実数,i=虚数 a + bi
実数 Real real number -∞ < Real < ∞
自然数 NAT natural number {0,1,2,...}