0027704: Numeric inaccuracy due to huge extension of the offset faces

The max extension value of the faces in offset operation has been decreased
to 1.e+7 value to avoid the lack of precision in the calculations.

Update of test cases according to the new behavior

diff --git a/src/BRepOffset/BRepOffset_Tool.cxx b/src/BRepOffset/BRepOffset_Tool.cxx
index 638b476ae6dba0c949e77a0cdd89223e6d1d145d..356ae06a0203814e81d52b7f2596ce86bbdeee86 100644 (file)
--- a/src/BRepOffset/BRepOffset_Tool.cxx
+++ b/src/BRepOffset/BRepOffset_Tool.cxx
@@ -3211,7 +3211,16 @@ Standard_Boolean BRepOffset_Tool::EnLargeFace
   Standard_Boolean      isVV1degen = Standard_False, isVV2degen = Standard_False;
   Standard_Real         US1,VS1,US2,VS2;
   Standard_Real         UF1,VF1,UF2,VF2;
-  Standard_Real         infini = 1.e8;
+  // The maximal value to enlarge surfaces is decreased to 1.e+7.
+  // It is justified by the floating point format. As we can have only 15
+  // valuable decimal numbers, then during intersection of surfaces with
+  // bounds of 1.e+8 the possible inaccuracy might appear already in seventh
+  // decimal place which will be more than Precision::Confusion value -
+  // 1.e-7, default tolerance value for the section curves.
+  // By decreasing the max enlarge value to 1.e+7 the inaccuracy will be
+  // shifted to eighth decimal place, i.e. the inaccuracy will be
+  // decreased to values less than 1.e-7.
+  Standard_Real         infini = 1.e7;//1.e8;
   Standard_Boolean      SurfaceChange = Standard_False;
 
   if (S->IsUPeriodic() || S->IsVPeriodic()) {

diff --git a/tests/bugs/modalg_6/bug27704 b/tests/bugs/modalg_6/bug27704
new file mode 100644 (file)
index 0000000..ebcd656
--- /dev/null
+++ b/tests/bugs/modalg_6/bug27704
@@ -0,0 +1,22 @@
+puts "========"
+puts "OCC27704"
+puts "========"
+puts ""
+#################################################
+# Numeric inaccuracy due to huge extension of the offset faces
+#################################################
+
+# Input shell contains two planar faces with linear edges.
+# The result of offset operation is also expected to contain
+# only simple geometries (planes, lines, 2d lines).
+# Due to inaccuracy SameParameter can convert 2d lines
+# into 2d BSpline curves.
+
+restore [locate_data_file bug27704.brep] s
+offsetparameter 1e-7 p i
+offsetload s 1
+offsetperform result
+if {[regexp {BSpline} [dump result]]} {
+  puts "Error: BSpline is created"
+}
+

diff --git a/tests/offset/faces_type_i/C8 b/tests/offset/faces_type_i/C8
index 6a79bca7b3ea03c45e1f5a36e9a3ff529785c723..ed4c24eb51fa4a24ca02b7e05b9892a678cda3a4 100644 (file)
--- a/tests/offset/faces_type_i/C8
+++ b/tests/offset/faces_type_i/C8
@@ -1,5 +1,4 @@
 puts "TODO OCC25406 ALL: Error : The volume of result shape is"
-puts "TODO OCC25406 Windows: Faulty shapes in variables faulty_1 to"
 puts "TODO OCC25406 Linux: Error: bsection of the result and s is not equal to zero"
 
 ellipse w1 0 0 0 15 10

diff --git a/tests/offset/shape_type_i/A5 b/tests/offset/shape_type_i/A5
index 8787c493702d0b0d312572a9c5c1f4958d73baa1..b7213c3d3dc4833792087103624d47a1ec1c4067 100644 (file)
--- a/tests/offset/shape_type_i/A5
+++ b/tests/offset/shape_type_i/A5
@@ -3,4 +3,4 @@ trotate s 0 0 0 0 0 1 90
 
 OFFSETSHAPE 1 {} $calcul $type
 
-checkprops result -v 3.57243e+022
+checkprops result -v 3.57246e+019

diff --git a/tests/offset/shape_type_i/A9 b/tests/offset/shape_type_i/A9
index 2167666ae46045d25d42b08e2e146929538843b8..ea8ccdb126b971656c665140209318a346251b4a 100644 (file)
--- a/tests/offset/shape_type_i/A9
+++ b/tests/offset/shape_type_i/A9
@@ -3,4 +3,4 @@ trotate s 0 0 0 0 0 1 90
 
 OFFSETSHAPE 1 {} $calcul $type
 
-checkprops result -v 2.96865e+016
+checkprops result -v 2.96865e+014

diff --git a/tests/offset/shape_type_i/B4 b/tests/offset/shape_type_i/B4
index 925ea33f858b739461236bf526ca5999f6813668..86be03c08666df25a88413fe763b3744e594b22b 100644 (file)
--- a/tests/offset/shape_type_i/B4
+++ b/tests/offset/shape_type_i/B4
@@ -3,4 +3,4 @@ trotate s 0 0 0 0 0 1 90
 
 OFFSETSHAPE 1 {} $calcul $type
 
-checkprops result -v 1.77778e+16
+checkprops result -v 1.77778e+014

diff --git a/tests/offset/shape_type_i/B6 b/tests/offset/shape_type_i/B6
index 6f4eb763c91e342c7e4cbc40330bfb0f5134d241..fc6d2731d118c7169683588d63d7abd13a75a1b7 100644 (file)
--- a/tests/offset/shape_type_i/B6
+++ b/tests/offset/shape_type_i/B6
@@ -4,5 +4,5 @@ psphere s 15 270
 
 OFFSETSHAPE 1 {} $calcul $type
 
-checkprops result -v 1.77778e+16
+checkprops result -v 1.77778e+014
 

diff --git a/tests/offset/shape_type_i/C8 b/tests/offset/shape_type_i/C8
index 1a95d846aca08722bfc3786cffba0c94bc64de84..b2aad80a3d25c4848e97940a9d5f1a28072e0edd 100644 (file)
--- a/tests/offset/shape_type_i/C8
+++ b/tests/offset/shape_type_i/C8
@@ -1,5 +1,4 @@
 puts "TODO OCC23068 ALL: Error : The volume of result shape is"
-puts "TODO OCC23068 Windows: Faulty shapes in variables faulty_1 to"
 puts "TODO OCC23068 Linux: Error: bsection of the result and s is not equal to zero"
 
 ellipse w1 0 0 0 15 10