// Gmsh - Copyright (C) 1997-2025 C. Geuzaine, J.-F. Remacle
//
// See the LICENSE.txt file in the Gmsh root directory for license information.
// Please report all issues on https://gitlab.onelab.info/gmsh/gmsh/issues.
//
// Contributor(s):
//   Michael Ermakov (ermakov@ipmnet.ru)

#include <map>
#include <queue>
#include <array>
#include "meshGFace.h"
#include "meshGEdge.h"
#include "GModel.h"
#include "GVertex.h"
#include "GEdge.h"
#include "GFace.h"
#include "MVertex.h"
#include "MTriangle.h"
#include "MQuadrangle.h"
#include "Context.h"
#include "GmshMessage.h"
#include "Numeric.h"

/*
   s4 +-----c3-----+ s3
      |            |
      |            |
     c4            c2
      |            |
      |            |
   s1 +-----c1-----+ s2
*/

// f(u,v) = (1-u) c4(v) + u c2(v) + (1-v) c1(u) + v c3(u)
//          - [ (1-u)(1-v) s1 + u(1-v) s2 + uv s3 + (1-u)v s4 ]
#define TRAN_QUA(c1, c2, c3, c4, s1, s2, s3, s4, u, v)                         \
  (1. - u) * c4 + u * c2 + (1. - v) * c1 + v * c3 -                            \
    ((1. - u) * (1. - v) * s1 + u * (1. - v) * s2 + u * v * s3 +               \
     (1. - u) * v * s4)

// s1=s4=c4
// f(u,v) = u c2 (v) + (1-v) c1(u) + v c3(u) - u(1-v) s2 - uv s3
#define TRAN_TRI(c1, c2, c3, s1, s2, s3, u, v)                                 \
  u * c2 + (1. - v) * c1 + v * c3 - (u * (1. - v) * s2 + u * v * s3)

void findTransfiniteCorners(GFace *gf, std::vector<MVertex *> &corners)
{
  if(gf->meshAttributes.corners.size()) {
    // corners have been specified explicitly
    for(std::size_t i = 0; i < gf->meshAttributes.corners.size(); i++)
      corners.push_back(gf->meshAttributes.corners[i]->mesh_vertices[0]);
  }
  else {
    // try to find the corners automatically
    std::vector<GEdge *> fedges = gf->edges();
    GEdgeLoop el(fedges);
    for(auto it = el.begin(); it != el.end(); it++)
      corners.push_back(it->getBeginVertex()->mesh_vertices[0]);

    // try reaaally hard for 3-sided faces
    if(corners.size() == 3) {
      GEdge *first = nullptr, *last = nullptr;
      for(auto it = fedges.begin(); it != fedges.end(); it++) {
        if(((*it)->getBeginVertex()->mesh_vertices[0] == corners[0] &&
            (*it)->getEndVertex()->mesh_vertices[0] == corners[1]) ||
           ((*it)->getBeginVertex()->mesh_vertices[0] == corners[1] &&
            (*it)->getEndVertex()->mesh_vertices[0] == corners[0])) {
          first = *it;
        }
        if(((*it)->getBeginVertex()->mesh_vertices[0] == corners[2] &&
            (*it)->getEndVertex()->mesh_vertices[0] == corners[0]) ||
           ((*it)->getBeginVertex()->mesh_vertices[0] == corners[0] &&
            (*it)->getEndVertex()->mesh_vertices[0] == corners[2])) {
          last = *it;
        }
      }
      if(first && last) {
        if(first->mesh_vertices.size() != last->mesh_vertices.size()) {
          std::vector<MVertex *> corners2(3);
          corners2[0] = corners[1];
          corners2[1] = corners[2];
          corners2[2] = corners[0];
          corners = corners2;
        }
      }
    }
  }
}

static void computeEdgeLoops(const GFace *gf,
                             std::vector<MVertex *> &all_mvertices,
                             std::vector<int> &indices)
{
  std::vector<GEdge *> const &e = gf->edges();
  std::vector<int> const &o = gf->edgeOrientations();

  std::vector<GEdge *> edges;
  std::vector<int> ori;
  for(std::size_t i = 0; i < e.size(); i++) {
    if(!e[i]->degenerate(0)) { // skip degenerate curves
      edges.push_back(e[i]);
      ori.push_back(i < o.size() ? o[i] : 1);
    }
  }

  auto it = edges.begin();
  auto ito = ori.begin();
  indices.push_back(0);
  GVertex *start =
    ((*ito) == 1) ? (*it)->getBeginVertex() : (*it)->getEndVertex();
  GVertex *v_end =
    ((*ito) != 1) ? (*it)->getBeginVertex() : (*it)->getEndVertex();

  all_mvertices.push_back(start->mesh_vertices[0]);
  if(*ito == 1)
    for(std::size_t i = 0; i < (*it)->mesh_vertices.size(); i++)
      all_mvertices.push_back((*it)->mesh_vertices[i]);
  else
    for(int i = (*it)->mesh_vertices.size() - 1; i >= 0; i--)
      all_mvertices.push_back((*it)->mesh_vertices[i]);

  GVertex *v_start = start;
  while(1) {
    ++it;
    ++ito;
    if(v_end == start) {
      indices.push_back(all_mvertices.size());
      if(it == edges.end()) break;
      start = ((*ito) == 1) ? (*it)->getBeginVertex() : (*it)->getEndVertex();
      v_end = ((*ito) != 1) ? (*it)->getBeginVertex() : (*it)->getEndVertex();
      v_start = start;
    }
    else {
      if(it == edges.end()) {
        Msg::Error("Something wrong in boundary mesh of transfinite surface %d",
                   gf->tag());
        return;
      }
      v_start = ((*ito) == 1) ? (*it)->getBeginVertex() : (*it)->getEndVertex();
      if(v_start != v_end) {
        Msg::Error("Something wrong in boundary mesh of transfinite surface %d",
                   gf->tag());
        return;
      }
      v_end = ((*ito) != 1) ? (*it)->getBeginVertex() : (*it)->getEndVertex();
    }
    all_mvertices.push_back(v_start->mesh_vertices[0]);
    if(*ito == 1)
      for(std::size_t i = 0; i < (*it)->mesh_vertices.size(); i++)
        all_mvertices.push_back((*it)->mesh_vertices[i]);
    else
      for(int i = (*it)->mesh_vertices.size() - 1; i >= 0; i--)
        all_mvertices.push_back((*it)->mesh_vertices[i]);
  }
}

