Salome HOME
0020128: EDF SMESH 926 : Quadratic conversion of BLSURF mesh
[modules/smesh.git] / src / SMESH / SMESH_MesherHelper.cxx
index fd0a0dcfb7153502837d4e67c6998fe79e7d5f3a..b695e1276a5be8fc8310f060e75eaec3f694ba97 100644 (file)
-// Copyright (C) 2005  OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN,
-// CEDRAT, EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS
+//  Copyright (C) 2007-2010  CEA/DEN, EDF R&D, OPEN CASCADE
 //
-// This library is free software; you can redistribute it and/or
-// modify it under the terms of the GNU Lesser General Public
-// License as published by the Free Software Foundation; either
-// version 2.1 of the License.
+//  Copyright (C) 2003-2007  OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN,
+//  CEDRAT, EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS
 //
-// This library is distributed in the hope that it will be useful
-// but WITHOUT ANY WARRANTY; without even the implied warranty of
-// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
-// Lesser General Public License for more details.
+//  This library is free software; you can redistribute it and/or
+//  modify it under the terms of the GNU Lesser General Public
+//  License as published by the Free Software Foundation; either
+//  version 2.1 of the License.
 //
-// You should have received a copy of the GNU Lesser General Public
-// License along with this library; if not, write to the Free Software
-// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307 USA
+//  This library is distributed in the hope that it will be useful,
+//  but WITHOUT ANY WARRANTY; without even the implied warranty of
+//  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+//  Lesser General Public License for more details.
 //
-// See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com
+//  You should have received a copy of the GNU Lesser General Public
+//  License along with this library; if not, write to the Free Software
+//  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307 USA
 //
+//  See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com
+//
+
 // File:      SMESH_MesherHelper.cxx
 // Created:   15.02.06 15:22:41
 // Author:    Sergey KUUL
-// Copyright: Open CASCADE 2006
-
-
+//
 #include "SMESH_MesherHelper.hxx"
 
 #include "SMDS_FacePosition.hxx" 
 #include "SMDS_EdgePosition.hxx"
-#include "SMESH_MeshEditor.hxx"
+#include "SMDS_VolumeTool.hxx"
+#include "SMESH_subMesh.hxx"
 
 #include <BRepAdaptor_Surface.hxx>
 #include <BRepTools.hxx>
+#include <BRepTools_WireExplorer.hxx>
 #include <BRep_Tool.hxx>
 #include <Geom2d_Curve.hxx>
+#include <GeomAPI_ProjectPointOnCurve.hxx>
+#include <GeomAPI_ProjectPointOnSurf.hxx>
 #include <Geom_Curve.hxx>
 #include <Geom_Surface.hxx>
+#include <ShapeAnalysis.hxx>
+#include <TopExp.hxx>
 #include <TopExp_Explorer.hxx>
+#include <TopTools_ListIteratorOfListOfShape.hxx>
+#include <TopTools_MapIteratorOfMapOfShape.hxx>
 #include <TopTools_MapOfShape.hxx>
+#include <TopoDS.hxx>
+#include <gp_Ax3.hxx>
 #include <gp_Pnt2d.hxx>
-#include <ShapeAnalysis.hxx>
+#include <gp_Trsf.hxx>
+
+#include <Standard_Failure.hxx>
+#include <Standard_ErrorHandler.hxx>
+
+#include <utilities.h>
+
+#include <limits>
+
+using namespace std;
+
+#define RETURN_BAD_RESULT(msg) { MESSAGE(msg); return false; }
+
+namespace {
+
+  gp_XYZ XYZ(const SMDS_MeshNode* n) { return gp_XYZ(n->X(), n->Y(), n->Z()); }
+
+  enum { U_periodic = 1, V_periodic = 2 };
+}
+
+//================================================================================
+/*!
+ * \brief Constructor
+ */
+//================================================================================
+
+SMESH_MesherHelper::SMESH_MesherHelper(SMESH_Mesh& theMesh)
+  : myParIndex(0), myMesh(&theMesh), myShapeID(0), myCreateQuadratic(false)
+{
+  myPar1[0] = myPar2[0] = myPar1[1] = myPar2[1] = 0;
+  mySetElemOnShape = ( ! myMesh->HasShapeToMesh() );
+}
 
 //=======================================================================
-//function : CheckShape
+//function : ~SMESH_MesherHelper
 //purpose  : 
 //=======================================================================
 
