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;