double maxDistParam(const std::vector<double> &U, const std::vector<double> &V)
{
  if(U.size() < 2 || (U.size() != V.size())) return 1e22;
  double d =
    sqrt(std::pow(U.back() - U.front(), 2) + std::pow(V.back() - V.front(), 2));
  for(std::size_t i = 1; i < U.size(); i++)
    d = std::max(
      d, sqrt(std::pow(U[i] - U[i - 1], 2) + std::pow(V[i] - V[i - 1], 2)));
  return d;
}

static void rescaleIrregularTransfinite(int &L, int &Lb, int &H, int &Hb,
                                        std::vector<MVertex *> &m_vertices,
                                        std::vector<double> &U,
                                        std::vector<double> &V)
{
  if(L == Lb && H == Hb) return;

  std::vector<double> U_new, V_new;
  std::vector<MVertex *> m_vertices_new;

  size_t duplicate_start_H = 0;
  size_t duplicate_size_H = 0;
  if(H > Hb) {
    duplicate_start_H = L + Lb + H + 1;
    duplicate_size_H = H - Hb;
  }
  else if(H < Hb) {
    duplicate_start_H = L + 1;
    duplicate_size_H = Hb - H;
  }

  size_t duplicate_start_L = 0;
  size_t duplicate_size_L = 0;
  if(L > Lb) {
    duplicate_start_L = L + H + 1;
    duplicate_size_L = L - Lb;
  }
  else if(L < Lb) {
    duplicate_start_L = 1;
    duplicate_size_L = Lb - L;
  }
  if(H > Hb)
    Hb = H;
  else if(H < Hb)
    H = Hb;
  if(L > Lb)
    Lb = L;
  else if(L < Lb)
    L = Lb;

  if(duplicate_size_L == 0) {
    for(size_t i = 0; i < duplicate_start_H; i++) {
      m_vertices_new.push_back(m_vertices[i]);
      U_new.push_back(U[i]);
      V_new.push_back(V[i]);
    }
    for(size_t i = 0; i < duplicate_size_H; i++) {
      m_vertices_new.push_back(m_vertices[duplicate_start_H - 1]);
      U_new.push_back(U[duplicate_start_H - 1]);
      V_new.push_back(V[duplicate_start_H - 1]);
    }
    for(size_t i = duplicate_start_H; i < U.size(); i++) {
      m_vertices_new.push_back(m_vertices[i]);
      U_new.push_back(U[i]);
      V_new.push_back(V[i]);
    }
  }
  else if(duplicate_size_H == 0) {
    for(size_t i = 0; i < duplicate_start_L; i++) {
      m_vertices_new.push_back(m_vertices[i]);
      U_new.push_back(U[i]);
      V_new.push_back(V[i]);
    }
    for(size_t i = 0; i < duplicate_size_L; i++) {
      m_vertices_new.push_back(m_vertices[duplicate_start_L - 1]);
      U_new.push_back(U[duplicate_start_L - 1]);
      V_new.push_back(V[duplicate_start_L - 1]);
    }
    for(size_t i = duplicate_start_L; i < U.size(); i++) {
      m_vertices_new.push_back(m_vertices[i]);
      U_new.push_back(U[i]);
      V_new.push_back(V[i]);
    }
  }
  else {
    size_t start_1 = duplicate_start_L < duplicate_start_H ? duplicate_start_L :
                                                             duplicate_start_H;
    size_t size_1 = duplicate_start_L < duplicate_start_H ? duplicate_size_L :
                                                            duplicate_size_H;
    for(size_t i = 0; i < start_1; i++) {
      m_vertices_new.push_back(m_vertices[i]);
      U_new.push_back(U[i]);
      V_new.push_back(V[i]);
    }
    for(size_t i = 0; i < size_1; i++) {
      m_vertices_new.push_back(m_vertices[start_1 - 1]);
      U_new.push_back(U[start_1 - 1]);
      V_new.push_back(V[start_1 - 1]);
    }
    size_t start_2 = duplicate_start_L < duplicate_start_H ? duplicate_start_H :
                                                             duplicate_start_L;
    size_t size_2 = duplicate_start_L < duplicate_start_H ? duplicate_size_H :
                                                            duplicate_size_L;

    for(size_t i = start_1; i < start_2; i++) {
      m_vertices_new.push_back(m_vertices[i]);
      U_new.push_back(U[i]);
      V_new.push_back(V[i]);
    }
    for(size_t i = 0; i < size_2; i++) {
      m_vertices_new.push_back(m_vertices[start_2 - 1]);
      U_new.push_back(U[start_2 - 1]);
      V_new.push_back(V[start_2 - 1]);
    }
    for(size_t i = start_2; i < U.size(); i++) {
      m_vertices_new.push_back(m_vertices[i]);
      U_new.push_back(U[i]);
      V_new.push_back(V[i]);
    }
  }

  U = U_new;
  V = V_new;
  m_vertices = m_vertices_new;
}

static void _addTriangle(GFace *gf, MVertex *v1, MVertex *v2, MVertex *v3)
{
  if(v1 == v2) return;
  if(v1 == v3) return;
  if(v2 == v3) return;
  gf->triangles.push_back(new MTriangle(v1, v2, v3));
}

static void _addQuadrangle(GFace *gf, MVertex *v1, MVertex *v2, MVertex *v3,
                           MVertex *v4)
{
  if(v1 == v2)
    _addTriangle(gf, v1, v3, v4);
  else if(v1 == v3)
    _addTriangle(gf, v1, v2, v4);
  else if(v1 == v4)
    _addTriangle(gf, v1, v2, v3);
  else if(v2 == v3)
    _addTriangle(gf, v1, v2, v4);
  else if(v2 == v4)
    _addTriangle(gf, v1, v2, v3);
  else if(v3 == v4)
    _addTriangle(gf, v1, v2, v3);
  else
    gf->quadrangles.push_back(new MQuadrangle(v1, v2, v3, v4));
}