+SMESH_MesherHelper::~SMESH_MesherHelper()
+{
+  TID2Projector::iterator i_proj = myFace2Projector.begin();
+  for ( ; i_proj != myFace2Projector.end(); ++i_proj )
+    delete i_proj->second;
+}
+
+//=======================================================================
+//function : IsQuadraticSubMesh
+//purpose  : Check submesh for given shape: if all elements on this shape 
+//           are quadratic, quadratic elements will be created.
+//           Also fill myTLinkNodeMap
+//=======================================================================
+
 bool SMESH_MesherHelper::IsQuadraticSubMesh(const TopoDS_Shape& aSh)
 {
-  SMESHDS_Mesh* meshDS = GetMesh()->GetMeshDS();
+  SMESHDS_Mesh* meshDS = GetMeshDS();
   // we can create quadratic elements only if all elements
   // created on subshapes of given shape are quadratic
-  // also we have to fill myNLinkNodeMap
+  // also we have to fill myTLinkNodeMap
   myCreateQuadratic = true;
   mySeamShapeIds.clear();
+  myDegenShapeIds.clear();
   TopAbs_ShapeEnum subType( aSh.ShapeType()==TopAbs_FACE ? TopAbs_EDGE : TopAbs_FACE );
   SMDSAbs_ElementType elemType( subType==TopAbs_FACE ? SMDSAbs_Face : SMDSAbs_Edge );
 
+  int nbOldLinks = myTLinkNodeMap.size();
+
   TopExp_Explorer exp( aSh, subType );
   for (; exp.More() && myCreateQuadratic; exp.Next()) {
     if ( SMESHDS_SubMesh * subMesh = meshDS->MeshElements( exp.Current() )) {
@@ -67,19 +126,19 @@ bool SMESH_MesherHelper::IsQuadraticSubMesh(const TopoDS_Shape& aSh)
             break;
           }
           else {
-            // fill NLinkNodeMap
+            // fill TLinkNodeMap
             switch ( e->NbNodes() ) {
             case 3:
-              AddNLinkNode(e->GetNode(0),e->GetNode(1),e->GetNode(2)); break;
+              AddTLinkNode(e->GetNode(0),e->GetNode(1),e->GetNode(2)); break;
             case 6:
-              AddNLinkNode(e->GetNode(0),e->GetNode(1),e->GetNode(3));
-              AddNLinkNode(e->GetNode(1),e->GetNode(2),e->GetNode(4));
-              AddNLinkNode(e->GetNode(2),e->GetNode(0),e->GetNode(5)); break;
+              AddTLinkNode(e->GetNode(0),e->GetNode(1),e->GetNode(3));
+              AddTLinkNode(e->GetNode(1),e->GetNode(2),e->GetNode(4));
+              AddTLinkNode(e->GetNode(2),e->GetNode(0),e->GetNode(5)); break;
             case 8:
-              AddNLinkNode(e->GetNode(0),e->GetNode(1),e->GetNode(4));
-              AddNLinkNode(e->GetNode(1),e->GetNode(2),e->GetNode(5));
-              AddNLinkNode(e->GetNode(2),e->GetNode(3),e->GetNode(6));
-              AddNLinkNode(e->GetNode(3),e->GetNode(0),e->GetNode(7));
+              AddTLinkNode(e->GetNode(0),e->GetNode(1),e->GetNode(4));
+              AddTLinkNode(e->GetNode(1),e->GetNode(2),e->GetNode(5));
+              AddTLinkNode(e->GetNode(2),e->GetNode(3),e->GetNode(6));
+              AddTLinkNode(e->GetNode(3),e->GetNode(0),e->GetNode(7));
               break;
             default:
               myCreateQuadratic = false;
@@ -91,98 +150,107 @@ bool SMESH_MesherHelper::IsQuadraticSubMesh(const TopoDS_Shape& aSh)
     }
   }
 
+  if ( nbOldLinks == myTLinkNodeMap.size() )
+    myCreateQuadratic = false;
+
   if(!myCreateQuadratic) {
-    myNLinkNodeMap.clear();
-  }
-  else {
-    SetSubShape( aSh );
+    myTLinkNodeMap.clear();
   }
+  SetSubShape( aSh );
+
   return myCreateQuadratic;
 }
 
-//================================================================================
-/*!
- * \brief Set geomerty to make elements on
-  * \param aSh - geomertic shape
- */
-//================================================================================
+//=======================================================================
+//function : SetSubShape
+//purpose  : Set geomerty to make elements on
+//=======================================================================
 
 void SMESH_MesherHelper::SetSubShape(const int aShID)
 {
   if ( aShID == myShapeID )
     return;
   if ( aShID > 1 )
-    SetSubShape( GetMesh()->GetMeshDS()->IndexToShape( aShID ));
+    SetSubShape( GetMeshDS()->IndexToShape( aShID ));
   else
     SetSubShape( TopoDS_Shape() );
 }
 
-//================================================================================
-/*!
- * \brief Set geomerty to make elements on
-  * \param aSh - geomertic shape
- */
-//================================================================================
+//=======================================================================
+//function : SetSubShape
+//purpose  : Set geomerty to create elements on
+//=======================================================================
 
 void SMESH_MesherHelper::SetSubShape(const TopoDS_Shape& aSh)
 {
-  if ( !myShape.IsNull() && !aSh.IsNull() && myShape.IsSame( aSh ))
+  if ( myShape.IsSame( aSh ))
     return;
 
   myShape = aSh;
   mySeamShapeIds.clear();
+  myDegenShapeIds.clear();
 
   if ( myShape.IsNull() ) {
-    myShapeID  = -1;
+    myShapeID  = 0;
     return;
   }
-  SMESHDS_Mesh* meshDS = GetMesh()->GetMeshDS();
+  SMESHDS_Mesh* meshDS = GetMeshDS();
   myShapeID = meshDS->ShapeToIndex(aSh);
+  myParIndex = 0;
 
   // treatment of periodic faces
-  if ( aSh.ShapeType() == TopAbs_FACE )
+  for ( TopExp_Explorer eF( aSh, TopAbs_FACE ); eF.More(); eF.Next() )
   {
-    const TopoDS_Face& face = TopoDS::Face( aSh );
+    const TopoDS_Face& face = TopoDS::Face( eF.Current() );
     BRepAdaptor_Surface surface( face );
     if ( surface.IsUPeriodic() || surface.IsVPeriodic() )
     {
-      // look for a seam edge
-      for ( TopExp_Explorer exp( face, TopAbs_EDGE ); exp.More(); exp.Next()) {
+      for (TopExp_Explorer exp( face, TopAbs_EDGE ); exp.More(); exp.Next())
+      {
+        // look for a seam edge
         const TopoDS_Edge& edge = TopoDS::Edge( exp.Current() );
         if ( BRep_Tool::IsClosed( edge, face )) {
           // initialize myPar1, myPar2 and myParIndex
-          if ( mySeamShapeIds.empty() ) {
-            gp_Pnt2d uv1, uv2;
-            BRep_Tool::UVPoints( edge, face, uv1, uv2 );
-            if ( Abs( uv1.Coord(1) - uv2.Coord(1) ) < Abs( uv1.Coord(2) - uv2.Coord(2) ))
-            {
-              myParIndex = 1; // U periodic
-              myPar1 = surface.FirstUParameter();
-              myPar2 = surface.LastUParameter();
-            }
-            else {
-              myParIndex = 2;  // V periodic
-              myPar1 = surface.FirstVParameter();
-              myPar2 = surface.LastVParameter();
-            }
+          gp_Pnt2d uv1, uv2;
+          BRep_Tool::UVPoints( edge, face, uv1, uv2 );
+          if ( Abs( uv1.Coord(1) - uv2.Coord(1) ) < Abs( uv1.Coord(2) - uv2.Coord(2) ))
+          {
+            myParIndex |= U_periodic;
+            myPar1[0] = surface.FirstUParameter();
+            myPar2[0] = surface.LastUParameter();
+          }
+          else {
+            myParIndex |= V_periodic;
+            myPar1[1] = surface.FirstVParameter();
+            myPar2[1] = surface.LastVParameter();
+          }
+          // store seam shape indices, negative if shape encounters twice
+          int edgeID = meshDS->ShapeToIndex( edge );
+          mySeamShapeIds.insert( IsSeamShape( edgeID ) ? -edgeID : edgeID );
+          for ( TopExp_Explorer v( edge, TopAbs_VERTEX ); v.More(); v.Next() ) {
+            int vertexID = meshDS->ShapeToIndex( v.Current() );
+            mySeamShapeIds.insert( IsSeamShape( vertexID ) ? -vertexID : vertexID );
           }
-          // store shapes indices
-          mySeamShapeIds.insert( meshDS->ShapeToIndex( exp.Current() ));
-          for ( TopExp_Explorer v( exp.Current(), TopAbs_VERTEX ); v.More(); v.Next() )
-            mySeamShapeIds.insert( meshDS->ShapeToIndex( v.Current() ));
+        }
+
+        // look for a degenerated edge
+        if ( BRep_Tool::Degenerated( edge )) {
+          myDegenShapeIds.insert( meshDS->ShapeToIndex( edge ));
+          for ( TopExp_Explorer v( edge, TopAbs_VERTEX ); v.More(); v.Next() )
+            myDegenShapeIds.insert( meshDS->ShapeToIndex( v.Current() ));
         }
       }
     }
   }
 }
 
-//================================================================================
-  /*!
-   * \brief Check if inFaceNode argument is necessary for call GetNodeUV(F,..)
-    * \param F - the face
-    * \retval bool - return true if the face is periodic
-   */
-//================================================================================
+//=======================================================================
+//function : GetNodeUVneedInFaceNode
+//purpose  : Check if inFaceNode argument is necessary for call GetNodeUV(F,..)
+//           Return true if the face is periodic.
+//           If F is Null, answer about subshape set through IsQuadraticSubMesh() or
+//           * SetSubShape()
+//=======================================================================
 
 bool SMESH_MesherHelper::GetNodeUVneedInFaceNode(const TopoDS_Face& F) const
 {
@@ -191,7 +259,8 @@ bool SMESH_MesherHelper::GetNodeUVneedInFaceNode(const TopoDS_Face& F) const
   if ( !F.IsNull() && !myShape.IsNull() && myShape.IsSame( F ))
     return !mySeamShapeIds.empty();
 
-  Handle(Geom_Surface) aSurface = BRep_Tool::Surface( F );
+  TopLoc_Location loc;
+  Handle(Geom_Surface) aSurface = BRep_Tool::Surface( F,loc );
   if ( !aSurface.IsNull() )
     return ( aSurface->IsUPeriodic() || aSurface->IsVPeriodic() );
 
@@ -204,453 +273,1001 @@ bool SMESH_MesherHelper::GetNodeUVneedInFaceNode(const TopoDS_Face& F) const
 //=======================================================================
 
 bool SMESH_MesherHelper::IsMedium(const SMDS_MeshNode*      node,
-                                 const SMDSAbs_ElementType typeToCheck)
+                                  const SMDSAbs_ElementType typeToCheck)
 {
   return SMESH_MeshEditor::IsMedium( node, typeToCheck );
 }
 
 //=======================================================================
-//function : AddNLinkNode
-//purpose  : 
+//function : GetSubShapeByNode
+//purpose  : Return support shape of a node
 //=======================================================================
-/*!
- * Auxilary function for filling myNLinkNodeMap
- */
-void SMESH_MesherHelper::AddNLinkNode(const SMDS_MeshNode* n1,
-                                     const SMDS_MeshNode* n2,
-                                     const SMDS_MeshNode* n12)
+
+TopoDS_Shape SMESH_MesherHelper::GetSubShapeByNode(const SMDS_MeshNode* node,
+                                                   SMESHDS_Mesh*        meshDS)
+{
+  int shapeID = node->GetPosition()->GetShapeId();
+  if ( 0 < shapeID && shapeID <= meshDS->MaxShapeIndex() )
+    return meshDS->IndexToShape( shapeID );
+  else
+    return TopoDS_Shape();
+}
+
+
+//=======================================================================
+//function : AddTLinkNode
+//purpose  : add a link in my data structure
+//=======================================================================
+
+void SMESH_MesherHelper::AddTLinkNode(const SMDS_MeshNode* n1,
+                                      const SMDS_MeshNode* n2,
+                                      const SMDS_MeshNode* n12)
 {
-  NLink link( n1, n2 );
-  if ( n1 > n2 ) link = NLink( n2, n1 );
   // add new record to map
-  myNLinkNodeMap.insert( make_pair(link,n12));
+  SMESH_TLink link( n1, n2 );
+  myTLinkNodeMap.insert( make_pair(link,n12));
 }
 
 //=======================================================================
-/*!
- * \brief Select UV on either of 2 pcurves of a seam edge, closest to the given UV
- * \param uv1 - UV on the seam
- * \param uv2 - UV within a face
- * \retval gp_Pnt2d - selected UV
- */
+//function : GetUVOnSeam
+//purpose  : Select UV on either of 2 pcurves of a seam edge, closest to the given UV
 //=======================================================================
 
 gp_Pnt2d SMESH_MesherHelper::GetUVOnSeam( const gp_Pnt2d& uv1, const gp_Pnt2d& uv2 ) const
 {
-  double p1 = uv1.Coord( myParIndex );
-  double p2 = uv2.Coord( myParIndex );
-  double p3 = ( Abs( p1 - myPar1 ) < Abs( p1 - myPar2 )) ? myPar2 : myPar1;
-  if ( Abs( p2 - p1 ) > Abs( p2 - p3 ))
-    p1 = p3;
   gp_Pnt2d result = uv1;
-  result.SetCoord( myParIndex, p1 );
+  for ( int i = U_periodic; i <= V_periodic ; ++i )
+  {
+    if ( myParIndex & i )
+    {
+      double p1 = uv1.Coord( i );
+      double dp1 = Abs( p1-myPar1[i-1]), dp2 = Abs( p1-myPar2[i-1]);
+      if ( myParIndex == i ||
+           dp1 < ( myPar2[i-1] - myPar2[i-1] ) / 100. ||
+           dp2 < ( myPar2[i-1] - myPar2[i-1] ) / 100. )
+      {
+        double p2 = uv2.Coord( i );
+        double p1Alt = ( dp1 < dp2 ) ? myPar2[i-1] : myPar1[i-1];
+        if ( Abs( p2 - p1 ) > Abs( p2 - p1Alt ))
+          result.SetCoord( i, p1Alt );
+      }
+    }
+  }
   return result;
 }
 
 //=======================================================================
-/*!
- * \brief Return node UV on face
- * \param F - the face
- * \param n - the node
- * \param n2 - a node of element being created located inside a face
- * \retval gp_XY - resulting UV
- * 
- * Auxilary function called form GetMediumNode()
- */
+//function : GetNodeUV
+//purpose  : Return node UV on face
 //=======================================================================
 
 gp_XY SMESH_MesherHelper::GetNodeUV(const TopoDS_Face&   F,
                                     const SMDS_MeshNode* n,
-                                    const SMDS_MeshNode* n2)
+                                    const SMDS_MeshNode* n2,
+                                    bool*                check) const
 {
-  gp_Pnt2d uv;
+  gp_Pnt2d uv( Precision::Infinite(), Precision::Infinite() );
   const SMDS_PositionPtr Pos = n->GetPosition();
-  if(Pos->GetTypeOfPosition()==SMDS_TOP_FACE) {
+  bool uvOK = false;
+  if(Pos->GetTypeOfPosition()==SMDS_TOP_FACE)
+  {
     // node has position on face
     const SMDS_FacePosition* fpos =
       static_cast<const SMDS_FacePosition*>(n->GetPosition().get());
-    uv = gp_Pnt2d(fpos->GetUParameter(),fpos->GetVParameter());
+    uv.SetCoord(fpos->GetUParameter(),fpos->GetVParameter());
+    if ( check )
+      uvOK = CheckNodeUV( F, n, uv.ChangeCoord(), 10*MaxTolerance( F ));
   }
-  else if(Pos->GetTypeOfPosition()==SMDS_TOP_EDGE) {
+  else if(Pos->GetTypeOfPosition()==SMDS_TOP_EDGE)
+  {
     // node has position on edge => it is needed to find
     // corresponding edge from face, get pcurve for this
-    // edge and recieve value from this pcurve
+    // edge and retrieve value from this pcurve
     const SMDS_EdgePosition* epos =
       static_cast<const SMDS_EdgePosition*>(n->GetPosition().get());
-    SMESHDS_Mesh* meshDS = GetMesh()->GetMeshDS();
     int edgeID = Pos->GetShapeId();
-    TopoDS_Edge E = TopoDS::Edge(meshDS->IndexToShape(edgeID));
-    double f, l;
-    TopLoc_Location loc;
+    TopoDS_Edge E = TopoDS::Edge(GetMeshDS()->IndexToShape(edgeID));
+    double f, l, u = epos->GetUParameter();
     Handle(Geom2d_Curve) C2d = BRep_Tool::CurveOnSurface(E, F, f, l);
-    uv = C2d->Value( epos->GetUParameter() );
+    bool validU = ( f < u && u < l );
+    if ( validU )
+      uv = C2d->Value( u );
+    else
+      uv.SetCoord(0.,0.);
+    if ( check || !validU )
+      uvOK = CheckNodeUV( F, n, uv.ChangeCoord(), 10*MaxTolerance( F ),/*force=*/ !validU );
+
     // for a node on a seam edge select one of UVs on 2 pcurves
-    if ( n2 && mySeamShapeIds.find( edgeID ) != mySeamShapeIds.end() )
-      uv = GetUVOnSeam( uv, GetNodeUV( F, n2, 0 ));
+    if ( n2 && IsSeamShape( edgeID ) )
+    {
+      uv = GetUVOnSeam( uv, GetNodeUV( F, n2, 0, check ));
+    }
+    else
+    { // adjust uv to period
+      TopLoc_Location loc;
+      Handle(Geom_Surface) S = BRep_Tool::Surface(F,loc);
+      Standard_Boolean isUPeriodic = S->IsUPeriodic();
+      Standard_Boolean isVPeriodic = S->IsVPeriodic();
+      if ( isUPeriodic || isVPeriodic ) {
+        Standard_Real UF,UL,VF,VL;
+        S->Bounds(UF,UL,VF,VL);
+        if(isUPeriodic)
+          uv.SetX( uv.X() + ShapeAnalysis::AdjustToPeriod(uv.X(),UF,UL));
+        if(isVPeriodic)
+          uv.SetY( uv.Y() + ShapeAnalysis::AdjustToPeriod(uv.Y(),VF,VL));
+      }
+    }
   }
-  else if(Pos->GetTypeOfPosition()==SMDS_TOP_VERTEX) {
-    SMESHDS_Mesh * meshDS = GetMesh()->GetMeshDS();
-    int vertexID = n->GetPosition()->GetShapeId();
-    const TopoDS_Vertex& V = TopoDS::Vertex(meshDS->IndexToShape(vertexID));
-    uv = BRep_Tool::Parameters( V, F );
-    if ( n2 && mySeamShapeIds.find( vertexID ) != mySeamShapeIds.end() )
-      uv = GetUVOnSeam( uv, GetNodeUV( F, n2, 0 ));
+  else if(Pos->GetTypeOfPosition()==SMDS_TOP_VERTEX)
+  {
+    if ( int vertexID = n->GetPosition()->GetShapeId() ) {
+      const TopoDS_Vertex& V = TopoDS::Vertex(GetMeshDS()->IndexToShape(vertexID));
+      try {
+        uv = BRep_Tool::Parameters( V, F );
+        uvOK = true;
+      }
+      catch (Standard_Failure& exc) {
+      }
+      if ( !uvOK ) {
+        for ( TopExp_Explorer vert(F,TopAbs_VERTEX); !uvOK && vert.More(); vert.Next() )
+          uvOK = ( V == vert.Current() );
+        if ( !uvOK ) {
+#ifdef _DEBUG_
+          MESSAGE ( "SMESH_MesherHelper::GetNodeUV(); Vertex " << vertexID
+               << " not in face " << GetMeshDS()->ShapeToIndex( F ) );
+#endif
+          // get UV of a vertex closest to the node
+          double dist = 1e100;
+          gp_Pnt pn = XYZ( n );
+          for ( TopExp_Explorer vert(F,TopAbs_VERTEX); !uvOK && vert.More(); vert.Next() ) {
+            TopoDS_Vertex curV = TopoDS::Vertex( vert.Current() );
+            gp_Pnt p = BRep_Tool::Pnt( curV );
+            double curDist = p.SquareDistance( pn );
+            if ( curDist < dist ) {
+              dist = curDist;
+              uv = BRep_Tool::Parameters( curV, F );
+              uvOK = ( dist < DBL_MIN );
+            }
+          }
+        }
+        else {
+          uvOK = false;
+          TopTools_ListIteratorOfListOfShape it( myMesh->GetAncestors( V ));
+          for ( ; it.More(); it.Next() ) {
+            if ( it.Value().ShapeType() == TopAbs_EDGE ) {
+              const TopoDS_Edge & edge = TopoDS::Edge( it.Value() );
+              double f,l;
+              Handle(Geom2d_Curve) C2d = BRep_Tool::CurveOnSurface(edge, F, f, l);
+              if ( !C2d.IsNull() ) {
+                double u = ( V == TopExp::FirstVertex( edge ) ) ?  f : l;
+                uv = C2d->Value( u );
+                uvOK = true;
+                break;
+              }
+            }
+          }
+        }
+      }
+      if ( n2 && IsSeamShape( vertexID ) )
+        uv = GetUVOnSeam( uv, GetNodeUV( F, n2, 0 ));
+    }
   }
-  return uv.XY();
-}
 
-//=======================================================================
-/*!
- * \brief Return node U on edge
- * \param E - the Edge
- * \param n - the node
- * \retval double - resulting U
- * 
- * Auxilary function called form GetMediumNode()
- */
-//=======================================================================
+  if ( check )
+    *check = uvOK;
 
-double SMESH_MesherHelper::GetNodeU(const TopoDS_Edge&   E,
-                                    const SMDS_MeshNode* n)
-{
-  double param = 0;
-  const SMDS_PositionPtr Pos = n->GetPosition();
-  if(Pos->GetTypeOfPosition()==SMDS_TOP_EDGE) {
-    const SMDS_EdgePosition* epos =
-      static_cast<const SMDS_EdgePosition*>(n->GetPosition().get());
-    param =  epos->GetUParameter();
-  }
-  else if(Pos->GetTypeOfPosition()==SMDS_TOP_VERTEX) {
-    SMESHDS_Mesh * meshDS = GetMesh()->GetMeshDS();
-    int vertexID = n->GetPosition()->GetShapeId();
-    const TopoDS_Vertex& V = TopoDS::Vertex(meshDS->IndexToShape(vertexID));
-    param =  BRep_Tool::Parameter( V, E );
-  }
-  return param;
+  return uv.XY();
 }
 
 //=======================================================================
-//function : GetMediumNode
-//purpose  : 
+//function : CheckNodeUV
+//purpose  : Check and fix node UV on a face
 //=======================================================================
-/*!
- * Special function for search or creation medium node
- */
-const SMDS_MeshNode* SMESH_MesherHelper::GetMediumNode(const SMDS_MeshNode* n1,
-                                                       const SMDS_MeshNode* n2,
-                                                       bool force3d)
-{
-  TopAbs_ShapeEnum shapeType = myShape.IsNull() ? TopAbs_SHAPE : myShape.ShapeType();
 
-  NLink link(( n1 < n2 ? n1 : n2 ), ( n1 < n2 ? n2 : n1 ));
-  ItNLinkNode itLN = myNLinkNodeMap.find( link );
-  if ( itLN != myNLinkNodeMap.end() ) {
-    return (*itLN).second;
-  }
-  else {
-    // create medium node
-    SMDS_MeshNode* n12;
-    SMESHDS_Mesh* meshDS = GetMesh()->GetMeshDS();
-    int faceID = -1, edgeID = -1;
-    const SMDS_PositionPtr Pos1 = n1->GetPosition();
-    const SMDS_PositionPtr Pos2 = n2->GetPosition();
-  
-    if( myShape.IsNull() )
+bool SMESH_MesherHelper::CheckNodeUV(const TopoDS_Face&   F,
+                                     const SMDS_MeshNode* n,
+                                     gp_XY&               uv,
+                                     const double         tol,
+                                     const bool           force) const
+{
+  if ( force || !myOkNodePosShapes.count( n->GetPosition()->GetShapeId() ))
+  {
+    // check that uv is correct
+    TopLoc_Location loc;
+    Handle(Geom_Surface) surface = BRep_Tool::Surface( F,loc );
+    gp_Pnt nodePnt = XYZ( n );
+    if ( !loc.IsIdentity() ) nodePnt.Transform( loc.Transformation().Inverted() );
+    if ( Precision::IsInfinite( uv.X() ) ||
+         Precision::IsInfinite( uv.Y() ) ||
+         nodePnt.Distance( surface->Value( uv.X(), uv.Y() )) > tol )
     {
-      if( Pos1->GetTypeOfPosition()==SMDS_TOP_FACE ) {
-        faceID = Pos1->GetShapeId();
-      }
-      else if( Pos2->GetTypeOfPosition()==SMDS_TOP_FACE ) {
-        faceID = Pos2->GetShapeId();
+      // uv incorrect, project the node to surface
+      GeomAPI_ProjectPointOnSurf& projector = GetProjector( F, loc, tol );
+      projector.Perform( nodePnt );
+      if ( !projector.IsDone() || projector.NbPoints() < 1 )
+      {
+        MESSAGE( "SMESH_MesherHelper::CheckNodeUV() failed to project" );
+        return false;
       }
-
-      if( Pos1->GetTypeOfPosition()==SMDS_TOP_EDGE ) {
-        edgeID = Pos1->GetShapeId();
-      }
-      if( Pos2->GetTypeOfPosition()==SMDS_TOP_EDGE ) {
-        edgeID = Pos2->GetShapeId();
+      Quantity_Parameter U,V;
+      projector.LowerDistanceParameters(U,V);
+      uv.SetCoord( U,V );
+      if ( nodePnt.Distance( surface->Value( U, V )) > tol )
+      {
+        MESSAGE( "SMESH_MesherHelper::CheckNodeUV(), invalid projection" );
+        return false;
       }
     }
-
-    if(!force3d) {
-      // we try to create medium node using UV parameters of
-      // nodes, else - medium between corresponding 3d points
-      if(faceID>-1 || shapeType == TopAbs_FACE) {
-       // obtaining a face and 2d points for nodes
-       TopoDS_Face F;
-       if( myShape.IsNull() )
-          F = TopoDS::Face(meshDS->IndexToShape(faceID));
-       else {
-          F = TopoDS::Face(myShape);
-          faceID = myShapeID;
-        }
-
-       gp_XY p1 = GetNodeUV(F,n1,n2);
-        gp_XY p2 = GetNodeUV(F,n2,n1);
-
-       //checking if surface is periodic
-       Handle(Geom_Surface) S = BRep_Tool::Surface(F);
-       Standard_Real UF,UL,VF,VL;
-       S->Bounds(UF,UL,VF,VL);
-
-       Standard_Real u,v;
-       Standard_Boolean isUPeriodic = S->IsUPeriodic();
-       if(isUPeriodic) {
-         Standard_Real UPeriod = S->UPeriod();
-         Standard_Real p2x = p2.X()+ShapeAnalysis::AdjustByPeriod(p2.X(),p1.X(),UPeriod);
-         Standard_Real pmid = (p1.X()+p2x)/2.;
-         u = pmid+ShapeAnalysis::AdjustToPeriod(pmid,UF,UL);
-       }
-       else 
-         u= (p1.X()+p2.X())/2.;
-
-       Standard_Boolean isVPeriodic = S->IsVPeriodic();
-       if(isVPeriodic) {
-         Standard_Real VPeriod = S->VPeriod();
-         Standard_Real p2y = p2.Y()+ShapeAnalysis::AdjustByPeriod(p2.Y(),p1.Y(),VPeriod);
-         Standard_Real pmid = (p1.Y()+p2y)/2.;
-         v = pmid+ShapeAnalysis::AdjustToPeriod(pmid,VF,VL);
-       }
-       else
-         v = (p1.Y()+p2.Y())/2.;
-
-        gp_Pnt P = S->Value(u, v);
-        n12 = meshDS->AddNode(P.X(), P.Y(), P.Z());
-        meshDS->SetNodeOnFace(n12, faceID, u, v);
-        myNLinkNodeMap.insert(NLinkNodeMap::value_type(link,n12));
-        return n12;
-      }
-      if (edgeID>-1 || shapeType == TopAbs_EDGE) {
-
-       TopoDS_Edge E;
-       if( myShape.IsNull() )
-          E = TopoDS::Edge(meshDS->IndexToShape(edgeID));
-       else {
-          E = TopoDS::Edge(myShape);
-          edgeID = myShapeID;
-        }
-
-       double p1 = GetNodeU(E,n1);
-       double p2 = GetNodeU(E,n2);
-
-       double f,l;
-       Handle(Geom_Curve) C = BRep_Tool::Curve(E, f, l);
-       if(!C.IsNull()) {
-
-         Standard_Boolean isPeriodic = C->IsPeriodic();
-         double u;
-         if(isPeriodic) {
-           Standard_Real Period = C->Period();
-           Standard_Real p = p2+ShapeAnalysis::AdjustByPeriod(p2,p1,Period);
-           Standard_Real pmid = (p1+p)/2.;
-           u = pmid+ShapeAnalysis::AdjustToPeriod(pmid,C->FirstParameter(),C->LastParameter());
-         }
-         else
-           u = (p1+p2)/2.;
-
-          gp_Pnt P = C->Value( u );
-          n12 = meshDS->AddNode(P.X(), P.Y(), P.Z());
-          meshDS->SetNodeOnEdge(n12, edgeID, u);
-          myNLinkNodeMap.insert(NLinkNodeMap::value_type(link,n12));
-          return n12;
-       }
-      }
+    else if ( uv.Modulus() > numeric_limits<double>::min() )
+    {
+      ((SMESH_MesherHelper*) this)->myOkNodePosShapes.insert( n->GetPosition()->GetShapeId() );
     }
-    // 3d variant
-    double x = ( n1->X() + n2->X() )/2.;
-    double y = ( n1->Y() + n2->Y() )/2.;
-    double z = ( n1->Z() + n2->Z() )/2.;
-    n12 = meshDS->AddNode(x,y,z);
-    if(edgeID>-1)
-        meshDS->SetNodeOnEdge(n12, edgeID);
-    else if(faceID>-1)
-        meshDS->SetNodeOnFace(n12, faceID);
-    else
-      meshDS->SetNodeInVolume(n12, myShapeID);
-    myNLinkNodeMap.insert(NLinkNodeMap::value_type(link,n12));
-    return n12;
   }
+  return true;
 }
 
 //=======================================================================
-//function : AddQuadraticEdge
-//purpose  : 
+//function : GetProjector
+//purpose  : Return projector intitialized by given face without location, which is returned
 //=======================================================================
-/**
- * Special function for creation quadratic edge
- */
-SMDS_QuadraticEdge* SMESH_MesherHelper::AddQuadraticEdge(const SMDS_MeshNode* n1,
-                                                         const SMDS_MeshNode* n2,
-                                                         const int id,
-                                                        const bool force3d)
+
+GeomAPI_ProjectPointOnSurf& SMESH_MesherHelper::GetProjector(const TopoDS_Face& F,
+                                                             TopLoc_Location&   loc,
+                                                             double             tol ) const
 {
-  SMESHDS_Mesh * meshDS = GetMesh()->GetMeshDS();
-  
-  const SMDS_MeshNode* n12 = GetMediumNode(n1,n2,force3d);
-  
-  myCreateQuadratic = true;
+  Handle(Geom_Surface) surface = BRep_Tool::Surface( F,loc );
+  int faceID = GetMeshDS()->ShapeToIndex( F );
+  TID2Projector& i2proj = const_cast< TID2Projector&>( myFace2Projector );
+  TID2Projector::iterator i_proj = i2proj.find( faceID );
+  if ( i_proj == i2proj.end() )
+  {
+    if ( tol == 0 ) tol = BRep_Tool::Tolerance( F );
+    double U1, U2, V1, V2;
+    surface->Bounds(U1, U2, V1, V2);
+    GeomAPI_ProjectPointOnSurf* proj = new GeomAPI_ProjectPointOnSurf();
+    proj->Init( surface, U1, U2, V1, V2, tol );
+    i_proj = i2proj.insert( make_pair( faceID, proj )).first;
+  }
+  return *( i_proj->second );
+}
 
-  if(id)
-    return  (SMDS_QuadraticEdge*)(meshDS->AddEdgeWithID(n1, n2, n12, id));
-  else
-    return  (SMDS_QuadraticEdge*)(meshDS->AddEdge(n1, n2, n12));
+namespace
+{
+  gp_XY AverageUV(const gp_XY& uv1, const gp_XY& uv2) { return ( uv1 + uv2 ) / 2.; }
+  gp_XY_FunPtr(Added); // define gp_XY_Added pointer to function calling gp_XY::Added(gp_XY)
+  gp_XY_FunPtr(Subtracted); 
 }
 
 //=======================================================================
-//function : AddFace
-//purpose  : 
+//function : applyIn2D
+//purpose  : Perform given operation on two 2d points in parameric space of given surface.
+//           It takes into account period of the surface. Use gp_XY_FunPtr macro
+//           to easily define pointer to function of gp_XY class.
 //=======================================================================
-/*!
- * Special function for creation quadratic triangle
- */
-SMDS_MeshFace* SMESH_MesherHelper::AddFace(const SMDS_MeshNode* n1,
-                                           const SMDS_MeshNode* n2,
-                                           const SMDS_MeshNode* n3,
-                                           const int id,
-                                          const bool force3d)
+
+gp_XY SMESH_MesherHelper::applyIn2D(const Handle(Geom_Surface)& surface,
+                                    const gp_XY&                uv1,
+                                    const gp_XY&                uv2,
+                                    xyFunPtr                    fun,
+                                    const bool                  resultInPeriod)
 {
-  SMESHDS_Mesh * meshDS = GetMesh()->GetMeshDS();
-  if(!myCreateQuadratic) {
-    if(id)
-      return  meshDS->AddFaceWithID(n1, n2, n3, id);
-    else
-      return  meshDS->AddFace(n1, n2, n3);
+  Standard_Boolean isUPeriodic = surface.IsNull() ? false : surface->IsUPeriodic();
+  Standard_Boolean isVPeriodic = surface.IsNull() ? false : surface->IsVPeriodic();
+  if ( !isUPeriodic && !isVPeriodic )
+    return fun(uv1,uv2);
+
+  // move uv2 not far than half-period from uv1
+  double u2 = 
+    uv2.X()+(isUPeriodic ? ShapeAnalysis::AdjustByPeriod(uv2.X(),uv1.X(),surface->UPeriod()) :0);
+  double v2 = 
+    uv2.Y()+(isVPeriodic ? ShapeAnalysis::AdjustByPeriod(uv2.Y(),uv1.Y(),surface->VPeriod()) :0);
+
+  // execute operation
+  gp_XY res = fun( uv1, gp_XY(u2,v2) );
+
+  // move result within period
+  if ( resultInPeriod )
+  {
+    Standard_Real UF,UL,VF,VL;
+    surface->Bounds(UF,UL,VF,VL);
+    if ( isUPeriodic )
+      res.SetX( res.X() + ShapeAnalysis::AdjustToPeriod(res.X(),UF,UL));
+    if ( isVPeriodic )
+      res.SetY( res.Y() + ShapeAnalysis::AdjustToPeriod(res.Y(),VF,VL));
   }
 
-  const SMDS_MeshNode* n12 = GetMediumNode(n1,n2,force3d);
-  const SMDS_MeshNode* n23 = GetMediumNode(n2,n3,force3d);
-  const SMDS_MeshNode* n31 = GetMediumNode(n3,n1,force3d);
-
-  if(id)
-    return  meshDS->AddFaceWithID(n1, n2, n3, n12, n23, n31, id);
-  else
-    return  meshDS->AddFace(n1, n2, n3, n12, n23, n31);
+  return res;
 }
+//=======================================================================
+//function : GetMiddleUV
+//purpose  : Return middle UV taking in account surface period
+//=======================================================================
 
+gp_XY SMESH_MesherHelper::GetMiddleUV(const Handle(Geom_Surface)& surface,
+                                      const gp_XY&                p1,
+                                      const gp_XY&                p2)
+{
+  return applyIn2D( surface, p1, p2, & AverageUV );
+}
 
 //=======================================================================
-//function : AddFace
-//purpose  : 
+//function : GetNodeU
+//purpose  : Return node U on edge
 //=======================================================================
-/*!
- * Special function for creation quadratic quadrangle
- */
-SMDS_MeshFace* SMESH_MesherHelper::AddFace(const SMDS_MeshNode* n1,
-                                           const SMDS_MeshNode* n2,
-                                           const SMDS_MeshNode* n3,
-                                           const SMDS_MeshNode* n4,
-                                           const int id,
-                                          const bool force3d)
+
+double SMESH_MesherHelper::GetNodeU(const TopoDS_Edge&   E,
+                                    const SMDS_MeshNode* n,
+                                    const SMDS_MeshNode* inEdgeNode,
+                                    bool*                check)
 {
-  SMESHDS_Mesh * meshDS = GetMesh()->GetMeshDS();
-  if(!myCreateQuadratic) {
-    if(id)
-      return  meshDS->AddFaceWithID(n1, n2, n3, n4, id);
+  double param = 0;
+  const SMDS_PositionPtr pos = n->GetPosition();
+  if ( pos->GetTypeOfPosition()==SMDS_TOP_EDGE )
+  {
+    const SMDS_EdgePosition* epos = static_cast<const SMDS_EdgePosition*>( pos.get() );
+    param =  epos->GetUParameter();
+  }
+  else if( pos->GetTypeOfPosition() == SMDS_TOP_VERTEX )
+  {
+    if ( inEdgeNode && TopExp::FirstVertex( E ).IsSame( TopExp::LastVertex( E ))) // issue 0020128
+    {
+      Standard_Real f,l;
+      BRep_Tool::Range( E, f,l );
+      double uInEdge = GetNodeU( E, inEdgeNode );
+      param = ( fabs( uInEdge - f ) < fabs( l - uInEdge )) ? f : l;
+    }
     else
-      return  meshDS->AddFace(n1, n2, n3, n4);
+    {
+      SMESHDS_Mesh * meshDS = GetMeshDS();
+      int vertexID = pos->GetShapeId();
+      const TopoDS_Vertex& V = TopoDS::Vertex(meshDS->IndexToShape(vertexID));
+      param =  BRep_Tool::Parameter( V, E );
+    }
   }
+  if ( check )
+  {
+    double tol = BRep_Tool::Tolerance( E );
+    double f,l;  BRep_Tool::Range( E, f,l );
+    bool force = ( param < f-tol || param > l+tol );
+    if ( !force && pos->GetTypeOfPosition()==SMDS_TOP_EDGE )
+      force = ( GetMeshDS()->ShapeToIndex( E ) != pos->GetShapeId() );
 
-  const SMDS_MeshNode* n12 = GetMediumNode(n1,n2,force3d);
-  const SMDS_MeshNode* n23 = GetMediumNode(n2,n3,force3d);
-  const SMDS_MeshNode* n34 = GetMediumNode(n3,n4,force3d);
-  const SMDS_MeshNode* n41 = GetMediumNode(n4,n1,force3d);
-
-  if(id)
-    return  meshDS->AddFaceWithID(n1, n2, n3, n4, n12, n23, n34, n41, id);
-  else
-    return  meshDS->AddFace(n1, n2, n3, n4, n12, n23, n34, n41);
+    *check = CheckNodeU( E, n, param, 2*tol, force );
+  }
+  return param;
 }
 
-
 //=======================================================================
-//function : AddVolume
-//purpose  : 
+//function : CheckNodeU
+//purpose  : Check and fix node U on an edge
+//           Return false if U is bad and could not be fixed
 //=======================================================================
-/*!
- * Special function for creation quadratic volume
- */
-SMDS_MeshVolume* SMESH_MesherHelper::AddVolume(const SMDS_MeshNode* n1,
-                                               const SMDS_MeshNode* n2,
-                                               const SMDS_MeshNode* n3,
-                                               const SMDS_MeshNode* n4,
-                                               const SMDS_MeshNode* n5,
-                                               const SMDS_MeshNode* n6,
-                                               const int id,
-                                              const bool force3d)
+
+bool SMESH_MesherHelper::CheckNodeU(const TopoDS_Edge&   E,
+                                    const SMDS_MeshNode* n,
+                                    double&              u,
+                                    const double         tol,
+                                    const bool           force,
+                                    double*              distance) const
 {
-  SMESHDS_Mesh * meshDS = GetMesh()->GetMeshDS();
-  if(!myCreateQuadratic) {
-    if(id)
-      return meshDS->AddVolumeWithID(n1, n2, n3, n4, n5, n6, id);
+  if ( force || !myOkNodePosShapes.count( n->GetPosition()->GetShapeId() ))
+  {
+    // check that u is correct
+    TopLoc_Location loc; double f,l;
+    Handle(Geom_Curve) curve = BRep_Tool::Curve( E,loc,f,l );
+    if ( curve.IsNull() ) // degenerated edge
+    {
+      if ( u+tol < f || u-tol > l )
+      {
+        double r = Max( 0.5, 1 - tol*n->GetID()); // to get a unique u on edge
+        u =  f*r + l*(1-r);
+      }
+    }
     else
-      return meshDS->AddVolume(n1, n2, n3, n4, n5, n6);
+    {
+      gp_Pnt nodePnt = SMESH_MeshEditor::TNodeXYZ( n );
+      if ( !loc.IsIdentity() ) nodePnt.Transform( loc.Transformation().Inverted() );
+      double dist = nodePnt.Distance( curve->Value( u ));
+      if ( distance ) *distance = dist;
+      if ( dist > tol )
+      {
+        // u incorrect, project the node to the curve
+        GeomAPI_ProjectPointOnCurve projector( nodePnt, curve, f, l );
+        if ( projector.NbPoints() < 1 )
+        {
+          MESSAGE( "SMESH_MesherHelper::CheckNodeU() failed to project" );
+          return false;
+        }
+        Quantity_Parameter U = projector.LowerDistanceParameter();
+        u = double( U );
+        dist = nodePnt.Distance( curve->Value( U ));
+        if ( distance ) *distance = dist;
+        if ( dist > tol )
+        {
+          MESSAGE( "SMESH_MesherHelper::CheckNodeU(), invalid projection" );
+          return false;
+        }
+        //u = double( U );
+      }
+      else if ( fabs( u ) > numeric_limits<double>::min() )
+      {
+        ((SMESH_MesherHelper*) this)->myOkNodePosShapes.insert( n->GetPosition()->GetShapeId() );
+      }
+      if (( u < f-tol || u > l+tol ) && force )
+      {
+        // node is on vertex but is set on periodic but trimmed edge (issue 0020890)
+        try
+        {
+          // do not use IsPeriodic() as Geom_TrimmedCurve::IsPeriodic () returns false
+          double period = curve->Period();
+          u = ( u < f ) ? u + period : u - period;
+        }
+        catch (Standard_Failure& exc)
+        {
+          return false;
+        }
+      }
+    }
   }
+  return true;
+}
 
-  const SMDS_MeshNode* n12 = GetMediumNode(n1,n2,force3d);
-  const SMDS_MeshNode* n23 = GetMediumNode(n2,n3,force3d);
-  const SMDS_MeshNode* n31 = GetMediumNode(n3,n1,force3d);
+//=======================================================================
+//function : GetMediumNode
+//purpose  : Return existing or create new medium nodes between given ones
+//=======================================================================
 
-  const SMDS_MeshNode* n45 = GetMediumNode(n4,n5,force3d);
-  const SMDS_MeshNode* n56 = GetMediumNode(n5,n6,force3d);
-  const SMDS_MeshNode* n64 = GetMediumNode(n6,n4,force3d);
+const SMDS_MeshNode* SMESH_MesherHelper::GetMediumNode(const SMDS_MeshNode* n1,
+                                                       const SMDS_MeshNode* n2,
+                                                       bool                 force3d)
+{
+  // Find existing node
 
-  const SMDS_MeshNode* n14 = GetMediumNode(n1,n4,force3d);
-  const SMDS_MeshNode* n25 = GetMediumNode(n2,n5,force3d);
-  const SMDS_MeshNode* n36 = GetMediumNode(n3,n6,force3d);
+  SMESH_TLink link(n1,n2);
+  ItTLinkNode itLN = myTLinkNodeMap.find( link );
+  if ( itLN != myTLinkNodeMap.end() ) {
+    return (*itLN).second;
+  }
 
-  if(id)
-    return meshDS->AddVolumeWithID(n1, n2, n3, n4, n5, n6, 
-                                   n12, n23, n31, n45, n56, n64, n14, n25, n36, id);
-  else
-    return meshDS->AddVolume(n1, n2, n3, n4, n5, n6,
-                             n12, n23, n31, n45, n56, n64, n14, n25, n36);
-}
+  // Create medium node
 
+  SMDS_MeshNode* n12;
+  SMESHDS_Mesh* meshDS = GetMeshDS();
 
-//=======================================================================
-//function : AddVolume
-//purpose  : 
-//=======================================================================
-/*!
- * Special function for creation quadratic volume
+  // get type of shape for the new medium node
+  int faceID = -1, edgeID = -1;
+  const SMDS_PositionPtr Pos1 = n1->GetPosition();
+  const SMDS_PositionPtr Pos2 = n2->GetPosition();
+
+  if( myShape.IsNull() )
+  {
+    if( Pos1->GetTypeOfPosition()==SMDS_TOP_FACE ) {
+      faceID = Pos1->GetShapeId();
+    }
+    else if( Pos2->GetTypeOfPosition()==SMDS_TOP_FACE ) {
+      faceID = Pos2->GetShapeId();
+    }
+
+    if( Pos1->GetTypeOfPosition()==SMDS_TOP_EDGE ) {
+      edgeID = Pos1->GetShapeId();
+    }
+    if( Pos2->GetTypeOfPosition()==SMDS_TOP_EDGE ) {
+      edgeID = Pos2->GetShapeId();
+    }
+  }
+  // get positions of the given nodes on shapes
+  TopoDS_Edge E; double u [2];
+  TopoDS_Face F; gp_XY  uv[2];
+  bool uvOK[2] = { false, false };
+  TopAbs_ShapeEnum shapeType = myShape.IsNull() ? TopAbs_SHAPE : myShape.ShapeType();
+  if ( faceID>0 || shapeType == TopAbs_FACE)
+  {
+    if( myShape.IsNull() )
+      F = TopoDS::Face(meshDS->IndexToShape(faceID));
+    else {
+      F = TopoDS::Face(myShape);
+      faceID = myShapeID;
+    }
+    uv[0] = GetNodeUV(F,n1,n2, force3d ? 0 : &uvOK[0]);
+    uv[1] = GetNodeUV(F,n2,n1, force3d ? 0 : &uvOK[1]);
+  }
+  else if (edgeID>0 || shapeType == TopAbs_EDGE)
+  {
+    if ( Pos1->GetTypeOfPosition()==SMDS_TOP_EDGE &&
+         Pos2->GetTypeOfPosition()==SMDS_TOP_EDGE &&
+         Pos1->GetShapeId() != Pos2->GetShapeId() ) // issue 0021006
+    return getMediumNodeOnComposedWire(n1,n2,force3d);
+
+    if( myShape.IsNull() )
+      E = TopoDS::Edge(meshDS->IndexToShape(edgeID));
+    else {
+      E = TopoDS::Edge(myShape);
+      edgeID = myShapeID;
+    }
+    u[0] = GetNodeU(E,n1,n2, force3d ? 0 : &uvOK[0]);
+    u[1] = GetNodeU(E,n2,n1, force3d ? 0 : &uvOK[1]);
+  }
+  if(!force3d)
+  {
+    // we try to create medium node using UV parameters of
+    // nodes, else - medium between corresponding 3d points
+    if( ! F.IsNull() )
+    {
+      if ( uvOK[0] && uvOK[1] )
+      {
+        if ( IsDegenShape( Pos1->GetShapeId() ))
+          if ( myParIndex & U_periodic ) uv[0].SetCoord( 1, uv[1].Coord( 1 ));
+          else                           uv[0].SetCoord( 2, uv[1].Coord( 2 ));
+        else if ( IsDegenShape( Pos2->GetShapeId() ))
+          if ( myParIndex & U_periodic ) uv[1].SetCoord( 1, uv[0].Coord( 1 ));
+          else                           uv[1].SetCoord( 2, uv[0].Coord( 2 ));
+
+        TopLoc_Location loc;
+        Handle(Geom_Surface) S = BRep_Tool::Surface(F,loc);
+        gp_XY UV = GetMiddleUV( S, uv[0], uv[1] );
+        gp_Pnt P = S->Value( UV.X(), UV.Y() ).Transformed(loc);
+        n12 = meshDS->AddNode(P.X(), P.Y(), P.Z());
+        meshDS->SetNodeOnFace(n12, faceID, UV.X(), UV.Y());
+        myTLinkNodeMap.insert(make_pair(link,n12));
+        return n12;
+      }
+    }
+    else if ( !E.IsNull() )
+    {
+      double f,l;
+      Handle(Geom_Curve) C = BRep_Tool::Curve(E, f, l);
+      if(!C.IsNull())
+      {
+        Standard_Boolean isPeriodic = C->IsPeriodic();
+        double U;
+        if(isPeriodic) {
+          Standard_Real Period = C->Period();
+          Standard_Real p = u[1]+ShapeAnalysis::AdjustByPeriod(u[1],u[0],Period);
+          Standard_Real pmid = (u[0]+p)/2.;
+          U = pmid+ShapeAnalysis::AdjustToPeriod(pmid,C->FirstParameter(),C->LastParameter());
+        }
+        else
+          U = (u[0]+u[1])/2.;
+
+        gp_Pnt P = C->Value( U );
+        n12 = meshDS->AddNode(P.X(), P.Y(), P.Z());
+        meshDS->SetNodeOnEdge(n12, edgeID, U);
+        myTLinkNodeMap.insert(make_pair(link,n12));
+        return n12;
+      }
+    }
+  }
+  // 3d variant
+  double x = ( n1->X() + n2->X() )/2.;
+  double y = ( n1->Y() + n2->Y() )/2.;
+  double z = ( n1->Z() + n2->Z() )/2.;
+  n12 = meshDS->AddNode(x,y,z);
+  if ( !F.IsNull() )
+  {
+    gp_XY UV = ( uv[0] + uv[1] ) / 2.;
+    CheckNodeUV( F, n12, UV, 2*BRep_Tool::Tolerance( F ), /*force=*/true);
+    meshDS->SetNodeOnFace(n12, faceID, UV.X(), UV.Y() );
+  }
+  else if ( !E.IsNull() )
+  {
+    double U = ( u[0] + u[1] ) / 2.;
+    CheckNodeU( E, n12, U, 2*BRep_Tool::Tolerance( E ), /*force=*/true);
+    meshDS->SetNodeOnEdge(n12, edgeID, U);
+  }
+  else if ( myShapeID > 0 )
+  {
+    meshDS->SetNodeInVolume(n12, myShapeID);
+  }
+  myTLinkNodeMap.insert( make_pair( link, n12 ));
+  return n12;
+}
+
+//================================================================================
+/*!
+ * \brief Makes a medium node if nodes reside different edges
  */
+//================================================================================
+
+const SMDS_MeshNode* SMESH_MesherHelper::getMediumNodeOnComposedWire(const SMDS_MeshNode* n1,
+                                                                     const SMDS_MeshNode* n2,
+                                                                     bool                 force3d)
+{
+  gp_Pnt middle = 0.5 * XYZ(n1) + 0.5 * XYZ(n2);
+  SMDS_MeshNode* n12 = AddNode( middle.X(), middle.Y(), middle.Z() );
+
+  // To find position on edge and 3D position for n12,
+  // project <middle> to 2 edges and select projection most close to <middle>
+
+  double u = 0, distMiddleProj = Precision::Infinite();
+  int iOkEdge = 0;
+  TopoDS_Edge edges[2];
+  for ( int is2nd = 0; is2nd < 2; ++is2nd )
+  {
+    // get an edge
+    const SMDS_MeshNode* n = is2nd ? n2 : n1;
+    TopoDS_Shape shape = GetSubShapeByNode( n, GetMeshDS() );
+    if ( shape.IsNull() || shape.ShapeType() != TopAbs_EDGE )
+      continue;
+
+    // project to get U of projection and distance from middle to projection
+    TopoDS_Edge edge = edges[ is2nd ] = TopoDS::Edge( shape );
+    double node2MiddleDist = middle.Distance( XYZ(n) );
+    double foundU = GetNodeU( edge, n ), foundDist = node2MiddleDist;
+    CheckNodeU( edge, n12, foundU, 2*BRep_Tool::Tolerance(edge), /*force=*/true, &foundDist );
+    if ( foundDist < node2MiddleDist )
+    {
+      distMiddleProj = foundDist;
+      u = foundU;
+      iOkEdge = is2nd;
+    }
+  }
+  if ( Precision::IsInfinite( distMiddleProj ))
+  {
+    // both projections failed; set n12 on the edge of n1 with U of a common vertex
+    TopoDS_Vertex vCommon;
+    if ( TopExp::CommonVertex( edges[0], edges[1], vCommon ))
+      u = BRep_Tool::Parameter( vCommon, edges[0] );
+    else
+    {
+      double f,l, u0 = GetNodeU( edges[0], n1 );
+      BRep_Tool::Range( edges[0],f,l );
+      u = ( fabs(u0-f) < fabs(u0-l) ) ? f : l;
+    }
+    iOkEdge = 0;
+    distMiddleProj = 0;
+  }
+
+  // move n12 to position of a successfull projection
+  double tol = BRep_Tool::Tolerance(edges[ iOkEdge ]);
+  if ( !force3d && distMiddleProj > 2*tol )
+  {
+    TopLoc_Location loc; double f,l;
+    Handle(Geom_Curve) curve = BRep_Tool::Curve( edges[iOkEdge],loc,f,l );
+    gp_Pnt p = curve->Value( u );
+    GetMeshDS()->MoveNode( n12, p.X(), p.Y(), p.Z() );
+  }
+
+  GetMeshDS()->SetNodeOnEdge(n12, edges[iOkEdge], u);
+
+  myTLinkNodeMap.insert( make_pair( SMESH_TLink(n1,n2), n12 ));
+
+  return n12;
+}
+
+//=======================================================================
+//function : AddNode
+//purpose  : Creates a node
+//=======================================================================
+
+SMDS_MeshNode* SMESH_MesherHelper::AddNode(double x, double y, double z, int ID)
+{
+  SMESHDS_Mesh * meshDS = GetMeshDS();
+  SMDS_MeshNode* node = 0;
+  if ( ID )
+    node = meshDS->AddNodeWithID( x, y, z, ID );
+  else
+    node = meshDS->AddNode( x, y, z );
+  if ( mySetElemOnShape && myShapeID > 0 ) {
+    switch ( myShape.ShapeType() ) {
+    case TopAbs_SOLID:  meshDS->SetNodeInVolume( node, myShapeID); break;
+    case TopAbs_SHELL:  meshDS->SetNodeInVolume( node, myShapeID); break;
+    case TopAbs_FACE:   meshDS->SetNodeOnFace(   node, myShapeID); break;
+    case TopAbs_EDGE:   meshDS->SetNodeOnEdge(   node, myShapeID); break;
+    case TopAbs_VERTEX: meshDS->SetNodeOnVertex( node, myShapeID); break;
+    default: ;
+    }
+  }
+  return node;
+}
+
+//=======================================================================
+//function : AddEdge
+//purpose  : Creates quadratic or linear edge
+//=======================================================================
+
+SMDS_MeshEdge* SMESH_MesherHelper::AddEdge(const SMDS_MeshNode* n1,
+                                           const SMDS_MeshNode* n2,
+                                           const int            id,
+                                           const bool           force3d)
+{
+  SMESHDS_Mesh * meshDS = GetMeshDS();
+  
+  SMDS_MeshEdge* edge = 0;
+  if (myCreateQuadratic) {
+    const SMDS_MeshNode* n12 = GetMediumNode(n1,n2,force3d);
+    if(id)
+      edge = meshDS->AddEdgeWithID(n1, n2, n12, id);
+    else
+      edge = meshDS->AddEdge(n1, n2, n12);
+  }
+  else {
+    if(id)
+      edge = meshDS->AddEdgeWithID(n1, n2, id);
+    else
+      edge = meshDS->AddEdge(n1, n2);
+  }
+
+  if ( mySetElemOnShape && myShapeID > 0 )
+    meshDS->SetMeshElementOnShape( edge, myShapeID );
+
+  return edge;
+}
+
+//=======================================================================
+//function : AddFace
+//purpose  : Creates quadratic or linear triangle
+//=======================================================================
+
+SMDS_MeshFace* SMESH_MesherHelper::AddFace(const SMDS_MeshNode* n1,
+                                           const SMDS_MeshNode* n2,
+                                           const SMDS_MeshNode* n3,
+                                           const int id,
+                                           const bool force3d)
+{
+  SMESHDS_Mesh * meshDS = GetMeshDS();
+  SMDS_MeshFace* elem = 0;
+
+  if( n1==n2 || n2==n3 || n3==n1 )
+    return elem;
+
+  if(!myCreateQuadratic) {
+    if(id)
+      elem = meshDS->AddFaceWithID(n1, n2, n3, id);
+    else
+      elem = meshDS->AddFace(n1, n2, n3);
+  }
+  else {
+    const SMDS_MeshNode* n12 = GetMediumNode(n1,n2,force3d);
+    const SMDS_MeshNode* n23 = GetMediumNode(n2,n3,force3d);
+    const SMDS_MeshNode* n31 = GetMediumNode(n3,n1,force3d);
+
+    if(id)
+      elem = meshDS->AddFaceWithID(n1, n2, n3, n12, n23, n31, id);
+    else
+      elem = meshDS->AddFace(n1, n2, n3, n12, n23, n31);
+  }
+  if ( mySetElemOnShape && myShapeID > 0 )
+    meshDS->SetMeshElementOnShape( elem, myShapeID );
+
+  return elem;
+}
+
+//=======================================================================
+//function : AddFace
+//purpose  : Creates quadratic or linear quadrangle
+//=======================================================================
+
+SMDS_MeshFace* SMESH_MesherHelper::AddFace(const SMDS_MeshNode* n1,
+                                           const SMDS_MeshNode* n2,
+                                           const SMDS_MeshNode* n3,
+                                           const SMDS_MeshNode* n4,
+                                           const int            id,
+                                           const bool           force3d)
+{
+  SMESHDS_Mesh * meshDS = GetMeshDS();
+  SMDS_MeshFace* elem = 0;
+
+  if( n1==n2 ) {
+    return AddFace(n1,n3,n4,id,force3d);
+  }
+  if( n1==n3 ) {
+    return AddFace(n1,n2,n4,id,force3d);
+  }
+  if( n1==n4 ) {
+    return AddFace(n1,n2,n3,id,force3d);
+  }
+  if( n2==n3 ) {
+    return AddFace(n1,n2,n4,id,force3d);
+  }
+  if( n2==n4 ) {
+    return AddFace(n1,n2,n3,id,force3d);
+  }
+  if( n3==n4 ) {
+    return AddFace(n1,n2,n3,id,force3d);
+  }
+
+  if(!myCreateQuadratic) {
+    if(id)
+      elem = meshDS->AddFaceWithID(n1, n2, n3, n4, id);
+    else
+      elem = meshDS->AddFace(n1, n2, n3, n4);
+  }
+  else {
+    const SMDS_MeshNode* n12 = GetMediumNode(n1,n2,force3d);
+    const SMDS_MeshNode* n23 = GetMediumNode(n2,n3,force3d);
+    const SMDS_MeshNode* n34 = GetMediumNode(n3,n4,force3d);
+    const SMDS_MeshNode* n41 = GetMediumNode(n4,n1,force3d);
+
+    if(id)
+      elem = meshDS->AddFaceWithID(n1, n2, n3, n4, n12, n23, n34, n41, id);
+    else
+      elem = meshDS->AddFace(n1, n2, n3, n4, n12, n23, n34, n41);
+  }
+  if ( mySetElemOnShape && myShapeID > 0 )
+    meshDS->SetMeshElementOnShape( elem, myShapeID );
+
+  return elem;
+}
+
+//=======================================================================
+//function : AddPolygonalFace
+//purpose  : Creates polygon, with additional nodes in quadratic mesh
+//=======================================================================
+
+SMDS_MeshFace* SMESH_MesherHelper::AddPolygonalFace (const vector<const SMDS_MeshNode*>& nodes,
+                                                     const int                           id,
+                                                     const bool                          force3d)
+{
+  SMESHDS_Mesh * meshDS = GetMeshDS();
+  SMDS_MeshFace* elem = 0;
+
+  if(!myCreateQuadratic) {
+    if(id)
+      elem = meshDS->AddPolygonalFaceWithID(nodes, id);
+    else
+      elem = meshDS->AddPolygonalFace(nodes);
+  }
+  else {
+    vector<const SMDS_MeshNode*> newNodes;
+    for ( int i = 0; i < nodes.size(); ++i )
+    {
+      const SMDS_MeshNode* n1 = nodes[i];
+      const SMDS_MeshNode* n2 = nodes[(i+1)/nodes.size()];
+      const SMDS_MeshNode* n12 = GetMediumNode(n1,n2,force3d);
+      newNodes.push_back( n1 );
+      newNodes.push_back( n12 );
+    }
+    if(id)
+      elem = meshDS->AddPolygonalFaceWithID(newNodes, id);
+    else
+      elem = meshDS->AddPolygonalFace(newNodes);
+  }
+  if ( mySetElemOnShape && myShapeID > 0 )
+    meshDS->SetMeshElementOnShape( elem, myShapeID );
+
+  return elem;
+}
+
+//=======================================================================
+//function : AddVolume
+//purpose  : Creates quadratic or linear prism
+//=======================================================================
+
+SMDS_MeshVolume* SMESH_MesherHelper::AddVolume(const SMDS_MeshNode* n1,
+                                               const SMDS_MeshNode* n2,
+                                               const SMDS_MeshNode* n3,
+                                               const SMDS_MeshNode* n4,
+                                               const SMDS_MeshNode* n5,
+                                               const SMDS_MeshNode* n6,
+                                               const int id,
+                                               const bool force3d)
+{
+  SMESHDS_Mesh * meshDS = GetMeshDS();
+  SMDS_MeshVolume* elem = 0;
+  if(!myCreateQuadratic) {
+    if(id)
+      elem = meshDS->AddVolumeWithID(n1, n2, n3, n4, n5, n6, id);
+    else
+      elem = meshDS->AddVolume(n1, n2, n3, n4, n5, n6);
+  }
+  else {
+    const SMDS_MeshNode* n12 = GetMediumNode(n1,n2,force3d);
+    const SMDS_MeshNode* n23 = GetMediumNode(n2,n3,force3d);
+    const SMDS_MeshNode* n31 = GetMediumNode(n3,n1,force3d);
+
+    const SMDS_MeshNode* n45 = GetMediumNode(n4,n5,force3d);
+    const SMDS_MeshNode* n56 = GetMediumNode(n5,n6,force3d);
+    const SMDS_MeshNode* n64 = GetMediumNode(n6,n4,force3d);
+
+    const SMDS_MeshNode* n14 = GetMediumNode(n1,n4,force3d);
+    const SMDS_MeshNode* n25 = GetMediumNode(n2,n5,force3d);
+    const SMDS_MeshNode* n36 = GetMediumNode(n3,n6,force3d);
+
+    if(id)
+      elem = meshDS->AddVolumeWithID(n1, n2, n3, n4, n5, n6, 
+                                     n12, n23, n31, n45, n56, n64, n14, n25, n36, id);
+    else
+      elem = meshDS->AddVolume(n1, n2, n3, n4, n5, n6,
+                               n12, n23, n31, n45, n56, n64, n14, n25, n36);
+  }
+  if ( mySetElemOnShape && myShapeID > 0 )
+    meshDS->SetMeshElementOnShape( elem, myShapeID );
+
+  return elem;
+}
+
+//=======================================================================
+//function : AddVolume
+//purpose  : Creates quadratic or linear tetrahedron
+//=======================================================================
+
 SMDS_MeshVolume* SMESH_MesherHelper::AddVolume(const SMDS_MeshNode* n1,
                                                const SMDS_MeshNode* n2,
                                                const SMDS_MeshNode* n3,
                                                const SMDS_MeshNode* n4,
                                                const int id, 
-                                              const bool force3d)
+                                               const bool force3d)
 {
-  SMESHDS_Mesh * meshDS = GetMesh()->GetMeshDS();
+  SMESHDS_Mesh * meshDS = GetMeshDS();
+  SMDS_MeshVolume* elem = 0;
   if(!myCreateQuadratic) {
     if(id)
-      return meshDS->AddVolumeWithID(n1, n2, n3, n4, id);
+      elem = meshDS->AddVolumeWithID(n1, n2, n3, n4, id);
     else
-      return meshDS->AddVolume(n1, n2, n3, n4);
+      elem = meshDS->AddVolume(n1, n2, n3, n4);
   }
+  else {
+    const SMDS_MeshNode* n12 = GetMediumNode(n1,n2,force3d);
+    const SMDS_MeshNode* n23 = GetMediumNode(n2,n3,force3d);
+    const SMDS_MeshNode* n31 = GetMediumNode(n3,n1,force3d);
 
-  const SMDS_MeshNode* n12 = GetMediumNode(n1,n2,force3d);
-  const SMDS_MeshNode* n23 = GetMediumNode(n2,n3,force3d);
-  const SMDS_MeshNode* n31 = GetMediumNode(n3,n1,force3d);
+    const SMDS_MeshNode* n14 = GetMediumNode(n1,n4,force3d);
+    const SMDS_MeshNode* n24 = GetMediumNode(n2,n4,force3d);
+    const SMDS_MeshNode* n34 = GetMediumNode(n3,n4,force3d);
 
-  const SMDS_MeshNode* n14 = GetMediumNode(n1,n4,force3d);
-  const SMDS_MeshNode* n24 = GetMediumNode(n2,n4,force3d);
-  const SMDS_MeshNode* n34 = GetMediumNode(n3,n4,force3d);
+    if(id)
+      elem = meshDS->AddVolumeWithID(n1, n2, n3, n4, n12, n23, n31, n14, n24, n34, id);
+    else
+      elem = meshDS->AddVolume(n1, n2, n3, n4, n12, n23, n31, n14, n24, n34);
+  }
+  if ( mySetElemOnShape && myShapeID > 0 )
+    meshDS->SetMeshElementOnShape( elem, myShapeID );
 
-  if(id)
-    return meshDS->AddVolumeWithID(n1, n2, n3, n4, n12, n23, n31, n14, n24, n34, id);
-  else
-    return meshDS->AddVolume(n1, n2, n3, n4, n12, n23, n31, n14, n24, n34);
+  return elem;
 }
 
+//=======================================================================
+//function : AddVolume
+//purpose  : Creates quadratic or linear pyramid
+//=======================================================================
+
+SMDS_MeshVolume* SMESH_MesherHelper::AddVolume(const SMDS_MeshNode* n1,
+                                               const SMDS_MeshNode* n2,
+                                               const SMDS_MeshNode* n3,
+                                               const SMDS_MeshNode* n4,
+                                               const SMDS_MeshNode* n5,
+                                               const int id, 
+                                               const bool force3d)
+{
+  SMDS_MeshVolume* elem = 0;
+  if(!myCreateQuadratic) {
+    if(id)
+      elem = GetMeshDS()->AddVolumeWithID(n1, n2, n3, n4, n5, id);
+    else
+      elem = GetMeshDS()->AddVolume(n1, n2, n3, n4, n5);
+  }
+  else {
+    const SMDS_MeshNode* n12 = GetMediumNode(n1,n2,force3d);
+    const SMDS_MeshNode* n23 = GetMediumNode(n2,n3,force3d);
+    const SMDS_MeshNode* n34 = GetMediumNode(n3,n4,force3d);
+    const SMDS_MeshNode* n41 = GetMediumNode(n4,n1,force3d);
+
+    const SMDS_MeshNode* n15 = GetMediumNode(n1,n5,force3d);
+    const SMDS_MeshNode* n25 = GetMediumNode(n2,n5,force3d);
+    const SMDS_MeshNode* n35 = GetMediumNode(n3,n5,force3d);
+    const SMDS_MeshNode* n45 = GetMediumNode(n4,n5,force3d);
+
+    if(id)
+      elem = GetMeshDS()->AddVolumeWithID ( n1,  n2,  n3,  n4,  n5,
+                                            n12, n23, n34, n41,
+                                            n15, n25, n35, n45,
+                                            id);
+    else
+      elem = GetMeshDS()->AddVolume( n1,  n2,  n3,  n4,  n5,
+                                     n12, n23, n34, n41,
+                                     n15, n25, n35, n45);
+  }
+  if ( mySetElemOnShape && myShapeID > 0 )
+    GetMeshDS()->SetMeshElementOnShape( elem, myShapeID );
+
+  return elem;
+}
 
 //=======================================================================
 //function : AddVolume
-//purpose  : 
+//purpose  : Creates quadratic or linear hexahedron
 //=======================================================================
-/*!
- * Special function for creation quadratic volume
- */
+
 SMDS_MeshVolume* SMESH_MesherHelper::AddVolume(const SMDS_MeshNode* n1,
                                                const SMDS_MeshNode* n2,
                                                const SMDS_MeshNode* n3,
@@ -660,39 +1277,1608 @@ SMDS_MeshVolume* SMESH_MesherHelper::AddVolume(const SMDS_MeshNode* n1,
                                                const SMDS_MeshNode* n7,
                                                const SMDS_MeshNode* n8,
                                                const int id,
-                                              const bool force3d)
+                                               const bool force3d)
 {
-  SMESHDS_Mesh * meshDS = GetMesh()->GetMeshDS();
+  SMESHDS_Mesh * meshDS = GetMeshDS();
+  SMDS_MeshVolume* elem = 0;
   if(!myCreateQuadratic) {
     if(id)
-      return meshDS->AddVolumeWithID(n1, n2, n3, n4, n5, n6, n7, n8, id);
+      elem = meshDS->AddVolumeWithID(n1, n2, n3, n4, n5, n6, n7, n8, id);
     else
-      return meshDS->AddVolume(n1, n2, n3, n4, n5, n6, n7, n8);
+      elem = meshDS->AddVolume(n1, n2, n3, n4, n5, n6, n7, n8);
   }
+  else {
+    const SMDS_MeshNode* n12 = GetMediumNode(n1,n2,force3d);
+    const SMDS_MeshNode* n23 = GetMediumNode(n2,n3,force3d);
+    const SMDS_MeshNode* n34 = GetMediumNode(n3,n4,force3d);
+    const SMDS_MeshNode* n41 = GetMediumNode(n4,n1,force3d);
+
+    const SMDS_MeshNode* n56 = GetMediumNode(n5,n6,force3d);
+    const SMDS_MeshNode* n67 = GetMediumNode(n6,n7,force3d);
+    const SMDS_MeshNode* n78 = GetMediumNode(n7,n8,force3d);
+    const SMDS_MeshNode* n85 = GetMediumNode(n8,n5,force3d);
 
-  const SMDS_MeshNode* n12 = GetMediumNode(n1,n2,force3d);
-  const SMDS_MeshNode* n23 = GetMediumNode(n2,n3,force3d);
-  const SMDS_MeshNode* n34 = GetMediumNode(n3,n4,force3d);
-  const SMDS_MeshNode* n41 = GetMediumNode(n4,n1,force3d);
+    const SMDS_MeshNode* n15 = GetMediumNode(n1,n5,force3d);
+    const SMDS_MeshNode* n26 = GetMediumNode(n2,n6,force3d);
+    const SMDS_MeshNode* n37 = GetMediumNode(n3,n7,force3d);
+    const SMDS_MeshNode* n48 = GetMediumNode(n4,n8,force3d);
 
-  const SMDS_MeshNode* n56 = GetMediumNode(n5,n6,force3d);
-  const SMDS_MeshNode* n67 = GetMediumNode(n6,n7,force3d);
-  const SMDS_MeshNode* n78 = GetMediumNode(n7,n8,force3d);
-  const SMDS_MeshNode* n85 = GetMediumNode(n8,n5,force3d);
+    if(id)
+      elem = meshDS->AddVolumeWithID(n1, n2, n3, n4, n5, n6, n7, n8,
+                                     n12, n23, n34, n41, n56, n67,
+                                     n78, n85, n15, n26, n37, n48, id);
+    else
+      elem = meshDS->AddVolume(n1, n2, n3, n4, n5, n6, n7, n8,
+                               n12, n23, n34, n41, n56, n67,
+                               n78, n85, n15, n26, n37, n48);
+  }
+  if ( mySetElemOnShape && myShapeID > 0 )
+    meshDS->SetMeshElementOnShape( elem, myShapeID );
+
+  return elem;
+}
 
-  const SMDS_MeshNode* n15 = GetMediumNode(n1,n5,force3d);
-  const SMDS_MeshNode* n26 = GetMediumNode(n2,n6,force3d);
-  const SMDS_MeshNode* n37 = GetMediumNode(n3,n7,force3d);
-  const SMDS_MeshNode* n48 = GetMediumNode(n4,n8,force3d);
+//=======================================================================
+//function : AddPolyhedralVolume
+//purpose  : Creates polyhedron. In quadratic mesh, adds medium nodes
+//=======================================================================
 
-  if(id)
-    return meshDS->AddVolumeWithID(n1, n2, n3, n4, n5, n6, n7, n8,
-                                   n12, n23, n34, n41, n56, n67,
-                                   n78, n85, n15, n26, n37, n48, id);
+SMDS_MeshVolume*
+SMESH_MesherHelper::AddPolyhedralVolume (const std::vector<const SMDS_MeshNode*>& nodes,
+                                         const std::vector<int>&                  quantities,
+                                         const int                                id,
+                                         const bool                               force3d)
+{
+  SMESHDS_Mesh * meshDS = GetMeshDS();
+  SMDS_MeshVolume* elem = 0;
+  if(!myCreateQuadratic)
+  {
+    if(id)
+      elem = meshDS->AddPolyhedralVolumeWithID(nodes, quantities, id);
+    else
+      elem = meshDS->AddPolyhedralVolume(nodes, quantities);
+  }
   else
-    return meshDS->AddVolume(n1, n2, n3, n4, n5, n6, n7, n8,
-                             n12, n23, n34, n41, n56, n67,
-                             n78, n85, n15, n26, n37, n48);
+  {
+    vector<const SMDS_MeshNode*> newNodes;
+    vector<int> newQuantities;
+    for ( int iFace=0, iN=0; iFace < quantities.size(); ++iFace)
+    {
+      int nbNodesInFace = quantities[iFace];
+      newQuantities.push_back(0);
+      for ( int i = 0; i < nbNodesInFace; ++i )
+      {
+        const SMDS_MeshNode* n1 = nodes[ iN + i ];
+        newNodes.push_back( n1 );
+        newQuantities.back()++;
+        
+        const SMDS_MeshNode* n2 = nodes[ iN + ( i+1==nbNodesInFace ? 0 : i+1 )];
+//         if ( n1->GetPosition()->GetTypeOfPosition() != SMDS_TOP_3DSPACE &&
+//              n2->GetPosition()->GetTypeOfPosition() != SMDS_TOP_3DSPACE )
+        {
+          const SMDS_MeshNode* n12 = GetMediumNode(n1,n2,force3d);
+          newNodes.push_back( n12 );
+          newQuantities.back()++;
+        }
+      }
+      iN += nbNodesInFace;
+    }
+    if(id)
+      elem = meshDS->AddPolyhedralVolumeWithID( newNodes, newQuantities, id );
+    else
+      elem = meshDS->AddPolyhedralVolume( newNodes, newQuantities );
+  }
+  if ( mySetElemOnShape && myShapeID > 0 )
+    meshDS->SetMeshElementOnShape( elem, myShapeID );
+
+  return elem;
 }
 
+//=======================================================================
+//function : LoadNodeColumns
+//purpose  : Load nodes bound to face into a map of node columns
+//=======================================================================
+
+bool SMESH_MesherHelper::LoadNodeColumns(TParam2ColumnMap & theParam2ColumnMap,
+                                         const TopoDS_Face& theFace,
+                                         const TopoDS_Edge& theBaseEdge,
+                                         SMESHDS_Mesh*      theMesh)
+{
+  SMESHDS_SubMesh* faceSubMesh = theMesh->MeshElements( theFace );
+  if ( !faceSubMesh || faceSubMesh->NbElements() == 0 )
+    return false;
+
+  // get nodes on theBaseEdge sorted by param on edge and initialize theParam2ColumnMap with them
+
+  map< double, const SMDS_MeshNode*> sortedBaseNodes;
+  if ( !SMESH_Algo::GetSortedNodesOnEdge( theMesh, theBaseEdge,/*noMedium=*/true, sortedBaseNodes)
+       || sortedBaseNodes.size() < 2 )
+    return false;
+
+  int nbRows = faceSubMesh->NbElements() / ( sortedBaseNodes.size()-1 ) + 1;
+  map< double, const SMDS_MeshNode*>::iterator u_n = sortedBaseNodes.begin();
+  double f = u_n->first, range = sortedBaseNodes.rbegin()->first - f;
+  for ( ; u_n != sortedBaseNodes.end(); u_n++ )
+  {
+    double par = ( u_n->first - f ) / range;
+    vector<const SMDS_MeshNode*>& nCol = theParam2ColumnMap[ par ];
+    nCol.resize( nbRows );
+    nCol[0] = u_n->second;
+  }
 
+  // fill theParam2ColumnMap column by column by passing from nodes on
+  // theBaseEdge up via mesh faces on theFace
+
+  TParam2ColumnMap::iterator par_nVec_2 = theParam2ColumnMap.begin();
+  TParam2ColumnMap::iterator par_nVec_1 = par_nVec_2++;
+  TIDSortedElemSet emptySet, avoidSet;
+  for ( ; par_nVec_2 != theParam2ColumnMap.end(); ++par_nVec_1, ++par_nVec_2 )
+  {
+    vector<const SMDS_MeshNode*>& nCol1 = par_nVec_1->second;
+    vector<const SMDS_MeshNode*>& nCol2 = par_nVec_2->second;
+
+    int i1, i2, iRow = 0;
+    const SMDS_MeshNode *n1 = nCol1[0], *n2 = nCol2[0];
+    // find face sharing node n1 and n2 and belonging to faceSubMesh
+    while ( const SMDS_MeshElement* face =
+            SMESH_MeshEditor::FindFaceInSet( n1, n2, emptySet, avoidSet, &i1, &i2))
+    {
+      if ( faceSubMesh->Contains( face ))
+      {
+        int nbNodes = face->IsQuadratic() ? face->NbNodes()/2 : face->NbNodes();
+        if ( nbNodes != 4 )
+          return false;
+        n1 = face->GetNode( (i2+2) % 4 ); // opposite corner of quadrangle face
+        n2 = face->GetNode( (i1+2) % 4 );
+        if ( ++iRow >= nbRows )
+          return false;
+        nCol1[ iRow ] = n1;
+        nCol2[ iRow ] = n2;
+        avoidSet.clear();
+      }
+      avoidSet.insert( face );
+    }
+    if ( iRow + 1 < nbRows ) // compact if necessary
+      nCol1.resize( iRow + 1 ), nCol2.resize( iRow + 1 );
+  }
+  return true;
+}
+
+//=======================================================================
+//function : NbAncestors
+//purpose  : Return number of unique ancestors of the shape
+//=======================================================================
+
+int SMESH_MesherHelper::NbAncestors(const TopoDS_Shape& shape,
+                                    const SMESH_Mesh&   mesh,
+                                    TopAbs_ShapeEnum    ancestorType/*=TopAbs_SHAPE*/)
+{
+  TopTools_MapOfShape ancestors;
+  TopTools_ListIteratorOfListOfShape ansIt( mesh.GetAncestors(shape) );
+  for ( ; ansIt.More(); ansIt.Next() ) {
+    if ( ancestorType == TopAbs_SHAPE || ansIt.Value().ShapeType() == ancestorType )
+      ancestors.Add( ansIt.Value() );
+  }
+  return ancestors.Extent();
+}
+
+//=======================================================================
+//function : GetSubShapeOri
+//purpose  : Return orientation of sub-shape in the main shape
+//=======================================================================
+
+TopAbs_Orientation SMESH_MesherHelper::GetSubShapeOri(const TopoDS_Shape& shape,
+                                                      const TopoDS_Shape& subShape)
+{
+  TopAbs_Orientation ori = TopAbs_Orientation(-1);
+  if ( !shape.IsNull() && !subShape.IsNull() )
+  {
+    TopExp_Explorer e( shape, subShape.ShapeType() );
+    if ( shape.Orientation() >= TopAbs_INTERNAL ) // TopAbs_INTERNAL or TopAbs_EXTERNAL
+      e.Init( shape.Oriented(TopAbs_FORWARD), subShape.ShapeType() );
+    for ( ; e.More(); e.Next())
+      if ( subShape.IsSame( e.Current() ))
+        break;
+    if ( e.More() )
+      ori = e.Current().Orientation();
+  }
+  return ori;
+}
+
+//=======================================================================
+//function : IsSubShape
+//purpose  : 
+//=======================================================================
+
+bool SMESH_MesherHelper::IsSubShape( const TopoDS_Shape& shape,
+                                     const TopoDS_Shape& mainShape )
+{
+  if ( !shape.IsNull() && !mainShape.IsNull() )
+  {
+    for ( TopExp_Explorer exp( mainShape, shape.ShapeType());
+          exp.More();
+          exp.Next() )
+      if ( shape.IsSame( exp.Current() ))
+        return true;
+  }
+  SCRUTE((shape.IsNull()));
+  SCRUTE((mainShape.IsNull()));
+  return false;
+}
+
+//=======================================================================
+//function : IsSubShape
+//purpose  : 
+//=======================================================================
+
+bool SMESH_MesherHelper::IsSubShape( const TopoDS_Shape& shape, SMESH_Mesh* aMesh )
+{
+  if ( shape.IsNull() || !aMesh )
+    return false;
+  return
+    aMesh->GetMeshDS()->ShapeToIndex( shape ) ||
+    // PAL16202
+    shape.ShapeType() == TopAbs_COMPOUND && aMesh->GetMeshDS()->IsGroupOfSubShapes( shape );
+}
+
+//================================================================================
+/*!
+ * \brief Return maximal tolerance of shape
+ */
+//================================================================================
+
+double SMESH_MesherHelper::MaxTolerance( const TopoDS_Shape& shape )
+{
+  double tol = Precision::Confusion();
+  TopExp_Explorer exp;
+  for ( exp.Init( shape, TopAbs_FACE ); exp.More(); exp.Next() )
+    tol = Max( tol, BRep_Tool::Tolerance( TopoDS::Face( exp.Current())));
+  for ( exp.Init( shape, TopAbs_EDGE ); exp.More(); exp.Next() )
+    tol = Max( tol, BRep_Tool::Tolerance( TopoDS::Edge( exp.Current())));
+  for ( exp.Init( shape, TopAbs_VERTEX ); exp.More(); exp.Next() )
+    tol = Max( tol, BRep_Tool::Tolerance( TopoDS::Vertex( exp.Current())));
+
+  return tol;
+}
+
+//=======================================================================
+//function : IsQuadraticMesh
+//purpose  : Check mesh without geometry for: if all elements on this shape are quadratic,
+//           quadratic elements will be created.
+//           Used then generated 3D mesh without geometry.
+//=======================================================================
+
+SMESH_MesherHelper:: MType SMESH_MesherHelper::IsQuadraticMesh()
+{
+  int NbAllEdgsAndFaces=0;
+  int NbQuadFacesAndEdgs=0;
+  int NbFacesAndEdges=0;
+  //All faces and edges
+  NbAllEdgsAndFaces = myMesh->NbEdges() + myMesh->NbFaces();
+  
+  //Quadratic faces and edges
+  NbQuadFacesAndEdgs = myMesh->NbEdges(ORDER_QUADRATIC) + myMesh->NbFaces(ORDER_QUADRATIC);
+
+  //Linear faces and edges
+  NbFacesAndEdges = myMesh->NbEdges(ORDER_LINEAR) + myMesh->NbFaces(ORDER_LINEAR);
+  
+  if (NbAllEdgsAndFaces == NbQuadFacesAndEdgs) {
+    //Quadratic mesh
+    return SMESH_MesherHelper::QUADRATIC;
+  }
+  else if (NbAllEdgsAndFaces == NbFacesAndEdges) {
+    //Linear mesh
+    return SMESH_MesherHelper::LINEAR;
+  }
+  else
+    //Mesh with both type of elements
+    return SMESH_MesherHelper::COMP;
+}
+
+//=======================================================================
+//function : GetOtherParam
+//purpose  : Return an alternative parameter for a node on seam
+//=======================================================================
+
+double SMESH_MesherHelper::GetOtherParam(const double param) const
+{
+  int i = myParIndex & U_periodic ? 0 : 1;
+  return fabs(param-myPar1[i]) < fabs(param-myPar2[i]) ? myPar2[i] : myPar1[i];
+}
+
+//#include <Perf_Meter.hxx>
+
+//=======================================================================
+namespace { // Structures used by FixQuadraticElements()
+//=======================================================================
+
+#define __DMP__(txt) \
+  //cout << txt
+#define MSG(txt) __DMP__(txt<<endl)
+#define MSGBEG(txt) __DMP__(txt)
+
+  //const double straightTol2 = 1e-33; // to detect straing links
+  bool isStraightLink(double linkLen2, double middleNodeMove2)
+  {
+    // straight if <node move> < 1/15 * <link length>
+    return middleNodeMove2 < 1/15./15. * linkLen2;
+  }
+
+  struct QFace;
+  // ---------------------------------------
+  /*!
+   * \brief Quadratic link knowing its faces
+   */
+  struct QLink: public SMESH_TLink
+  {
+    const SMDS_MeshNode*          _mediumNode;
+    mutable vector<const QFace* > _faces;
+    mutable gp_Vec                _nodeMove;
+    mutable int                   _nbMoves;
+
+    QLink(const SMDS_MeshNode* n1, const SMDS_MeshNode* n2, const SMDS_MeshNode* nm):
+      SMESH_TLink( n1,n2 ), _mediumNode(nm), _nodeMove(0,0,0), _nbMoves(0) {
+      _faces.reserve(4);
+      //if ( MediumPos() != SMDS_TOP_3DSPACE )
+        _nodeMove = MediumPnt() - MiddlePnt();
+    }
+    void SetContinuesFaces() const;
+    const QFace* GetContinuesFace( const QFace* face ) const;
+    bool OnBoundary() const;
+    gp_XYZ MiddlePnt() const { return ( XYZ( node1() ) + XYZ( node2() )) / 2.; }
+    gp_XYZ MediumPnt() const { return XYZ( _mediumNode ); }
+
+    SMDS_TypeOfPosition MediumPos() const
+    { return _mediumNode->GetPosition()->GetTypeOfPosition(); }
+    SMDS_TypeOfPosition EndPos(bool isSecond) const
+    { return (isSecond ? node2() : node1())->GetPosition()->GetTypeOfPosition(); }
+    const SMDS_MeshNode* EndPosNode(SMDS_TypeOfPosition pos) const
+    { return EndPos(0) == pos ? node1() : EndPos(1) == pos ? node2() : 0; }
+
+    void Move(const gp_Vec& move, bool sum=false) const
+    { _nodeMove += move; _nbMoves += sum ? (_nbMoves==0) : 1; }
+    gp_XYZ Move() const { return _nodeMove.XYZ() / _nbMoves; }
+    bool IsMoved() const { return (_nbMoves > 0 && !IsStraight()); }
+    bool IsStraight() const
+    { return isStraightLink( (XYZ(node1())-XYZ(node2())).SquareModulus(),
+                             _nodeMove.SquareMagnitude());
+    }
+    bool operator<(const QLink& other) const {
+      return (node1()->GetID() == other.node1()->GetID() ?
+              node2()->GetID() < other.node2()->GetID() :
+              node1()->GetID() < other.node1()->GetID());
+    }
+    struct PtrComparator {
+      bool operator() (const QLink* l1, const QLink* l2 ) const { return *l1 < *l2; }
+    };
+  };
+  // ---------------------------------------------------------
+  /*!
+   * \brief Link in the chain of links; it connects two faces
+   */
+  struct TChainLink
+  {
+    const QLink*         _qlink;
+    mutable const QFace* _qfaces[2];
+
+    TChainLink(const QLink* qlink=0):_qlink(qlink) {
+      _qfaces[0] = _qfaces[1] = 0;
+    }
+    void SetFace(const QFace* face) const { int iF = _qfaces[0] ? 1 : 0; _qfaces[iF]=face; }
+
+    bool IsBoundary() const { return !_qfaces[1]; }
+
+    void RemoveFace( const QFace* face ) const
+    { _qfaces[(face == _qfaces[1])] = 0; if (!_qfaces[0]) std::swap(_qfaces[0],_qfaces[1]); }
+
+    const QFace* NextFace( const QFace* f ) const
+    { return _qfaces[0]==f ? _qfaces[1] : _qfaces[0]; }
+
+    const SMDS_MeshNode* NextNode( const SMDS_MeshNode* n ) const
+    { return n == _qlink->node1() ? _qlink->node2() : _qlink->node1(); }
+
+    bool operator<(const TChainLink& other) const { return *_qlink < *other._qlink; }
+
+    operator bool() const { return (_qlink); }
+
+    const QLink* operator->() const { return _qlink; }
+
+    gp_Vec Normal() const;
+  };
+  // --------------------------------------------------------------------
+  typedef list< TChainLink > TChain;
+  typedef set < TChainLink > TLinkSet;
+  typedef TLinkSet::const_iterator TLinkInSet;
+
+  const int theFirstStep = 5;
+
+  enum { ERR_OK, ERR_TRI, ERR_PRISM, ERR_UNKNOWN }; // errors of QFace::GetLinkChain()
+  // --------------------------------------------------------------------
+  /*!
+   * \brief Face shared by two volumes and bound by QLinks
+   */
+  struct QFace: public TIDSortedElemSet
+  {
+    mutable const SMDS_MeshElement* _volumes[2];
+    mutable vector< const QLink* >  _sides;
+    mutable bool                    _sideIsAdded[4]; // added in chain of links
+    gp_Vec                          _normal;
+#ifdef _DEBUG_
+    mutable const SMDS_MeshElement* _face;
+#endif
+
+    QFace( const vector< const QLink*>& links, const SMDS_MeshElement* face=0 );
+
+    void SetVolume(const SMDS_MeshElement* v) const { _volumes[ _volumes[0] ? 1 : 0 ] = v; }
+
+    int NbVolumes() const { return !_volumes[0] ? 0 : !_volumes[1] ? 1 : 2; }
+
+    void AddSelfToLinks() const {
+      for ( int i = 0; i < _sides.size(); ++i )
+        _sides[i]->_faces.push_back( this );
+    }
+    int LinkIndex( const QLink* side ) const {
+      for (int i=0; i<_sides.size(); ++i ) if ( _sides[i] == side ) return i;
+      return -1;
+    }
+    bool GetLinkChain( int iSide, TChain& chain, SMDS_TypeOfPosition pos, int& err) const;
+
+    bool GetLinkChain( TChainLink& link, TChain& chain, SMDS_TypeOfPosition pos, int& err) const
+    {
+      int i = LinkIndex( link._qlink );
+      if ( i < 0 ) return true;
+      _sideIsAdded[i] = true;
+      link.SetFace( this );
+      // continue from opposite link
+      return GetLinkChain( (i+2)%_sides.size(), chain, pos, err );
+    }
+    bool IsBoundary() const { return !_volumes[1]; }
+
+    bool Contains( const SMDS_MeshNode* node ) const { return count(node); }
+
+    TLinkInSet GetBoundaryLink( const TLinkSet&      links,
+                                const TChainLink&    avoidLink,
+                                TLinkInSet *         notBoundaryLink = 0,
+                                const SMDS_MeshNode* nodeToContain = 0,
+                                bool *               isAdjacentUsed = 0,
+                                int                  nbRecursionsLeft = -1) const;
+
+    TLinkInSet GetLinkByNode( const TLinkSet&      links,
+                              const TChainLink&    avoidLink,
+                              const SMDS_MeshNode* nodeToContain) const;
+
+    const SMDS_MeshNode* GetNodeInFace() const {
+      for ( int iL = 0; iL < _sides.size(); ++iL )
+        if ( _sides[iL]->MediumPos() == SMDS_TOP_FACE ) return _sides[iL]->_mediumNode;
+      return 0;
+    }
+
+    gp_Vec LinkNorm(const int i, SMESH_MesherHelper* theFaceHelper=0) const;
+
+    double MoveByBoundary( const TChainLink&   theLink,
+                           const gp_Vec&       theRefVec,
+                           const TLinkSet&     theLinks,
+                           SMESH_MesherHelper* theFaceHelper=0,
+                           const double        thePrevLen=0,
+                           const int           theStep=theFirstStep,
+                           gp_Vec*             theLinkNorm=0,
+                           double              theSign=1.0) const;
+  };
+
+  //================================================================================
+  /*!
+   * \brief Dump QLink and QFace
+   */
+  ostream& operator << (ostream& out, const QLink& l)
+  {
+    out <<"QLink nodes: "
+        << l.node1()->GetID() << " - "
+        << l._mediumNode->GetID() << " - "
+        << l.node2()->GetID() << endl;
+    return out;
+  }
+  ostream& operator << (ostream& out, const QFace& f)
+  {
+    out <<"QFace nodes: "/*<< &f << "  "*/;
+    for ( TIDSortedElemSet::const_iterator n = f.begin(); n != f.end(); ++n )
+      out << (*n)->GetID() << " ";
+    out << " \tvolumes: "
+        << (f._volumes[0] ? f._volumes[0]->GetID() : 0) << " "
+        << (f._volumes[1] ? f._volumes[1]->GetID() : 0);
+    out << "  \tNormal: "<< f._normal.X() <<", "<<f._normal.Y() <<", "<<f._normal.Z() << endl;
+    return out;
+  }
+
+  //================================================================================
+  /*!
+   * \brief Construct QFace from QLinks 
+   */
+  //================================================================================
+
+  QFace::QFace( const vector< const QLink*>& links, const SMDS_MeshElement* face )
+  {
+    _volumes[0] = _volumes[1] = 0;
+    _sides = links;
+    _sideIsAdded[0]=_sideIsAdded[1]=_sideIsAdded[2]=_sideIsAdded[3]=false;
+    _normal.SetCoord(0,0,0);
+    for ( int i = 1; i < _sides.size(); ++i ) {
+      const QLink *l1 = _sides[i-1], *l2 = _sides[i];
+      insert( l1->node1() ); insert( l1->node2() );
+      // compute normal
+      gp_Vec v1( XYZ( l1->node2()), XYZ( l1->node1()));
+      gp_Vec v2( XYZ( l2->node1()), XYZ( l2->node2()));
+      if ( l1->node1() != l2->node1() && l1->node2() != l2->node2() )
+        v1.Reverse(); 
+      _normal += v1 ^ v2;
+    }
+    double normSqSize = _normal.SquareMagnitude();
+    if ( normSqSize > numeric_limits<double>::min() )
+      _normal /= sqrt( normSqSize );
+    else
+      _normal.SetCoord(1e-33,0,0);
+
+#ifdef _DEBUG_
+    _face = face;
+#endif
+  }
+  //================================================================================
+  /*!
+   * \brief Make up a chain of links
+   *  \param iSide - link to add first
+   *  \param chain - chain to fill in
+   *  \param pos   - postion of medium nodes the links should have
+   *  \param error - out, specifies what is wrong
+   *  \retval bool - false if valid chain can't be built; "valid" means that links
+   *                 of the chain belongs to rectangles bounding hexahedrons
+   */
+  //================================================================================
+
+  bool QFace::GetLinkChain( int iSide, TChain& chain, SMDS_TypeOfPosition pos, int& error) const
+  {
+    if ( iSide >= _sides.size() ) // wrong argument iSide
+      return false;
+    if ( _sideIsAdded[ iSide ]) // already in chain
+      return true;
+
+    if ( _sides.size() != 4 ) { // triangle - visit all my continous faces
+      MSGBEG( *this );
+      TLinkSet links;
+      list< const QFace* > faces( 1, this );
+      while ( !faces.empty() ) {
+        const QFace* face = faces.front();
+        for ( int i = 0; i < face->_sides.size(); ++i ) {
+          if ( !face->_sideIsAdded[i] && face->_sides[i] ) {
+            face->_sideIsAdded[i] = true;
+            // find a face side in the chain
+            TLinkInSet chLink = links.insert( TChainLink(face->_sides[i])).first;
+//             TChain::iterator chLink = chain.begin();
+//             for ( ; chLink != chain.end(); ++chLink )
+//               if ( chLink->_qlink == face->_sides[i] )
+//                 break;
+//             if ( chLink == chain.end() )
+//               chLink = chain.insert( chain.begin(), TChainLink(face->_sides[i]));
+            // add a face to a chained link and put a continues face in the queue
+            chLink->SetFace( face );
+            if ( face->_sides[i]->MediumPos() >= pos )
+              if ( const QFace* contFace = face->_sides[i]->GetContinuesFace( face ))
+                faces.push_back( contFace );
+          }
+        }
+        faces.pop_front();
+      }
+      if ( error < ERR_TRI )
+        error = ERR_TRI;
+      chain.insert( chain.end(), links.begin(),links.end() );
+      return false;
+    }
+    _sideIsAdded[iSide] = true; // not to add this link to chain again
+    const QLink* link = _sides[iSide];
+    if ( !link)
+      return true;
+
+    // add link into chain
+    TChain::iterator chLink = chain.insert( chain.begin(), TChainLink(link));
+    chLink->SetFace( this );
+    MSGBEG( *this );
+
+    // propagate from quadrangle to neighbour faces
+    if ( link->MediumPos() >= pos ) {
+      int nbLinkFaces = link->_faces.size();
+      if ( nbLinkFaces == 4 || nbLinkFaces < 4 && link->OnBoundary()) {
+        // hexahedral mesh or boundary quadrangles - goto a continous face
+        if ( const QFace* f = link->GetContinuesFace( this ))
+          return f->GetLinkChain( *chLink, chain, pos, error );
+      }
+      else {
+        TChainLink chLink(link); // side face of prismatic mesh - visit all faces of iSide
+        for ( int i = 0; i < nbLinkFaces; ++i )
+          if ( link->_faces[i] )
+            link->_faces[i]->GetLinkChain( chLink, chain, pos, error );
+        if ( error < ERR_PRISM )
+          error = ERR_PRISM;
+        return false;
+      }
+    }
+    return true;
+  }
+
+  //================================================================================
+  /*!
+   * \brief Return a boundary link of the triangle face
+   *  \param links - set of all links
+   *  \param avoidLink - link not to return
+   *  \param notBoundaryLink - out, neither the returned link nor avoidLink
+   *  \param nodeToContain - node the returned link must contain; if provided, search
+   *                         also performed on adjacent faces
+   *  \param isAdjacentUsed - returns true if link is found in adjacent faces
+   *  \param nbRecursionsLeft - to limit recursion
+   */
+  //================================================================================
+
+  TLinkInSet QFace::GetBoundaryLink( const TLinkSet&      links,
+                                     const TChainLink&    avoidLink,
+                                     TLinkInSet *         notBoundaryLink,
+                                     const SMDS_MeshNode* nodeToContain,
+                                     bool *               isAdjacentUsed,
+                                     int                  nbRecursionsLeft) const
+  {
+    TLinkInSet linksEnd = links.end(), boundaryLink = linksEnd;
+
+    typedef list< pair< const QFace*, TLinkInSet > > TFaceLinkList;
+    TFaceLinkList adjacentFaces;
+
+    for ( int iL = 0; iL < _sides.size(); ++iL )
+    {
+      if ( avoidLink._qlink == _sides[iL] )
+        continue;
+      TLinkInSet link = links.find( _sides[iL] );
+      if ( link == linksEnd ) continue;
+      if ( (*link)->MediumPos() > SMDS_TOP_FACE )
+        continue; // We work on faces here, don't go inside a solid
+
+      // check link
+      if ( link->IsBoundary() ) {
+        if ( !nodeToContain ||
+             (*link)->node1() == nodeToContain ||
+             (*link)->node2() == nodeToContain )
+        {
+          boundaryLink = link;
+          if ( !notBoundaryLink ) break;
+        }
+      }
+      else if ( notBoundaryLink ) {
+        *notBoundaryLink = link;
+        if ( boundaryLink != linksEnd ) break;
+      }
+
+      if ( boundaryLink == linksEnd && nodeToContain ) // collect adjacent faces
+        if ( const QFace* adj = link->NextFace( this ))
+          if ( adj->Contains( nodeToContain ))
+            adjacentFaces.push_back( make_pair( adj, link ));
+    }
+
+    if ( isAdjacentUsed ) *isAdjacentUsed = false;
+    if ( boundaryLink == linksEnd && nodeToContain && nbRecursionsLeft) // check adjacent faces
+    {
+      if ( nbRecursionsLeft < 0 )
+        nbRecursionsLeft = nodeToContain->NbInverseElements();
+      TFaceLinkList::iterator adj = adjacentFaces.begin();
+      for ( ; boundaryLink == linksEnd && adj != adjacentFaces.end(); ++adj )
+        boundaryLink = adj->first->GetBoundaryLink( links, *(adj->second), 0, nodeToContain,
+                                                    isAdjacentUsed, nbRecursionsLeft-1);
+      if ( isAdjacentUsed ) *isAdjacentUsed = true;
+    }
+    return boundaryLink;
+  }
+  //================================================================================
+  /*!
+   * \brief Return a link ending at the given node but not avoidLink
+   */
+  //================================================================================
+
+  TLinkInSet QFace::GetLinkByNode( const TLinkSet&      links,
+                                   const TChainLink&    avoidLink,
+                                   const SMDS_MeshNode* nodeToContain) const
+  {
+    for ( int i = 0; i < _sides.size(); ++i )
+      if ( avoidLink._qlink != _sides[i] &&
+           (_sides[i]->node1() == nodeToContain || _sides[i]->node2() == nodeToContain ))
+        return links.find( _sides[ i ]);
+    return links.end();
+  }
+
+  //================================================================================
+  /*!
+   * \brief Return normal to the i-th side pointing outside the face
+   */
+  //================================================================================
+
+  gp_Vec QFace::LinkNorm(const int i, SMESH_MesherHelper* /*uvHelper*/) const
+  {
+    gp_Vec norm, vecOut;
+//     if ( uvHelper ) {
+//       TopoDS_Face face = TopoDS::Face( uvHelper->GetSubShape());
+//       const SMDS_MeshNode* inFaceNode = uvHelper->GetNodeUVneedInFaceNode() ? GetNodeInFace() : 0;
+//       gp_XY uv1 = uvHelper->GetNodeUV( face, _sides[i]->node1(), inFaceNode );
+//       gp_XY uv2 = uvHelper->GetNodeUV( face, _sides[i]->node2(), inFaceNode );
+//       norm.SetCoord( uv1.Y() - uv2.Y(), uv2.X() - uv1.X(), 0 );
+
+//       const QLink* otherLink = _sides[(i + 1) % _sides.size()];
+//       const SMDS_MeshNode* otherNode =
+//         otherLink->node1() == _sides[i]->node1() ? otherLink->node2() : otherLink->node1();
+//       gp_XY pIn = uvHelper->GetNodeUV( face, otherNode, inFaceNode );
+//       vecOut.SetCoord( uv1.X() - pIn.X(), uv1.Y() - pIn.Y(), 0 );
+//     }
+//     else {
+      norm = _normal ^ gp_Vec( XYZ(_sides[i]->node1()), XYZ(_sides[i]->node2()));
+      gp_XYZ pIn = ( XYZ( _sides[0]->node1() ) +
+                     XYZ( _sides[0]->node2() ) +
+                     XYZ( _sides[1]->node1() )) / 3.;
+      vecOut.SetXYZ( _sides[i]->MiddlePnt() - pIn );
+      //}
+    if ( norm * vecOut < 0 )
+      norm.Reverse();
+    double mag2 = norm.SquareMagnitude();
+    if ( mag2 > numeric_limits<double>::min() )
+      norm /= sqrt( mag2 );
+    return norm;
+  }
+  //================================================================================
+  /*!
+   * \brief Move medium node of theLink according to its distance from boundary
+   *  \param theLink - link to fix
+   *  \param theRefVec - movement of boundary
+   *  \param theLinks - all adjacent links of continous triangles
+   *  \param theFaceHelper - helper is not used so far
+   *  \param thePrevLen - distance from the boundary
+   *  \param theStep - number of steps till movement propagation limit
+   *  \param theLinkNorm - out normal to theLink
+   *  \param theSign - 1 or -1 depending on movement of boundary
+   *  \retval double - distance from boundary to propagation limit or other boundary
+   */
+  //================================================================================
+
+  double QFace::MoveByBoundary( const TChainLink&   theLink,
+                                const gp_Vec&       theRefVec,
+                                const TLinkSet&     theLinks,
+                                SMESH_MesherHelper* theFaceHelper,
+                                const double        thePrevLen,
+                                const int           theStep,
+                                gp_Vec*             theLinkNorm,
+                                double              theSign) const
+  {
+    if ( !theStep )
+      return thePrevLen; // propagation limit reached
+
+    int iL; // index of theLink
+    for ( iL = 0; iL < _sides.size(); ++iL )
+      if ( theLink._qlink == _sides[ iL ])
+        break;
+
+    MSG(string(theStep,'.')<<" Ref( "<<theRefVec.X()<<","<<theRefVec.Y()<<","<<theRefVec.Z()<<" )"
+        <<" thePrevLen " << thePrevLen);
+    MSG(string(theStep,'.')<<" "<<*theLink._qlink);
+
+    gp_Vec linkNorm = -LinkNorm( iL/*, theFaceHelper*/ ); // normal to theLink
+    double refProj = theRefVec * linkNorm; // project movement vector to normal of theLink
+    if ( theStep == theFirstStep )
+      theSign = refProj < 0. ? -1. : 1.;
+    else if ( theSign * refProj < 0.4 * theRefVec.Magnitude())
+      return thePrevLen; // to propagate movement forward only, not in side dir or backward
+
+    int iL1 = (iL + 1) % 3, iL2 = (iL + 2) % 3; // indices of the two other links of triangle
+    TLinkInSet link1 = theLinks.find( _sides[iL1] );
+    TLinkInSet link2 = theLinks.find( _sides[iL2] );
+    if ( link1 == theLinks.end() || link2 == theLinks.end() )
+      return thePrevLen;
+    const QFace* f1 = link1->NextFace( this ); // adjacent faces
+    const QFace* f2 = link2->NextFace( this );
+
+    // propagate to adjacent faces till limit step or boundary
+    double len1 = thePrevLen + (theLink->MiddlePnt() - _sides[iL1]->MiddlePnt()).Modulus();
+    double len2 = thePrevLen + (theLink->MiddlePnt() - _sides[iL2]->MiddlePnt()).Modulus();
+    gp_Vec linkDir1(0,0,0); // initialize to avoid valgrind error ("Conditional jump...")
+    gp_Vec linkDir2(0,0,0);
+    try {
+      OCC_CATCH_SIGNALS;
+      if ( f1 )
+        len1 = f1->MoveByBoundary
+          ( *link1, theRefVec, theLinks, theFaceHelper, len1, theStep-1, &linkDir1, theSign);
+      else
+        linkDir1 = LinkNorm( iL1/*, theFaceHelper*/ );
+    } catch (...) {
+      MSG( " --------------- EXCEPTION");
+      return thePrevLen;
+    }
+    try {
+      OCC_CATCH_SIGNALS;
+      if ( f2 )
+        len2 = f2->MoveByBoundary
+          ( *link2, theRefVec, theLinks, theFaceHelper, len2, theStep-1, &linkDir2, theSign);
+      else
+        linkDir2 = LinkNorm( iL2/*, theFaceHelper*/ );
+    } catch (...) {
+      MSG( " --------------- EXCEPTION");
+      return thePrevLen;
+    }
+
+    double fullLen = 0;
+    if ( theStep != theFirstStep )
+    {
+      // choose chain length by direction of propagation most codirected with theRefVec
+      bool choose1 = ( theRefVec * linkDir1 * theSign > theRefVec * linkDir2 * theSign );
+      fullLen = choose1 ? len1 : len2;
+      double r = thePrevLen / fullLen;
+
+      gp_Vec move = linkNorm * refProj * ( 1 - r );
+      theLink->Move( move, true );
+
+      MSG(string(theStep,'.')<<" Move "<< theLink->_mediumNode->GetID()<<
+          " by " << refProj * ( 1 - r ) << " following " <<
+          (choose1 ? *link1->_qlink : *link2->_qlink));
+
+      if ( theLinkNorm ) *theLinkNorm = linkNorm;
+    }
+    return fullLen;
+  }
+
+  //================================================================================
+  /*!
+   * \brief Find pairs of continues faces 
+   */
+  //================================================================================
+
+  void QLink::SetContinuesFaces() const
+  {
+    //       x0         x - QLink, [-|] - QFace, v - volume
+    //   v0  |   v1   
+    //       |          Between _faces of link x2 two vertical faces are continues
+    // x1----x2-----x3  and two horizontal faces are continues. We set vertical faces
+    //       |          to _faces[0] and _faces[1] and horizontal faces to
+    //   v2  |   v3     _faces[2] and _faces[3] (or vise versa).
+    //       x4
+
+    if ( _faces.empty() )
+      return;
+    int iFaceCont = -1;
+    for ( int iF = 1; iFaceCont < 0 && iF < _faces.size(); ++iF )
+    {
+      // look for a face bounding none of volumes bound by _faces[0]
+      bool sameVol = false;
+      int nbVol = _faces[iF]->NbVolumes();
+      for ( int iV = 0; !sameVol && iV < nbVol; ++iV )
+        sameVol = ( _faces[iF]->_volumes[iV] == _faces[0]->_volumes[0] ||
+                    _faces[iF]->_volumes[iV] == _faces[0]->_volumes[1]);
+      if ( !sameVol )
+        iFaceCont = iF;
+    }
+    if ( iFaceCont > 0 ) // continues faces found, set one by the other
+    {
+      if ( iFaceCont != 1 )
+        std::swap( _faces[1], _faces[iFaceCont] );
+    }
+    else if ( _faces.size() > 1 ) // not found, set NULL by the first face
+    {
+      _faces.insert( ++_faces.begin(), 0 );
+    }
+  }
+  //================================================================================
+  /*!
+   * \brief Return a face continues to the given one
+   */
+  //================================================================================
+
+  const QFace* QLink::GetContinuesFace( const QFace* face ) const
+  {
+    for ( int i = 0; i < _faces.size(); ++i ) {
+      if ( _faces[i] == face ) {
+        int iF = i < 2 ? 1-i : 5-i;
+        return iF < _faces.size() ? _faces[iF] : 0;
+      }
+    }
+    return 0;
+  }
+  //================================================================================
+  /*!
+   * \brief True if link is on mesh boundary
+   */
+  //================================================================================
+
+  bool QLink::OnBoundary() const
+  {
+    for ( int i = 0; i < _faces.size(); ++i )
+      if (_faces[i] && _faces[i]->IsBoundary()) return true;
+    return false;
+  }
+  //================================================================================
+  /*!
+   * \brief Return normal of link of the chain
+   */
+  //================================================================================
+
+  gp_Vec TChainLink::Normal() const {
+    gp_Vec norm;
+    if (_qfaces[0]) norm  = _qfaces[0]->_normal;
+    if (_qfaces[1]) norm += _qfaces[1]->_normal;
+    return norm;
+  }
+  //================================================================================
+  /*!
+   * \brief Move medium nodes of vertical links of pentahedrons adjacent by side faces
+   */
+  //================================================================================
+
+  void fixPrism( TChain& allLinks )
+  {
+    // separate boundary links from internal ones
+    typedef set<const QLink*/*, QLink::PtrComparator*/> QLinkSet;
+    QLinkSet interLinks, bndLinks1, bndLink2;
+
+    bool isCurved = false;
+    for ( TChain::iterator lnk = allLinks.begin(); lnk != allLinks.end(); ++lnk ) {
+      if ( (*lnk)->OnBoundary() )
+        bndLinks1.insert( lnk->_qlink );
+      else
+        interLinks.insert( lnk->_qlink );
+      isCurved = isCurved || !(*lnk)->IsStraight();
+    }
+    if ( !isCurved )
+      return; // no need to move
+
+    QLinkSet *curBndLinks = &bndLinks1, *newBndLinks = &bndLink2;
+
+    while ( !interLinks.empty() && !curBndLinks->empty() )
+    {
+      // propagate movement from boundary links to connected internal links
+      QLinkSet::iterator bnd = curBndLinks->begin(), bndEnd = curBndLinks->end();
+      for ( ; bnd != bndEnd; ++bnd )
+      {
+        const QLink* bndLink = *bnd;
+        for ( int i = 0; i < bndLink->_faces.size(); ++i ) // loop on faces of bndLink
+        {
+          const QFace* face = bndLink->_faces[i]; // quadrange lateral face of a prism
+          if ( !face ) continue;
+          // find and move internal link opposite to bndLink within the face
+          int interInd = ( face->LinkIndex( bndLink ) + 2 ) % face->_sides.size();
+          const QLink* interLink = face->_sides[ interInd ];
+          QLinkSet::iterator pInterLink = interLinks.find( interLink );
+          if ( pInterLink == interLinks.end() ) continue; // not internal link
+          interLink->Move( bndLink->_nodeMove );
+          // treated internal links become new boundary ones
+          interLinks. erase( pInterLink );
+          newBndLinks->insert( interLink );
+        }
+      }
+      curBndLinks->clear();
+      std::swap( curBndLinks, newBndLinks );
+    }
+  }
+
+  //================================================================================
+  /*!
+   * \brief Fix links of continues triangles near curved boundary
+   */
+  //================================================================================
+
+  void fixTriaNearBoundary( TChain & allLinks, SMESH_MesherHelper& /*helper*/)
+  {
+    if ( allLinks.empty() ) return;
+
+    TLinkSet linkSet( allLinks.begin(), allLinks.end());
+    TLinkInSet linkIt = linkSet.begin(), linksEnd = linkSet.end();
+
+    // move in 2d if we are on geom face
+//     TopoDS_Face face;
+//     TopLoc_Location loc;
+//     SMESH_MesherHelper faceHelper( *helper.GetMesh());
+//     while ( linkIt->IsBoundary()) ++linkIt;
+//     if ( linkIt == linksEnd ) return;
+//     if ( (*linkIt)->MediumPos() == SMDS_TOP_FACE ) {
+//       bool checkPos = true;
+//       TopoDS_Shape f = helper.GetSubShapeByNode( (*linkIt)->_mediumNode, helper.GetMeshDS() );
+//       if ( !f.IsNull() && f.ShapeType() == TopAbs_FACE ) {
+//         face = TopoDS::Face( f );
+//         helper.GetNodeUV( face, (*linkIt)->_mediumNode, 0, &checkPos);
+//         if (checkPos)
+//           face.Nullify();
+//         else
+//           faceHelper.SetSubShape( face );
+//       }
+//     }
+    for ( linkIt = linkSet.begin(); linkIt != linksEnd; ++linkIt)
+    {
+      if ( linkIt->IsBoundary() && !(*linkIt)->IsStraight() && linkIt->_qfaces[0])
+      {
+//         if ( !face.IsNull() ) {
+//           const SMDS_MeshNode* inFaceNode =
+//             faceHelper.GetNodeUVneedInFaceNode() ? linkIt->_qfaces[0]->GetNodeInFace() : 0;
+//           gp_XY uvm = helper.GetNodeUV( face, (*linkIt)->_mediumNode, inFaceNode );
+//           gp_XY uv1 = helper.GetNodeUV( face, (*linkIt)->node1(), inFaceNode);
+//           gp_XY uv2 = helper.GetNodeUV( face, (*linkIt)->node2(), inFaceNode);
+//           gp_XY uvMove = uvm - helper.GetMiddleUV( BRep_Tool::Surface(face,loc), uv1, uv2);
+//           gp_Vec move( uvMove.X(), uvMove.Y(), 0 );
+//           linkIt->_qfaces[0]->MoveByBoundary( *linkIt, move, linkSet, &faceHelper );
+//         }
+//         else {
+          linkIt->_qfaces[0]->MoveByBoundary( *linkIt, (*linkIt)->_nodeMove, linkSet );
+          //}
+      }
+    }
+  }
+
+  //================================================================================
+  /*!
+   * \brief Detect rectangular structure of links and build chains from them
+   */
+  //================================================================================
+
+  enum TSplitTriaResult {
+    _OK, _NO_CORNERS, _FEW_ROWS, _MANY_ROWS, _NO_SIDELINK, _BAD_MIDQUAD, _NOT_RECT,
+    _NO_MIDQUAD, _NO_UPTRIA, _BAD_SET_SIZE, _BAD_CORNER, _BAD_START, _NO_BOTLINK, _TWISTED_CHAIN };
+
+  TSplitTriaResult splitTrianglesIntoChains( TChain &            allLinks,
+                                             vector< TChain> &   resultChains,
+                                             SMDS_TypeOfPosition pos )
+  {
+    // put links in the set and evalute number of result chains by number of boundary links
+    TLinkSet linkSet;
+    int nbBndLinks = 0;
+    for ( TChain::iterator lnk = allLinks.begin(); lnk != allLinks.end(); ++lnk ) {
+      linkSet.insert( *lnk );
+      nbBndLinks += lnk->IsBoundary();
+    }
+    resultChains.clear();
+    resultChains.reserve( nbBndLinks / 2 );
+
+    TLinkInSet linkIt, linksEnd = linkSet.end();
+
+    // find a boundary link with corner node; corner node has position pos-2
+    // i.e. SMDS_TOP_VERTEX for links on faces and SMDS_TOP_EDGE for
+    // links in volume
+    SMDS_TypeOfPosition cornerPos = SMDS_TypeOfPosition(pos-2);
+    const SMDS_MeshNode* corner = 0;
+    for ( linkIt = linkSet.begin(); linkIt != linksEnd; ++linkIt )
+      if ( linkIt->IsBoundary() && (corner = (*linkIt)->EndPosNode(cornerPos)))
+        break;
+    if ( !corner)
+      return _NO_CORNERS;
+
+    TLinkInSet           startLink = linkIt;
+    const SMDS_MeshNode* startCorner = corner;
+    vector< TChain* >    rowChains;
+    int iCol = 0;
+
+    while ( startLink != linksEnd) // loop on columns
+    {
+      // We suppose we have a rectangular structure like shown here. We have found a
+      //               corner of the rectangle (startCorner) and a boundary link sharing  
+      //    |/  |/  |  the startCorner (startLink). We are going to loop on rows of the   
+      //  --o---o---o  structure making several chains at once. One chain (columnChain)   
+      //    |\  |  /|  starts at startLink and continues upward (we look at the structure 
+      //  \ | \ | / |  from such point that startLink is on the bottom of the structure). 
+      //   \|  \|/  |  While going upward we also fill horizontal chains (rowChains) we   
+      //  --o---o---o  encounter.                                                         
+      //   /|\  |\  |
+      //  / | \ | \ |  startCorner
+      //    |  \|  \|,'
+      //  --o---o---o
+      //          `.startLink
+
+      if ( resultChains.size() == nbBndLinks / 2 )
+        return _NOT_RECT;
+      resultChains.push_back( TChain() );
+      TChain& columnChain = resultChains.back();
+
+      TLinkInSet botLink = startLink; // current horizontal link to go up from
+      corner = startCorner; // current corner the botLink ends at
+      int iRow = 0;
+      while ( botLink != linksEnd ) // loop on rows
+      {
+        // add botLink to the columnChain
+        columnChain.push_back( *botLink );
+
+        const QFace* botTria = botLink->_qfaces[0]; // bottom triangle bound by botLink
+        if ( !botTria )
+        { // the column ends
+          if ( botLink == startLink )
+            return _TWISTED_CHAIN; // issue 0020951
+          linkSet.erase( botLink );
+          if ( iRow != rowChains.size() )
+            return _FEW_ROWS; // different nb of rows in columns
+          break;
+        }
+        // find the link dividing the quadrangle (midQuadLink) and vertical boundary
+        // link ending at <corner> (sideLink); there are two cases:
+        // 1) midQuadLink does not end at <corner>, then we easily find it by botTria,
+        //   since midQuadLink is not at boundary while sideLink is.
+        // 2) midQuadLink ends at <corner>
+        bool isCase2;
+        TLinkInSet midQuadLink = linksEnd;
+        TLinkInSet sideLink = botTria->GetBoundaryLink( linkSet, *botLink, &midQuadLink,
+                                                        corner, &isCase2 );
+        if ( isCase2 ) { // find midQuadLink among links of botTria
+          midQuadLink = botTria->GetLinkByNode( linkSet, *botLink, corner );
+          if ( midQuadLink->IsBoundary() )
+            return _BAD_MIDQUAD;
+        }
+        if ( sideLink == linksEnd || midQuadLink == linksEnd || sideLink == midQuadLink )
+          return sideLink == linksEnd ? _NO_SIDELINK : _NO_MIDQUAD;
+
+        // fill chains
+        columnChain.push_back( *midQuadLink );
+        if ( iRow >= rowChains.size() ) {
+          if ( iCol > 0 )
+            return _MANY_ROWS; // different nb of rows in columns
+          if ( resultChains.size() == nbBndLinks / 2 )
+            return _NOT_RECT;
+          resultChains.push_back( TChain() );
+          rowChains.push_back( & resultChains.back() );
+        }
+        rowChains[iRow]->push_back( *sideLink );
+        rowChains[iRow]->push_back( *midQuadLink );
+
+        const QFace* upTria = midQuadLink->NextFace( botTria ); // upper tria of the rectangle
+        if ( !upTria)
+          return _NO_UPTRIA;
+        if ( iRow == 0 ) {
+          // prepare startCorner and startLink for the next column
+          startCorner = startLink->NextNode( startCorner );
+          if (isCase2)
+            startLink = botTria->GetBoundaryLink( linkSet, *botLink, 0, startCorner );
+          else
+            startLink = upTria->GetBoundaryLink( linkSet, *midQuadLink, 0, startCorner );
+          // check if no more columns remains
+          if ( startLink != linksEnd ) {
+            const SMDS_MeshNode* botNode = startLink->NextNode( startCorner );
+            if ( (isCase2 ? botTria : upTria)->Contains( botNode ))
+              startLink = linksEnd; // startLink bounds upTria or botTria
+            else if ( startLink == botLink || startLink == midQuadLink || startLink == sideLink )
+              return _BAD_START;
+          }
+        }
+        // find bottom link and corner for the next row
+        corner = sideLink->NextNode( corner );
+        // next bottom link ends at the new corner
+        linkSet.erase( botLink );
+        botLink = upTria->GetLinkByNode( linkSet, (isCase2 ? *sideLink : *midQuadLink), corner );
+        if ( botLink == linksEnd || botLink == midQuadLink || botLink == sideLink)
+          return _NO_BOTLINK;
+        if ( midQuadLink == startLink || sideLink == startLink )
+          return _TWISTED_CHAIN; // issue 0020951
+        linkSet.erase( midQuadLink );
+        linkSet.erase( sideLink );
+
+        // make faces neighboring the found ones be boundary
+        if ( startLink != linksEnd ) {
+          const QFace* tria = isCase2 ? botTria : upTria;
+          for ( int iL = 0; iL < 3; ++iL ) {
+            linkIt = linkSet.find( tria->_sides[iL] );
+            if ( linkIt != linksEnd )
+              linkIt->RemoveFace( tria );
+          }
+        }
+        if ( botLink->_qfaces[0] == upTria || botLink->_qfaces[1] == upTria )
+          botLink->RemoveFace( upTria ); // make next botTria first in vector
+
+        iRow++;
+      } // loop on rows
+
+      iCol++;
+    }
+    // In the linkSet, there must remain the last links of rowChains; add them
+    if ( linkSet.size() != rowChains.size() )
+      return _BAD_SET_SIZE;
+    for ( int iRow = 0; iRow < rowChains.size(); ++iRow ) {
+      // find the link (startLink) ending at startCorner
+      corner = 0;
+      for ( startLink = linkSet.begin(); startLink != linksEnd; ++startLink ) {
+        if ( (*startLink)->node1() == startCorner ) {
+          corner = (*startLink)->node2(); break;
+        }
+        else if ( (*startLink)->node2() == startCorner) {
+          corner = (*startLink)->node1(); break;
+        }
+      }
+      if ( startLink == linksEnd )
+        return _BAD_CORNER;
+      rowChains[ iRow ]->push_back( *startLink );
+      linkSet.erase( startLink );
+      startCorner = corner;
+    }
+
+    return _OK;
+  }
+} //namespace
+
+//=======================================================================
+/*!
+ * \brief Move medium nodes of faces and volumes to fix distorted elements
+ * \param volumeOnly - to fix nodes on faces or not, if the shape is solid
+ * 
+ * Issue 0020307: EDF 992 SMESH : Linea/Quadratic with Medium Node on Geometry
+ */
+//=======================================================================
+
+void SMESH_MesherHelper::FixQuadraticElements(bool volumeOnly)
+{
+  // 0. Apply algorithm to solids or geom faces
+  // ----------------------------------------------
+  if ( myShape.IsNull() ) {
+    if ( !myMesh->HasShapeToMesh() ) return;
+    SetSubShape( myMesh->GetShapeToMesh() );
+
+#ifdef _DEBUG_
+    int nbSolids = 0;
+    TopTools_IndexedMapOfShape solids;
+    TopExp::MapShapes(myShape,TopAbs_SOLID,solids);
+    nbSolids = solids.Extent();
+#endif
+    TopTools_MapOfShape faces; // faces not in solid or in not meshed solid
+    for ( TopExp_Explorer f(myShape,TopAbs_FACE,TopAbs_SOLID); f.More(); f.Next() ) {
+      faces.Add( f.Current() ); // not in solid
+    }
+    for ( TopExp_Explorer s(myShape,TopAbs_SOLID); s.More(); s.Next() ) {
+      if ( myMesh->GetSubMesh( s.Current() )->IsEmpty() ) { // get faces of solid
+        for ( TopExp_Explorer f( s.Current(), TopAbs_FACE); f.More(); f.Next() )
+          faces.Add( f.Current() ); // in not meshed solid
+      }
+      else { // fix nodes in the solid and its faces
+        MSG("FIX SOLID " << nbSolids-- << " #" << GetMeshDS()->ShapeToIndex(s.Current()));
+        SMESH_MesherHelper h(*myMesh);
+        h.SetSubShape( s.Current() );
+        h.FixQuadraticElements(false);
+      }
+    }
+    // fix nodes on geom faces
+#ifdef _DEBUG_
+    int nbfaces = faces.Extent();
+#endif
+    for ( TopTools_MapIteratorOfMapOfShape fIt( faces ); fIt.More(); fIt.Next() ) {
+      MSG("FIX FACE " << nbfaces-- << " #" << GetMeshDS()->ShapeToIndex(fIt.Key()));
+      SMESH_MesherHelper h(*myMesh);
+      h.SetSubShape( fIt.Key() );
+      h.FixQuadraticElements(true);
+    }
+    //perf_print_all_meters(1);
+    return;
+  }
+
+  // 1. Find out type of elements and get iterator on them
+  // ---------------------------------------------------
+
+  SMDS_ElemIteratorPtr elemIt;
+  SMDSAbs_ElementType elemType = SMDSAbs_All;
+
+  SMESH_subMesh* submesh = myMesh->GetSubMeshContaining( myShapeID );
+  if ( !submesh )
+    return;
+  if ( SMESHDS_SubMesh* smDS = submesh->GetSubMeshDS() ) {
+    elemIt = smDS->GetElements();
+    if ( elemIt->more() ) {
+      elemType = elemIt->next()->GetType();
+      elemIt = smDS->GetElements();
+    }
+  }
+  if ( !elemIt || !elemIt->more() || elemType < SMDSAbs_Face )
+    return;
+
+  // 2. Fill in auxiliary data structures
+  // ----------------------------------
+
+  set< QLink > links;
+  set< QFace > faces;
+  set< QLink >::iterator pLink;
+  set< QFace >::iterator pFace;
+
+  bool isCurved = false;
+  //bool hasRectFaces = false;
+  set<int> nbElemNodeSet;
+
+  if ( elemType == SMDSAbs_Volume )
+  {
+    SMDS_VolumeTool volTool;
+    while ( elemIt->more() ) // loop on volumes
+    {
+      const SMDS_MeshElement* vol = elemIt->next();
+      if ( !vol->IsQuadratic() || !volTool.Set( vol ))
+        return; //continue;
+      for ( int iF = 0; iF < volTool.NbFaces(); ++iF ) // loop on faces of volume
+      {
+        int nbN = volTool.NbFaceNodes( iF );
+        nbElemNodeSet.insert( nbN );
+        const SMDS_MeshNode** faceNodes = volTool.GetFaceNodes( iF );
+        vector< const QLink* > faceLinks( nbN/2 );
+        for ( int iN = 0; iN < nbN; iN += 2 ) // loop on links of a face
+        {
+          // store QLink
+          QLink link( faceNodes[iN], faceNodes[iN+2], faceNodes[iN+1] );
+          pLink = links.insert( link ).first;
+          faceLinks[ iN/2 ] = & *pLink;
+          if ( !isCurved )
+            isCurved = !link.IsStraight();
+          if ( link.MediumPos() == SMDS_TOP_3DSPACE && !link.IsStraight() )
+            return; // already fixed
+        }
+        // store QFace
+        pFace = faces.insert( QFace( faceLinks )).first;
+        if ( pFace->NbVolumes() == 0 )
+          pFace->AddSelfToLinks();
+        pFace->SetVolume( vol );
+//         hasRectFaces = hasRectFaces ||
+//           ( volTool.GetVolumeType() == SMDS_VolumeTool::QUAD_HEXA ||
+//             volTool.GetVolumeType() == SMDS_VolumeTool::QUAD_PENTA );
+#ifdef _DEBUG_
+        if ( nbN == 6 )
+          pFace->_face = GetMeshDS()->FindFace(faceNodes[0],faceNodes[2],faceNodes[4]);
+        else
+          pFace->_face = GetMeshDS()->FindFace(faceNodes[0],faceNodes[2],
+                                               faceNodes[4],faceNodes[6] );
+#endif
+      }
+    }
+    set< QLink >::iterator pLink = links.begin();
+    for ( ; pLink != links.end(); ++pLink )
+      pLink->SetContinuesFaces();
+  }
+  else
+  {
+    while ( elemIt->more() ) // loop on faces
+    {
+      const SMDS_MeshElement* face = elemIt->next();
+      if ( !face->IsQuadratic() )
+        continue;
+      nbElemNodeSet.insert( face->NbNodes() );
+      int nbN = face->NbNodes()/2;
+      vector< const QLink* > faceLinks( nbN );
+      for ( int iN = 0; iN < nbN; ++iN ) // loop on links of a face
+      {
+        // store QLink
+        QLink link( face->GetNode(iN), face->GetNode((iN+1)%nbN), face->GetNode(iN+nbN) );
+        pLink = links.insert( link ).first;
+        faceLinks[ iN ] = & *pLink;
+        if ( !isCurved )
+          isCurved = !link.IsStraight();
+      }
+      // store QFace
+      pFace = faces.insert( QFace( faceLinks )).first;
+      pFace->AddSelfToLinks();
+      //hasRectFaces = ( hasRectFaces || nbN == 4 );
+    }
+  }
+  if ( !isCurved )
+    return; // no curved edges of faces
+
+  // 3. Compute displacement of medium nodes
+  // -------------------------------------
+
+  // two loops on faces: the first is to treat boundary links, the second is for internal ones
+  TopLoc_Location loc;
+  // not treat boundary of volumic submesh
+  int isInside = ( elemType == SMDSAbs_Volume && volumeOnly ) ? 1 : 0;
+  for ( ; isInside < 2; ++isInside ) {
+    MSG( "--------------- LOOP (inside=" << isInside << ") ------------------");
+    SMDS_TypeOfPosition pos = isInside ? SMDS_TOP_3DSPACE : SMDS_TOP_FACE;
+    SMDS_TypeOfPosition bndPos = isInside ? SMDS_TOP_FACE : SMDS_TOP_EDGE;
+
+    for ( pFace = faces.begin(); pFace != faces.end(); ++pFace ) {
+      if ( bool(isInside) == pFace->IsBoundary() )
+        continue;
+      for ( int dir = 0; dir < 2; ++dir ) // 2 directions of propagation from quadrangle
+      {
+        MSG( "CHAIN");
+        // make chain of links connected via continues faces
+        int error = ERR_OK;
+        TChain rawChain;
+        if ( !pFace->GetLinkChain( dir, rawChain, pos, error) && error ==ERR_UNKNOWN ) continue;
+        rawChain.reverse();
+        if ( !pFace->GetLinkChain( dir+2, rawChain, pos, error ) && error ==ERR_UNKNOWN ) continue;
+
+        vector< TChain > chains;
+        if ( error == ERR_OK ) { // chain contains continues rectangles
+          chains.resize(1);
+          chains[0].splice( chains[0].begin(), rawChain );
+        }
+        else if ( error == ERR_TRI ) {  // chain contains continues triangles
+          TSplitTriaResult res = splitTrianglesIntoChains( rawChain, chains, pos );
+          if ( res != _OK ) { // not quadrangles split into triangles
+            fixTriaNearBoundary( rawChain, *this );
+            break;
+          }
+        }
+        else if ( error == ERR_PRISM ) { // quadrangle side faces of prisms
+          fixPrism( rawChain );
+          break;
+        }
+        else {
+          continue;
+        }
+        for ( int iC = 0; iC < chains.size(); ++iC )
+        {
+          TChain& chain = chains[iC];
+          if ( chain.empty() ) continue;
+          if ( chain.front()->IsStraight() && chain.back()->IsStraight() ) {
+            MSG("3D straight - ignore");
+            continue;
+          }
+          if ( chain.front()->MediumPos() > bndPos ||
+               chain.back()->MediumPos() > bndPos ) {
+            MSG("Internal chain - ignore");
+            continue;
+          }
+          // mesure chain length and compute link position along the chain
+          double chainLen = 0;
+          vector< double > linkPos;
+          MSGBEG( "Link medium nodes: ");
+          TChain::iterator link0 = chain.begin(), link1 = chain.begin(), link2;
+          for ( ++link1; link1 != chain.end(); ++link1, ++link0 ) {
+            MSGBEG( (*link0)->_mediumNode->GetID() << "-" <<(*link1)->_mediumNode->GetID()<<" ");
+            double len = ((*link0)->MiddlePnt() - (*link1)->MiddlePnt()).Modulus();
+            while ( len < numeric_limits<double>::min() ) { // remove degenerated link
+              link1 = chain.erase( link1 );
+              if ( link1 == chain.end() )
+                break;
+              len = ((*link0)->MiddlePnt() - (*link1)->MiddlePnt()).Modulus();
+            }
+            chainLen += len;
+            linkPos.push_back( chainLen );
+          }
+          MSG("");
+          if ( linkPos.size() < 2 )
+            continue;
+
+          gp_Vec move0 = chain.front()->_nodeMove;
+          gp_Vec move1 = chain.back ()->_nodeMove;
+
+          TopoDS_Face face;
+          bool checkUV = true;
+          if ( !isInside ) {
+            // compute node displacement of end links in parametric space of face
+            const SMDS_MeshNode* nodeOnFace = (*(++chain.begin()))->_mediumNode;
+            TopoDS_Shape f = GetSubShapeByNode( nodeOnFace, GetMeshDS() );
+            if ( !f.IsNull() && f.ShapeType() == TopAbs_FACE )
+            {
+              face = TopoDS::Face( f );
+              Handle(Geom_Surface) surf = BRep_Tool::Surface(face,loc);
+              bool isStraight[2];
+              for ( int is1 = 0; is1 < 2; ++is1 ) // move0 or move1
+              {
+                TChainLink& link = is1 ? chain.back() : chain.front();
+                gp_XY uvm = GetNodeUV( face, link->_mediumNode, nodeOnFace, &checkUV);
+                gp_XY uv1 = GetNodeUV( face, link->node1(), nodeOnFace, &checkUV);
+                gp_XY uv2 = GetNodeUV( face, link->node2(), nodeOnFace, &checkUV);
+                gp_XY uv12 = GetMiddleUV( surf, uv1, uv2);
+                // uvMove = uvm - uv12
+                gp_XY uvMove = applyIn2D(surf, uvm, uv12, gp_XY_Subtracted, /*inPeriod=*/false);
+                ( is1 ? move1 : move0 ).SetCoord( uvMove.X(), uvMove.Y(), 0 );
+                if ( !is1 ) // correct nodeOnFace for move1 (issue 0020919)
+                  nodeOnFace = (*(++chain.rbegin()))->_mediumNode;
+                isStraight[is1] = isStraightLink( (uv2-uv1).SquareModulus(),uvMove.SquareModulus());
+              }
+//               if ( move0.SquareMagnitude() < straightTol2 &&
+//                    move1.SquareMagnitude() < straightTol2 ) {
+              if ( isStraight[0] && isStraight[1] ) {
+                MSG("2D straight - ignore");
+                continue; // straight - no need to move nodes of internal links
+              }
+            }
+          }
+          gp_Trsf trsf;
+          if ( isInside || face.IsNull() )
+          {
+            // compute node displacement of end links in their local coord systems
+            {
+              TChainLink& ln0 = chain.front(), ln1 = *(++chain.begin());
+              trsf.SetTransformation( gp_Ax3( gp::Origin(), ln0.Normal(),
+                                              gp_Vec( ln0->MiddlePnt(), ln1->MiddlePnt() )));
+              move0.Transform(trsf);
+            }
+            {
+              TChainLink& ln0 = *(++chain.rbegin()), ln1 = chain.back();
+              trsf.SetTransformation( gp_Ax3( gp::Origin(), ln1.Normal(),
+                                              gp_Vec( ln0->MiddlePnt(), ln1->MiddlePnt() )));
+              move1.Transform(trsf);
+            }
+          }
+          // compute displacement of medium nodes
+          link2 = chain.begin();
+          link0 = link2++;
+          link1 = link2++;
+          for ( int i = 0; link2 != chain.end(); ++link0, ++link1, ++link2, ++i )
+          {
+            double r = linkPos[i] / chainLen;
+            // displacement in local coord system
+            gp_Vec move = (1. - r) * move0 + r * move1;
+            if ( isInside || face.IsNull()) {
+              // transform to global
+              gp_Vec x01( (*link0)->MiddlePnt(), (*link1)->MiddlePnt() );
+              gp_Vec x12( (*link1)->MiddlePnt(), (*link2)->MiddlePnt() );
+              gp_Vec x = x01.Normalized() + x12.Normalized();
+              trsf.SetTransformation( gp_Ax3( gp::Origin(), link1->Normal(), x), gp_Ax3() );
+              move.Transform(trsf);
+            }
+            else {
+              // compute 3D displacement by 2D one
+              Handle(Geom_Surface) s = BRep_Tool::Surface(face,loc);
+              gp_XY oldUV   = GetNodeUV( face, (*link1)->_mediumNode, 0, &checkUV);
+              gp_XY newUV   = applyIn2D( s, oldUV, gp_XY( move.X(),move.Y()), gp_XY_Added);
+              gp_Pnt newPnt = s->Value( newUV.X(), newUV.Y());
+              move = gp_Vec( XYZ((*link1)->_mediumNode), newPnt.Transformed(loc) );
+#ifdef _DEBUG_
+              if ( (XYZ((*link1)->node1()) - XYZ((*link1)->node2())).SquareModulus() <
+                   move.SquareMagnitude())
+              {
+                gp_XY uv0 = GetNodeUV( face, (*link0)->_mediumNode, 0, &checkUV);
+                gp_XY uv2 = GetNodeUV( face, (*link2)->_mediumNode, 0, &checkUV);
+                MSG( "TOO LONG MOVE \t" <<
+                     "uv0: "<<uv0.X()<<", "<<uv0.Y()<<" \t" <<
+                     "uv2: "<<uv2.X()<<", "<<uv2.Y()<<" \t" <<
+                     "uvOld: "<<oldUV.X()<<", "<<oldUV.Y()<<" \t" <<
+                     "newUV: "<<newUV.X()<<", "<<newUV.Y()<<" \t");
+              }
+#endif
+            }
+            (*link1)->Move( move );
+            MSG( "Move " << (*link1)->_mediumNode->GetID() << " following "
+                 << chain.front()->_mediumNode->GetID() <<"-"
+                 << chain.back ()->_mediumNode->GetID() <<
+                 " by " << move.Magnitude());
+          }
+        } // loop on chains of links
+      } // loop on 2 directions of propagation from quadrangle
+    } // loop on faces
+  }
+
+  // 4. Move nodes
+  // -----------
+
+  for ( pLink = links.begin(); pLink != links.end(); ++pLink ) {
+    if ( pLink->IsMoved() ) {
+      //gp_Pnt p = pLink->MediumPnt() + pLink->Move();
+      gp_Pnt p = pLink->MiddlePnt() + pLink->Move();
+      GetMeshDS()->MoveNode( pLink->_mediumNode, p.X(), p.Y(), p.Z());
+    }
+  }
+}
+
+//=======================================================================
+/*!
+ * \brief Iterator on ancestors of the given type
+ */
+//=======================================================================
+
+struct TAncestorsIterator : public SMDS_Iterator<const TopoDS_Shape*>
+{
+  TopTools_ListIteratorOfListOfShape _ancIter;
+  TopAbs_ShapeEnum                   _type;
+  TAncestorsIterator( const TopTools_ListOfShape& ancestors, TopAbs_ShapeEnum type)
+    : _ancIter( ancestors ), _type( type )
+  {
+    if ( _ancIter.More() && _ancIter.Value().ShapeType() != _type ) next();
+  }
+  virtual bool more()
+  {
+    return _ancIter.More();
+  }
+  virtual const TopoDS_Shape* next()
+  {
+    const TopoDS_Shape* s = _ancIter.More() ? & _ancIter.Value() : 0;
+    if ( _ancIter.More() )
+      for ( _ancIter.Next();  _ancIter.More(); _ancIter.Next())
+        if ( _ancIter.Value().ShapeType() == _type )
+          break;
+    return s;
+  }
+};
+
+//=======================================================================
+/*!
+ * \brief Return iterator on ancestors of the given type
+ */
+//=======================================================================
+
+PShapeIteratorPtr SMESH_MesherHelper::GetAncestors(const TopoDS_Shape& shape,
+                                                   const SMESH_Mesh&   mesh,
+                                                   TopAbs_ShapeEnum    ancestorType)
+{
+  return PShapeIteratorPtr( new TAncestorsIterator( mesh.GetAncestors(shape), ancestorType));
+}