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

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()) {

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"
+}
+

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

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

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

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

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
 

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