int MeshTransfiniteSurface(GFace *gf)
{
  if(gf->meshAttributes.method != MESH_TRANSFINITE) return 0;

  Msg::Info("Meshing surface %d (Transfinite)", gf->tag());

  // make sure that all bounding edges have begin/end points: everything in here
  // depends on it
  const std::vector<GEdge *> &edges = gf->edges();
  for(auto it = edges.begin(); it != edges.end(); it++) {
    if(!(*it)->getBeginVertex() || !(*it)->getEndVertex()) {
      Msg::Error(
        "Transfinite algorithm cannot be applied to surface with bounding "
        "curve %d without begin or end point",
        (*it)->tag());
      return 0;
    }
  }

  std::vector<MVertex *> corners;
  findTransfiniteCorners(gf, corners);
  if(corners.size() != 3 && corners.size() != 4) {
    Msg::Error("Surface %d is transfinite but has %d corner%s", gf->tag(),
               corners.size(), corners.size() > 1 ? "s" : "");
    return 0;
  }

  std::vector<MVertex *> d_vertices;
  std::vector<int> indices;
  computeEdgeLoops(gf, d_vertices, indices);

  if(indices.size() != 2) {
    int nh = indices.size() - 2;
    Msg::Error("Surface %d is transfinite but has %d hole%s", gf->tag(), nh,
               nh > 1 ? "s" : "");
    return 0;
  }

  // create a list of all boundary vertices, starting at the first
  // transfinite corner
  std::vector<MVertex *> m_vertices;
  std::size_t I;
  for(I = 0; I < d_vertices.size(); I++)
    if(d_vertices[I] == corners[0]) break;
  for(std::size_t j = 0; j < d_vertices.size(); j++)
    m_vertices.push_back(d_vertices[(I + j) % d_vertices.size()]);

  // make the ordering of the list consistent with the ordering of the
  // first two corners (if the second found corner is not the second
  // corner, just reverse the list)
  bool reverse = false;
  for(std::size_t i = 1; i < m_vertices.size(); i++) {
    MVertex *v = m_vertices[i];
    if(v == corners[1] || v == corners[2] ||
       (corners.size() == 4 && v == corners[3])) {
      if(v != corners[1]) reverse = true;
      break;
    }
  }
  if(reverse) {
    std::vector<MVertex *> tmp;
    tmp.push_back(m_vertices[0]);
    for(int i = m_vertices.size() - 1; i > 0; i--) tmp.push_back(m_vertices[i]);
    m_vertices = tmp;
  }

  // get the indices of the interpolation corners as well as the u,v
  // coordinates of all the boundary vertices
  int iCorner = 0, N[4] = {0, 0, 0, 0};
  std::vector<double> U, V, U2, V2;
  for(std::size_t i = 0; i < m_vertices.size(); i++) {
    MVertex *v = m_vertices[i];
    if(v == corners[0] || v == corners[1] || v == corners[2] ||
       (corners.size() == 4 && v == corners[3])) {
      if(iCorner > 3) {
        Msg::Error("Surface %d transfinite parameters are incoherent",
                   gf->tag());
        return 0;
      }
      N[iCorner++] = i;
    }
    SPoint2 param;
    // reparamMeshVertexOnFace does not provide correct (u,v) coordinates
    // on degenerated edges
    bool onSeam = !reparamMeshVertexOnFace(v, gf, param);
    U.push_back(param[0]);
    V.push_back(param[1]);
    // if v is on a periodic seam, get the other parametric coordinates
    if(onSeam) reparamMeshVertexOnFace(v, gf, param, true, true, -1);
    U2.push_back(param[0]);
    V2.push_back(param[1]);
  }

  // quick fix for surfaces with a single seam: choose the trajectory in the
  // parametric plane that leads to the smallest maximum distance between two
  // nodes; this should be generalized if we want to handle cases with more than
  // one seam
  if(maxDistParam(U2, V2) < maxDistParam(U, V)) {
    Msg::Debug("Choosing alternate parametrization on surface %d", gf->tag());
    U = U2;
    V = V2;
  }

  int N1 = N[0], N2 = N[1], N3 = N[2], N4 = N[3];
  int L = N2 - N1, H = N3 - N2;
  if(corners.size() == 4) {
    int Lb = N4 - N3, Hb = m_vertices.size() - N4;

    if(CTX::instance()->mesh.quasiTransfinite) {
      rescaleIrregularTransfinite(L, Lb, H, Hb, m_vertices, U, V);
      N2 = N1 + L;
      N3 = N2 + H;
      N4 = N3 + L;
    }

    if(Lb != L || Hb != H) {
      Msg::Error("Surface %d cannot be meshed using the transfinite algorithm "
                 "(non-matching number of nodes on opposite sides %d != %d or "
                 "%d != %d)",
                 gf->tag(), Lb, L, Hb, H);
      return 0;
    }
  }
  else {
    int Lb = m_vertices.size() - N3;
    if(CTX::instance()->mesh.transfiniteTri && Lb == L && H == L) {
      gf->meshAttributes.transfinite3 = true;
      Msg::Info("Using specific transfinite algorithm for 3-sided surface %d",
                gf->tag());
    }
    else {
      if(Lb != L) {
        Msg::Error(
          "Surface %d cannot be meshed using the transfinite algorithm "
          "(non-matching number of nodes on opposite sides %d != %d)",
          gf->tag(), L, Lb);
        return 0;
      }
    }
  }

  /*
      2L+H +------------+ L+H
           |            |
           |            |
           |            |
           |            |
     2L+2H +------------+
           0            L
  */

  // use the average of the node spacing on the two opposing sides, so that we
  // generate the same u, v coordinates whatever the ordering of the sides
  bool symmetric = true;

  std::vector<double> lengths_i;
  lengths_i.reserve(L);
  lengths_i.push_back(0.0);
  double L_i = 0.0;
  for(int i = 0; i < L; i++) {
    MVertex *v1 = m_vertices[i];
    MVertex *v2 = m_vertices[i + 1];
    double d1 = v1->distance(v2);
    if(symmetric) {
      MVertex *v3 =
        m_vertices[(corners.size() == 3 && !i) ? 0 : (2 * L + H - i)];
      MVertex *v4 = m_vertices[2 * L + H - i - 1];
      double d2 = v3->distance(v4);
      L_i += 0.5 * (d1 + d2);
    }
    else {
      L_i += d1;
    }
    lengths_i.push_back(L_i);
  }

  std::vector<double> lengths_j;
  lengths_j.reserve(H);
  lengths_j.push_back(0.0);
  double L_j = 0.0;
  for(int i = 0; i < H; i++) {
    MVertex *v1 = m_vertices[L + i];
    MVertex *v2 = m_vertices[L + i + 1];
    double d1 = v1->distance(v2);
    if(symmetric && corners.size() == 4) {
      MVertex *v3 = m_vertices[(!i) ? 0 : (2 * L + 2 * H - i)];
      MVertex *v4 = m_vertices[2 * L + 2 * H - i - 1];
      double d2 = v3->distance(v4);
      L_j += 0.5 * (d1 + d2);
    }
    else {
      L_j += d1;
    }
    lengths_j.push_back(L_j);
  }

  std::vector<std::vector<MVertex *>> &tab(gf->transfinite_vertices);
  tab.resize(L + 1);
  for(int i = 0; i <= L; i++) tab[i].resize(H + 1);

  if(corners.size() == 4) {
    tab[0][0] = m_vertices[0];
    tab[L][0] = m_vertices[L];
    tab[L][H] = m_vertices[L + H];
    tab[0][H] = m_vertices[2 * L + H];
    for(int i = 1; i < L; i++) {
      tab[i][0] = m_vertices[i];
      tab[i][H] = m_vertices[2 * L + H - i];
    }
    for(int i = 1; i < H; i++) {
      tab[L][i] = m_vertices[L + i];
      tab[0][i] = m_vertices[2 * L + 2 * H - i];
    }
  }
  else {
    tab[0][0] = m_vertices[0];
    tab[L][0] = m_vertices[L];
    tab[L][H] = m_vertices[L + H];
    // degenerated, only necessary for transfinite volume algo
    tab[0][H] = m_vertices[0];
    for(int i = 1; i < L; i++) {
      tab[i][0] = m_vertices[i];
      tab[i][H] = m_vertices[2 * L + H - i];
    }
    for(int i = 1; i < H; i++) {
      tab[L][i] = m_vertices[L + i];
      // degenerated, only necessary for transfinite volume algo
      tab[0][i] = m_vertices[0];
    }
  }

  double UC1 = U[N1], UC2 = U[N2], UC3 = U[N3];
  double VC1 = V[N1], VC2 = V[N2], VC3 = V[N3];

  // create points using transfinite interpolation
  if(corners.size() == 4) {
    double UC4 = U[N4];
    double VC4 = V[N4];
    for(int i = 1; i < L; i++) {
      double u = lengths_i[i] / L_i;
      for(int j = 1; j < H; j++) {
        double v = lengths_j[j] / L_j;
        int iP1 = N1 + i;
        int iP2 = N2 + j;
        int iP3 = N4 - i;
        int iP4 = (N4 + (N3 - N2) - j) % m_vertices.size();
        double Up =
          TRAN_QUA(U[iP1], U[iP2], U[iP3], U[iP4], UC1, UC2, UC3, UC4, u, v);
        double Vp =
          TRAN_QUA(V[iP1], V[iP2], V[iP3], V[iP4], VC1, VC2, VC3, VC4, u, v);
        GPoint gp = gf->point(SPoint2(Up, Vp));
        MFaceVertex *newv = new MFaceVertex(gp.x(), gp.y(), gp.z(), gf, Up, Vp);
        gf->mesh_vertices.push_back(newv);
        tab[i][j] = newv;
      }
    }
  }
  else {
    std::vector<double> u2, v2;
    if(gf->meshAttributes.transfinite3) {
      u2.reserve(H + 1);
      for(int j = 0; j <= H; j++) u2.push_back(U[N2 + j]);
      v2.reserve(H + 1);
      for(int j = 0; j <= H; j++) v2.push_back(V[N2 + j]);
    }

    for(int i = 1; i < L; i++) {
      double u = lengths_i[i] / L_i;
      for(int j = 1; j < H; j++) {
        double v = lengths_j[j] / L_j;
        int iP1 = N1 + i;
        int iP2 = N2 + j;
        int iP3 = ((N3 + N2) - i) % m_vertices.size();

        double Up, Vp;
        if(gf->geomType() != GEntity::RuledSurface) {
          if(!gf->meshAttributes.transfinite3) {
            Up = TRAN_TRI(U[iP1], U[iP2], U[iP3], UC1, UC2, UC3, u, v);
            Vp = TRAN_TRI(V[iP1], V[iP2], V[iP3], VC1, VC2, VC3, u, v);
          }
          else { // transfinite3

            if(j >= i) {
              tab[i][j] = tab[i][H];
              continue;
            }

            double t = double(j) / double(i);
            double v = t;
            int k;
            for(k = 1; k <= H; k++)
              if(t <= lengths_j[k] / L_j && t > lengths_j[k - 1] / L_j) break;

            double a =
              (t * L_j - lengths_j[k - 1]) / (lengths_j[k] - lengths_j[k - 1]);

            double UP2 = u2[k - 1] + a * (u2[k] - u2[k - 1]);
            double VP2 = v2[k - 1] + a * (v2[k] - v2[k - 1]);
            Up = TRAN_TRI(U[iP1], UP2, U[iP3], UC1, UC2, UC3, u, v);
            Vp = TRAN_TRI(V[iP1], VP2, V[iP3], VC1, VC2, VC3, u, v);

          } // transfinite3
        }
        else { // RuledSurface
          // FIXME: to get nice meshes we would need to make the u,v coords
          // match with the (degenerate) coordinates of the underlying ruled
          // surface; so instead we just interpolate in real space
          double xp, yp, zp;
          if(!gf->meshAttributes.transfinite3) {
            xp = TRAN_TRI(m_vertices[iP1]->x(), m_vertices[iP2]->x(),
                          m_vertices[iP3]->x(), m_vertices[N1]->x(),
                          m_vertices[N2]->x(), m_vertices[N3]->x(), u, v);
            yp = TRAN_TRI(m_vertices[iP1]->y(), m_vertices[iP2]->y(),
                          m_vertices[iP3]->y(), m_vertices[N1]->y(),
                          m_vertices[N2]->y(), m_vertices[N3]->y(), u, v);
            zp = TRAN_TRI(m_vertices[iP1]->z(), m_vertices[iP2]->z(),
                          m_vertices[iP3]->z(), m_vertices[N1]->z(),
                          m_vertices[N2]->z(), m_vertices[N3]->z(), u, v);
          }
          else {
            if(j >= i) {
              tab[i][j] = tab[i][H];
              continue;
            }
            double t = double(j) / double(i);
            double v = t;
            int k;
            for(k = 1; k <= H; k++)
              if(t <= lengths_j[k] / L_j && t > lengths_j[k - 1] / L_j) break;

            double a =
              (t * L_j - lengths_j[k - 1]) / (lengths_j[k] - lengths_j[k - 1]);
            double x_iP2 =
              m_vertices[N2 + k - 1]->x() +
              a * (m_vertices[N2 + k]->x() - m_vertices[N2 + k - 1]->x());
            double y_iP2 =
              m_vertices[N2 + k - 1]->y() +
              a * (m_vertices[N2 + k]->y() - m_vertices[N2 + k - 1]->y());
            double z_iP2 =
              m_vertices[N2 + k - 1]->z() +
              a * (m_vertices[N2 + k]->z() - m_vertices[N2 + k - 1]->z());

            xp = TRAN_TRI(m_vertices[iP1]->x(), x_iP2, m_vertices[iP3]->x(),
                          m_vertices[N1]->x(), m_vertices[N2]->x(),
                          m_vertices[N3]->x(), u, v);
            yp = TRAN_TRI(m_vertices[iP1]->y(), y_iP2, m_vertices[iP3]->y(),
                          m_vertices[N1]->y(), m_vertices[N2]->y(),
                          m_vertices[N3]->y(), u, v);
            zp = TRAN_TRI(m_vertices[iP1]->z(), z_iP2, m_vertices[iP3]->z(),
                          m_vertices[N1]->z(), m_vertices[N2]->z(),
                          m_vertices[N3]->z(), u, v);
          }
          // xp,yp,zp can be off the surface so we cannot use parFromPoint
          gf->XYZtoUV(xp, yp, zp, Up, Vp, 1.0, false);
        }
        GPoint gp = gf->point(SPoint2(Up, Vp));
        MFaceVertex *newv = new MFaceVertex(gp.x(), gp.y(), gp.z(), gf, Up, Vp);
        gf->mesh_vertices.push_back(newv);
        tab[i][j] = newv;
      }
    }
  }

  // should we apply the elliptic smoother?
  int numSmooth = 0;
  if(gf->meshAttributes.transfiniteSmoothing < 0 &&
     CTX::instance()->mesh.nbSmoothing > 1) {
    // Mesh.Smoothing is set to 1 by default, but we don't want to apply the
    // elliptic smoother by default
    numSmooth = CTX::instance()->mesh.nbSmoothing - 1;
  }
  else if(gf->meshAttributes.transfiniteSmoothing > 0) {
    numSmooth = gf->meshAttributes.transfiniteSmoothing;
  }

  if(corners.size() == 4 && numSmooth && !gf->meshAttributes.transfinite3) {
    std::vector<std::vector<double>> u(L + 1), v(L + 1);
    for(int i = 0; i <= L; i++) {
      u[i].resize(H + 1);
      v[i].resize(H + 1);
    }
    for(int i = 0; i <= L; i++) {
      for(int j = 0; j <= H; j++) {
        int iP1 = N1 + i;
        int iP2 = N2 + j;
        int iP3 = N4 - i;
        int iP4 = (N4 + (N3 - N2) - j) % m_vertices.size();
        if(j == 0) {
          u[i][j] = U[iP1];
          v[i][j] = V[iP1];
        }
        else if(i == L) {
          u[i][j] = U[iP2];
          v[i][j] = V[iP2];
        }
        else if(j == H) {
          u[i][j] = U[iP3];
          v[i][j] = V[iP3];
        }
        else if(i == 0) {
          u[i][j] = U[iP4];
          v[i][j] = V[iP4];
        }
        else {
          tab[i][j]->getParameter(0, u[i][j]);
          tab[i][j]->getParameter(1, v[i][j]);
        }
      }
    }
    for(int IT = 0; IT < numSmooth; IT++) {
      for(int i = 1; i < L; i++) {
        for(int j = 1; j < H; j++) {
          double alpha = 0.25 * (std::pow(u[i][j + 1] - u[i][j - 1], 2) +
                                 std::pow(v[i][j + 1] - v[i][j - 1], 2));
          double gamma = 0.25 * (std::pow(u[i + 1][j] - u[i - 1][j], 2) +
                                 std::pow(v[i + 1][j] - v[i - 1][j], 2));
          double beta =
            0.0625 *
            ((u[i + 1][j] - u[i - 1][j]) * (u[i][j + 1] - u[i][j - 1]) +
             (v[i + 1][j] - v[i - 1][j]) * (v[i][j + 1] - v[i][j - 1]));
          u[i][j] = 0.5 *
                    (alpha * (u[i + 1][j] + u[i - 1][j]) +
                     gamma * (u[i][j + 1] + u[i][j - 1]) -
                     2. * beta *
                       (u[i + 1][j + 1] - u[i - 1][j + 1] - u[i + 1][j - 1] +
                        u[i - 1][j - 1])) /
                    (alpha + gamma);
          v[i][j] = 0.5 *
                    (alpha * (v[i + 1][j] + v[i - 1][j]) +
                     gamma * (v[i][j + 1] + v[i][j - 1]) -
                     2. * beta *
                       (v[i + 1][j + 1] - v[i - 1][j + 1] - v[i + 1][j - 1] +
                        v[i - 1][j - 1])) /
                    (alpha + gamma);
        }
      }
    }
    for(int i = 1; i < L; i++) {
      for(int j = 1; j < H; j++) {
        GPoint p = gf->point(SPoint2(u[i][j], v[i][j]));
        tab[i][j]->x() = p.x();
        tab[i][j]->y() = p.y();
        tab[i][j]->z() = p.z();
        tab[i][j]->setParameter(0, u[i][j]);
        tab[i][j]->setParameter(1, v[i][j]);
      }
    }
  }

  // 3-sided face smooting
  if(corners.size() == 3 && gf->meshAttributes.transfinite3 && numSmooth) {
    for(int it = 1; it <= numSmooth; ++it) {
      for(int i = 1; i < L; ++i) {
        for(int j = 1; j < i; ++j) {
          MVertex const *v0 = tab[i][j];
          double Uc, Vc;

          gf->XYZtoUV(v0->x(), v0->y(), v0->z(), Uc, Vc, 1.0, true);

          MVertex const *v1 = tab[i - 1][j - 1];
          MVertex const *v2 = tab[i - 1][j];
          MVertex const *v3 = tab[i][j - 1];
          MVertex const *v4 = tab[i][j + 1];
          MVertex const *v5 = tab[i + 1][j];
          MVertex const *v6 = tab[i + 1][j + 1];

          //        calculate elastic forces
          double fx = v1->x() - v0->x() + v2->x() - v0->x() + v3->x() -
                      v0->x() + v4->x() - v0->x() + v5->x() - v0->x() +
                      v6->x() - v0->x();
          double fy = v1->y() - v0->y() + v2->y() - v0->y() + v3->y() -
                      v0->y() + v4->y() - v0->y() + v5->y() - v0->y() +
                      v6->y() - v0->y();
          double fz = v1->z() - v0->z() + v2->z() - v0->z() + v3->z() -
                      v0->z() + v4->z() - v0->z() + v5->z() - v0->z() +
                      v6->z() - v0->z();

          double const eps = 1e-4;
          GPoint fup = gf->point(SPoint2(Uc + eps, Vc));
          GPoint fum = gf->point(SPoint2(Uc - eps, Vc));
          GPoint fvp = gf->point(SPoint2(Uc, Vc + eps));
          GPoint fvm = gf->point(SPoint2(Uc, Vc - eps));

          double fupx = v1->x() - fup.x() + v2->x() - fup.x() + v3->x() -
                        fup.x() + v4->x() - fup.x() + v5->x() - fup.x() +
                        v6->x() - fup.x();
          double fupy = v1->y() - fup.y() + v2->y() - fup.y() + v3->y() -
                        fup.y() + v4->y() - fup.y() + v5->y() - fup.y() +
                        v6->y() - fup.y();
          double fupz = v1->z() - fup.z() + v2->z() - fup.z() + v3->z() -
                        fup.z() + v4->z() - fup.z() + v5->z() - fup.z() +
                        v6->z() - fup.z();

          double fumx = v1->x() - fum.x() + v2->x() - fum.x() + v3->x() -
                        fum.x() + v4->x() - fum.x() + v5->x() - fum.x() +
                        v6->x() - fum.x();
          double fumy = v1->y() - fum.y() + v2->y() - fum.y() + v3->y() -
                        fum.y() + v4->y() - fum.y() + v5->y() - fum.y() +
                        v6->y() - fum.y();
          double fumz = v1->z() - fum.z() + v2->z() - fum.z() + v3->z() -
                        fum.z() + v4->z() - fum.z() + v5->z() - fum.z() +
                        v6->z() - fum.z();

          double fvpx = v1->x() - fvp.x() + v2->x() - fvp.x() + v3->x() -
                        fvp.x() + v4->x() - fvp.x() + v5->x() - fvp.x() +
                        v6->x() - fvp.x();
          double fvpy = v1->y() - fvp.y() + v2->y() - fvp.y() + v3->y() -
                        fvp.y() + v4->y() - fvp.y() + v5->y() - fvp.y() +
                        v6->y() - fvp.y();
          double fvpz = v1->z() - fvp.z() + v2->z() - fvp.z() + v3->z() -
                        fvp.z() + v4->z() - fvp.z() + v5->z() - fvp.z() +
                        v6->z() - fvp.z();

          double fvmx = v1->x() - fvm.x() + v2->x() - fvm.x() + v3->x() -
                        fvm.x() + v4->x() - fvm.x() + v5->x() - fvm.x() +
                        v6->x() - fvm.x();
          double fvmy = v1->y() - fvm.y() + v2->y() - fvm.y() + v3->y() -
                        fvm.y() + v4->y() - fvm.y() + v5->y() - fvm.y() +
                        v6->y() - fvm.y();
          double fvmz = v1->z() - fvm.z() + v2->z() - fvm.z() + v3->z() -
                        fvm.z() + v4->z() - fvm.z() + v5->z() - fvm.z() +
                        v6->z() - fvm.z();

          double dfx_du = (fupx - fumx) / (2.0 * eps); // dF/du
          double dfy_du = (fupy - fumy) / (2.0 * eps);
          double dfz_du = (fupz - fumz) / (2.0 * eps);

          double dfx_dv = (fvpx - fvmx) / (2.0 * eps); // dF/dv
          double dfy_dv = (fvpy - fvmy) / (2.0 * eps);
          double dfz_dv = (fvpz - fvmz) / (2.0 * eps);

          double ux = (fup.x() - fum.x()) / (2.0 * eps);
          double uy = (fup.y() - fum.y()) / (2.0 * eps);
          double uz = (fup.z() - fum.z()) / (2.0 * eps);
          double a;
          a = sqrt(pow(ux, 2) + pow(uy, 2) + pow(uz, 2));
          ux /= a; // u
          uy /= a;
          uz /= a;

          double vx = (fvp.x() - fvm.x()) / (2.0 * eps);
          double vy = (fvp.y() - fvm.y()) / (2.0 * eps);
          double vz = (fvp.z() - fvm.z()) / (2.0 * eps);
          a = sqrt(pow(vx, 2) + pow(vy, 2) + pow(vz, 2));
          vx /= a; // v
          vy /= a;
          vz /= a;

          double fu = fx * ux + fy * uy + fz * uz; // Fu = (F,u)
          double fv = fx * vx + fy * vy + fz * vz; // Fv = (F,v)

          double dfu_du =
            dfx_du * ux + dfy_du * uy + dfz_du * uz; // dFu/du = (dF/du, u)
          double dfu_dv =
            dfx_dv * ux + dfy_dv * uy + dfz_dv * uz; // dFu/dv = (dF/dv, u)
          double dfv_du =
            dfx_du * vx + dfy_du * vy + dfz_du * vz; // dFv/du = (dF/du, v)
          double dfv_dv =
            dfx_dv * vx + dfy_dv * vy + dfz_dv * vz; // dFv/dv = (dF/dv, v)

          //        solve linear 2x2 equation
          double a11 = dfu_du;
          double a12 = dfu_dv;
          double a21 = dfv_du;
          double a22 = dfv_dv;
          double b1 = -fu;
          double b2 = -fv;
          double det = a11 * a22 - a12 * a21;
          double detu = b1 * a22 - a12 * b2;
          double detv = a11 * b2 - b1 * a21;
          double du = detu / det;
          double dv = detv / det;
          Uc = Uc + du;
          Vc = Vc + dv;

          //        store x, y, z
          GPoint fc = gf->point(SPoint2(Uc, Vc));
          tab[i][j]->x() = fc.x();
          tab[i][j]->y() = fc.y();
          tab[i][j]->z() = fc.z();
        }
      }

    } // for it
  }

  // create elements
  if(corners.size() == 4) {
    for(int i = 0; i < L; i++) {
      for(int j = 0; j < H; j++) {
        MVertex *v1 = tab[i][j];
        MVertex *v2 = tab[i + 1][j];
        MVertex *v3 = tab[i + 1][j + 1];
        MVertex *v4 = tab[i][j + 1];
        if(CTX::instance()->mesh.recombineAll || gf->meshAttributes.recombine)
          _addQuadrangle(gf, v1, v2, v3, v4);
        else if(gf->meshAttributes.transfiniteArrangement == 1 ||
                (gf->meshAttributes.transfiniteArrangement == 2 &&
                 ((i % 2 == 0 && j % 2 == 1) || (i % 2 == 1 && j % 2 == 0))) ||
                (gf->meshAttributes.transfiniteArrangement == -2 &&
                 ((i % 2 == 0 && j % 2 == 0) || (i % 2 == 1 && j % 2 == 1)))) {
          //        else if(rand() % 2 == 0){
          _addTriangle(gf, v1, v2, v3);
          _addTriangle(gf, v3, v4, v1);
        }
        else {
          _addTriangle(gf, v1, v2, v4);
          _addTriangle(gf, v4, v2, v3);
        }
      }
    }
  }
  else {
    if(!gf->meshAttributes.transfinite3) {
      for(int j = 0; j < H; j++) {
        MVertex *v1 = tab[0][0];
        MVertex *v2 = tab[1][j];
        MVertex *v3 = tab[1][j + 1];
        _addTriangle(gf, v1, v2, v3);
      }
      for(int i = 1; i < L; i++) {
        for(int j = 0; j < H; j++) {
          MVertex *v1 = tab[i][j];
          MVertex *v2 = tab[i + 1][j];
          MVertex *v3 = tab[i + 1][j + 1];
          MVertex *v4 = tab[i][j + 1];
          if(CTX::instance()->mesh.recombineAll || gf->meshAttributes.recombine)
            _addQuadrangle(gf, v1, v2, v3, v4);
          else if(gf->meshAttributes.transfiniteArrangement == 1 ||
                  (gf->meshAttributes.transfiniteArrangement == 2 &&
                   ((i % 2 == 0 && j % 2 == 1) ||
                    (i % 2 == 1 && j % 2 == 0))) ||
                  (gf->meshAttributes.transfiniteArrangement == -2 &&
                   ((i % 2 == 0 && j % 2 == 0) ||
                    (i % 2 == 1 && j % 2 == 1)))) {
            _addTriangle(gf, v1, v2, v3);
            _addTriangle(gf, v3, v4, v1);
          }
          else {
            _addTriangle(gf, v1, v2, v4);
            _addTriangle(gf, v4, v2, v3);
          }
        }
      }
    }
    else {
      int ni = 0;
      bool message = true;
      for(int i = 0; i < L; i++) {
        for(int j = 0; j <= i; j++) {
          MVertex *v1 = tab[i][j];
          MVertex *v2 = tab[i + 1][j];
          MVertex *v3 = tab[i + 1][j + 1];
          MVertex *v4 = tab[i][j + 1];
          MVertex *v5;

          if(CTX::instance()->mesh.recombineAll ||
             gf->meshAttributes.recombine) {
            switch(gf->meshAttributes.transfiniteArrangement) {
            case 1: // Right (right side tria)

              if(i > 0 && j < i) { _addQuadrangle(gf, v1, v2, v3, v4); }
              if(i == j) { _addTriangle(gf, v1, v2, v3); }
              break;

            case 2: // AlternateRight (side tria <- ->) == Alternate
            case -2: // AlternateLeft  (side tria <- ->)

              if(i % 2) {
                if(i > 0 && j < i) { _addQuadrangle(gf, v1, v2, v3, v4); }
                if(i == j) { _addTriangle(gf, v1, v2, v3); }
              }
              else {
                if(j == 0) { _addTriangle(gf, v1, v2, v3); }
                if(i > 0 && j < i) {
                  v5 = tab[i + 1][j + 2];
                  _addQuadrangle(gf, v1, v3, v5, v4);
                }
              }
              break;

            case -1: // Left (central tria)

              ni = 2 * (i / 4) + (i % 4 ? 1 : 0);
              if(i > 0 && j < ni) { _addQuadrangle(gf, v1, v2, v3, v4); }
              if(j == ni) { _addTriangle(gf, v1, v2, v3); }
              if(i > 0 && j >= ni && j < i) {
                v5 = tab[i + 1][j + 2];
                _addQuadrangle(gf, v1, v3, v5, v4);
              }
              break;

            default:
              if(message) {
                message = false;
                Msg::Warning("Unknown transfinite arrangement in surface %d",
                             gf->tag());
              }

            } // switch
          }
          else {
            if(i > 0 && j < i) { _addTriangle(gf, v1, v3, v4); }
            _addTriangle(gf, v1, v2, v3);
          }
        }
      }
    }
  }

  gf->meshStatistics.status = GFace::DONE;
  return 1;
}

