8.18.6.2 IfcSameValidPrecision
8.18.6.2.1 Semantic definition
The function compares the epsilon values (given as Precision at IfcGeometricRepresentationContext and ensures that they are the same (with a derivation tolerance) and within reasonable min and max values.
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;