8.11.2.9 IfcComplexNumber(复数)
8.11.2.9.1 语义定义(Semantic definition)
IfcComplexNumber 是通过包含两个元素的数组表示的复数。第一个元素(索引1)代表实部,即复数的数值分量,其平方根可以显式计算。第二个元素(索引2)代表虚部,即复数的数值分量,其平方根只能通过虚数单位j(满足j² = -1)的平方来确定。注意在某些文献中虚部可能被称为i。
类型:ARRAY [1:2] OF REAL
8.11.2.9.2 形式化表示(Formal representation)
TYPE IfcComplexNumber = ARRAY [1:2] OF REAL;
END_TYPE;