bool id_loop_from_closed_pairs(const std::vector<std::array<int, 2>> &pairs,
                               std::vector<int> &loop)
{
  /* warning: does not verify if the loop is closed, eg [1,2], [2,3] will
   * produce [1,2,3] */
  loop.clear();
  if(pairs.size() < 2) return false;
  loop.reserve(pairs.size());
  std::vector<bool> done(pairs.size(), false);
  loop.resize(2);
  loop[0] = pairs[0][0];
  loop[1] = pairs[0][1];
  done[0] = true;
  while(loop.size() != pairs.size()) {
    int cv = loop.back();
    bool found = false;
    for(std::size_t i = 0; i < pairs.size(); ++i)
      if(!done[i]) {
        const std::array<int, 2> &vs = pairs[i];
        if(vs[0] == cv) {
          loop.push_back(vs[1]);
          done[i] = true;
          found = true;
        }
        else if(vs[1] == cv) {
          loop.push_back(vs[0]);
          done[i] = true;
          found = true;
        }
      }
    if(!found) {
      loop.clear();
      return false;
    }
  }

  return true;
}

bool faceIsValidQuad(GFace *gf, double angle_threshold_rad)
{
  if(gf->edges().size() != 4) return false;

  std::vector<std::array<int, 2>> vpairs;
  for(GEdge *ge : gf->edges()) {
    vpairs.push_back(
      {{ge->getBeginVertex()->tag(), ge->getEndVertex()->tag()}});
  }
  std::vector<int> loop;
  bool ok = id_loop_from_closed_pairs(vpairs, loop);
  if(!ok || loop.size() != vpairs.size()) return false;

  if(angle_threshold_rad > 0.) {
    /* Check angle at each corner */
    for(std::size_t i = 0; i < loop.size(); ++i) {
      int v1 = loop[i];
      int v2 = loop[(i + 1) % loop.size()];
      int v3 = loop[(i + 2) % loop.size()];
      SVector3 t21, t23;
      for(GEdge *ge : gf->edges()) {
        int e_v1 = ge->getBeginVertex()->tag();
        int e_v2 = ge->getEndVertex()->tag();
        if(e_v1 == v1 && e_v2 == v2) {
          Range<double> range = ge->parBounds(0);
          SVector3 t = ge->firstDer(range.high());
          t.normalize();
          t21 = -t;
        }
        else if(e_v1 == v2 && e_v2 == v1) {
          Range<double> range = ge->parBounds(0);
          SVector3 t = ge->firstDer(range.low());
          t.normalize();
          t21 = t;
        }
        else if(e_v1 == v2 && e_v2 == v3) {
          Range<double> range = ge->parBounds(0);
          SVector3 t = ge->firstDer(range.low());
          t.normalize();
          t23 = t;
        }
        else if(e_v1 == v3 && e_v2 == v2) {
          Range<double> range = ge->parBounds(0);
          SVector3 t = ge->firstDer(range.high());
          t.normalize();
          t23 = -t;
        }
      }
      double agl = angle(t21, t23);
      if(agl > angle_threshold_rad) {
        Msg::Debug("Quadrangular face %i rejected for automatic transfinite "
                   "because corner angle = %.3f deg > threshold = %.3f deg",
                   gf->tag(), 180. / M_PI * agl,
                   180. / M_PI * angle_threshold_rad);
        return false;
      }
    }
  }

  return true;
}

