8.18.6.2 IfcSameValidPrecision（相同有效精度）

8.18.6.2.1 语义定义（Semantic definition）

该函数比较在 IfcGeometricRepresentationContext 中作为 Precision 给定的 epsilon 值，并确保它们相同（在允许偏差范围内）且在合理的最大值和最小值范围内。

8.18.6.2.2 形式化表示（Formal representation）

FUNCTION IfcSameValidPrecision
   (Epsilon1, Epsilon2 : REAL) : LOGICAL ;
  LOCAL
    ValidEps1, ValidEps2 : REAL;
    DefaultEps           : REAL := 0.000001;
    DerivationOfEps      : REAL := 1.001;
    UpperEps             : REAL := 1.0;
  END_LOCAL;
  
    ValidEps1 := NVL(Epsilon1, DefaultEps);
    ValidEps2 := NVL(Epsilon2, DefaultEps);
    RETURN ((0.0 < ValidEps1) AND (ValidEps1 <= (DerivationOfEps * ValidEps2)) AND 
            (ValidEps2 <= (DerivationOfEps * ValidEps1)) AND (ValidEps2 < UpperEps));

END_FUNCTION;

8.18.6.2.3 参考文献

IfcRepresentationContextSameWCS