GEdge *quad_face_opposite_edge(GFace *face, GEdge *edge)
{
  if(face->edges().size() != 4) return nullptr;
  GEdge *op = nullptr;
  int v1 = edge->getBeginVertex()->tag();
  int v2 = edge->getEndVertex()->tag();
  bool edgeInside = false;
  for(GEdge *ge : face->edges()) {
    if(ge == edge) {
      edgeInside = true;
      continue;
    }
    int cv1 = ge->getBeginVertex()->tag();
    int cv2 = ge->getEndVertex()->tag();
    if(cv1 != v1 && cv1 != v2 && cv2 != v1 && cv2 != v2) {
      if(op == nullptr) { op = ge; }
      else { /* already found ? should not happen */
        return nullptr;
      }
    }
  }
  if(!edgeInside) return nullptr;
  return op;
}

void build_chords(const std::set<GFace *> &faces,
                  std::vector<std::set<GEdge *>> &chords, double maxDiffRel,
                  bool ignoreEmbedded = false)
{
  /* Connectivity */
  std::map<GEdge *, std::vector<GFace *>> edge2faces;
  for(GFace *gf : faces) {
    if(!ignoreEmbedded &&
       (gf->embeddedEdges().size() > 0 || gf->embeddedVertices().size() > 0))
      continue;
    for(GEdge *ge : gf->edges()) { edge2faces[ge].push_back(gf); }
  }

  Msg::Debug("build chords: %li faces, %li edges", faces.size(),
             edge2faces.size());

  std::map<GEdge *, bool> done;
  for(auto &kv : edge2faces) {
    GEdge *geInit = kv.first;
    if(done.find(geInit) != done.end()) continue;

    /* Breath first search starting from a GEdge */
    std::queue<GEdge *> Q;
    Q.push(geInit);
    done[geInit] = true;

    std::set<GEdge *> chord;
    while(Q.size() > 0) {
      GEdge *ge = Q.front();
      Q.pop();
      int n = meshGEdgeTargetNumberOfPoints(ge);
      chord.insert(ge);
      for(GFace *gf : edge2faces[ge]) {
        GEdge *ge2 = quad_face_opposite_edge(gf, ge);
        if(ge2 && done.find(ge2) == done.end()) {
          int n2 = meshGEdgeTargetNumberOfPoints(ge2);
          if(double(std::abs(n2 - n)) / double(std::max(n, n2)) > maxDiffRel) {
            continue;
          }
          Q.push(ge2);
          done[ge2] = true;
        }
      }
    }

    if(chord.size() >= 2) { chords.push_back(chord); }
  }
}

bool MeshSetTransfiniteFacesAutomatic(std::set<GFace *> &candidate_faces,
                                      double cornerAngle, bool setRecombine,
                                      double maxDiffRel, bool ignoreEmbedded)
{
  /* Filter with topology and geometry */
  std::set<GFace *> faces;
  for(GFace *gf : candidate_faces) {
    if(!ignoreEmbedded &&
       (gf->embeddedEdges().size() > 0 || gf->embeddedVertices().size() > 0))
      continue;
    if(faceIsValidQuad(gf, cornerAngle)) { faces.insert(gf); }
  }

  /* Build the topological chords in quad structure */
  Msg::Debug(
    "transfinite automatic: building chords from %li quadrangular faces...",
    faces.size());
  std::vector<std::set<GEdge *>> chords;
  build_chords(faces, chords, maxDiffRel);
  Msg::Debug("... found %li chords", chords.size());

  /* Determine the number of points, set the transfinite curves */
  Msg::Debug("transfinite automatic: assigning number of points ...");
  std::size_t ne = 0;
  for(std::set<GEdge *> &chord : chords) {
    double avgNbPoints = 0;
    for(GEdge *ge : chord) {
      int n = meshGEdgeTargetNumberOfPoints(ge);
      avgNbPoints += double(n);
    }
    avgNbPoints /= chord.size();

    int N = int(avgNbPoints + 0.5);
    if(N == 0) N = 2;
    if(N % 2 == 1) N = N + 1;

    Msg::Debug("- chord with %li edges -> %i points\n", chord.size(), N);

    for(GEdge *ge : chord) {
      ge->meshAttributes.method = MESH_TRANSFINITE;
      ge->meshAttributes.nbPointsTransfinite = N;
      ge->meshAttributes.typeTransfinite = 1; /* Progression */
      ge->meshAttributes.coeffTransfinite = 1.;
      if(CTX::instance()->mesh.algo2d == ALGO_2D_QUAD_QUASI_STRUCT) {
        ge->meshAttributes.typeTransfinite = 4; /* Use size map */
      }
      ne += 1;
    }
  }
  Msg::Debug("transfinite automatic: transfinite set on %li edges", ne);

  std::size_t nf = 0;
  for(GFace *gf : faces) {
    bool transfinite = true;
    std::vector<int> nPoints(4, 0);
    std::size_t count = 0;
    for(GEdge *ge : gf->edges()) {
      if(ge->meshAttributes.method != MESH_TRANSFINITE) {
        transfinite = false;
        break;
      }
      nPoints[count] = ge->meshAttributes.nbPointsTransfinite;
      count += 1;
    }
    if(transfinite && nPoints[0] == nPoints[2] && nPoints[1] == nPoints[3]) {
      nf += 1;
      gf->meshAttributes.method = MESH_TRANSFINITE;
      gf->meshAttributes.transfiniteArrangement = 1; /* Right */
      if(setRecombine) {
        gf->meshAttributes.recombine = 1;
        gf->meshAttributes.recombineAngle = 45.;
      }
    }
  }
  Msg::Debug("transfinite automatic: transfinite set on %li faces", nf);
  return true;
}
