src/MEFISTO2/Rn.h

   1 //  MEFISTO :  library to compute 2D triangulation from segmented boundaries
   2 //
   3 //  Copyright (C) 2003  Laboratoire J.-L. Lions UPMC Paris
   4 //
   5 //  This library is free software; you can redistribute it and/or
   6 //  modify it under the terms of the GNU Lesser General Public
   7 //  License as published by the Free Software Foundation; either
   8 //  version 2.1 of the License.
   9 //
  10 //  This library is distributed in the hope that it will be useful,
  11 //  but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 //  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  13 //  Lesser General Public License for more details.
  14 //
  15 //  You should have received a copy of the GNU Lesser General Public
  16 //  License along with this library; if not, write to the Free Software
  17 //  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307 USA
  18 //
  19 //  See http://www.ann.jussieu.fr/~perronne or email Perronnet@ann.jussieu.fr
  20 //                                          or email Hecht@ann.jussieu.fr
  21 //
  22 //
  23 //  File   : Rn.h
  24 //  Module : SMESH
  25 //  Authors: Frederic HECHT & Alain PERRONNET
  26 //
  27
  28 #ifndef Rn__h
  29 #define Rn__h
  30
  31 #include <gp_Pnt.hxx>      //Dans OpenCascade
  32 #include <gp_Vec.hxx>      //Dans OpenCascade
  33 #include <gp_Dir.hxx>      //Dans OpenCascade
  34
  35 //+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
  36 // BUT:   Definir les espaces affines R R2 R3 R4 soit Rn pour n=1,2,3,4
  37 //+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
  38 // AUTEUR : Frederic HECHT      ANALYSE NUMERIQUE UPMC  PARIS   OCTOBRE   2000
  39 // MODIFS : Alain    PERRONNET  ANALYSE NUMERIQUE UPMC  PARIS   NOVEMBRE  2000
  40 //...............................................................................
  41 #include <iostream>
  42 #include <cmath>
  43
  44 using namespace std;
  45
  46 template<class T> inline T Abs (const T &a){return a <0 ? -a : a;}
  47 template<class T> inline void Echange (T& a,T& b) {T c=a;a=b;b=c;}
  48
  49 template<class T> inline T Min (const T &a,const T &b)  {return a < b ? a : b;}
  50 template<class T> inline T Max (const T &a,const T & b) {return a > b ? a : b;}
  51
  52 template<class T> inline T Max (const T &a,const T & b,const T & c){return Max(Max(a,b),c);}
  53 template<class T> inline T Min (const T &a,const T & b,const T & c){return Min(Min(a,b),c);}
  54
  55 template<class T> inline T Max (const T &a,const T & b,const T & c,const T & d)
  56  {return Max(Max(a,b),Max(c,d));}
  57 template<class T> inline T Min (const T &a,const T & b,const T & c,const T & d)
  58  {return Min(Min(a,b),Min(c,d));}
  59
  60 //le type Nom des entites geometriques P L S V O
  61 //===========
  62 typedef char Nom[1+24];
  63
  64 //le type N des nombres entiers positifs
  65 //=========
  66 typedef unsigned long int N;
  67
  68 //le type Z des nombres entiers relatifs
  69 //=========
  70 typedef long int Z;
  71
  72 //le type R des nombres "reels"
  73 //=========
  74 typedef double R;
  75
  76 //le type XPoint  des coordonnees d'un pixel dans une fenetre
  77 //==============
  78 //typedef struct { short int x,y } XPoint;  //en fait ce type est defini dans X11-Window
  79                                             // #include <X11/Xlib.h>
  80 //la classe R2
  81 //============
  82 class R2
  83 {
  84   friend ostream& operator << (ostream& f, const R2 & P)
  85   { f << P.x << ' ' << P.y ; return f; }
  86   friend istream& operator >> (istream& f, R2 & P)
  87   { f >> P.x >> P.y ; return f; }
  88
  89   friend ostream& operator << (ostream& f, const R2 * P)
  90   { f << P->x << ' ' << P->y ; return f; }
  91   friend istream& operator >> (istream& f, R2 * P)
  92   { f >> P->x >> P->y ; return f; }
  93
  94 public:
  95   R x,y;  //les donnees
  96
  97   R2 () :x(0),y(0) {}              //les constructeurs
  98   R2 (R a,R b)   :x(a),y(b)  {}
  99   R2 (R2 A,R2 B) :x(B.x-A.x),y(B.y-A.y)  {} //vecteur defini par 2 points
 100
 101   R2  operator+(R2 P) const {return R2(x+P.x,y+P.y);}     // Q+P possible
 102   R2  operator+=(R2 P)  {x += P.x;y += P.y; return *this;}// Q+=P;
 103   R2  operator-(R2 P) const {return R2(x-P.x,y-P.y);}     // Q-P
 104   R2  operator-=(R2 P) {x -= P.x;y -= P.y; return *this;} // Q-=P;
 105   R2  operator-()const  {return R2(-x,-y);}               // -Q
 106   R2  operator+()const  {return *this;}                   // +Q
 107   R   operator,(R2 P)const {return x*P.x+y*P.y;} // produit scalaire (Q,P)
 108   R   operator^(R2 P)const {return x*P.y-y*P.x;} // produit vectoriel Q^P
 109   R2  operator*(R c)const {return R2(x*c,y*c);}  // produit a droite  P*c
 110   R2  operator*=(R c)  {x *= c; y *= c; return *this;}
 111   R2  operator/(R c)const {return R2(x/c,y/c);}  // division par un reel
 112   R2  operator/=(R c)  {x /= c; y /= c; return *this;}
 113   R & operator[](int i) {return (&x)[i];}        // la coordonnee i
 114   R2  orthogonal() {return R2(-y,x);}    //le vecteur orthogonal dans R2
 115   friend R2 operator*(R c,R2 P) {return P*c;}    // produit a gauche c*P
 116 };
 117
 118
 119 //la classe R3
 120 //============
 121 class R3
 122 {
 123   friend ostream& operator << (ostream& f, const R3 & P)
 124   { f << P.x << ' ' << P.y << ' ' << P.z ; return f; }
 125   friend istream& operator >> (istream& f, R3 & P)
 126   { f >> P.x >> P.y >> P.z ; return f; }
 127
 128   friend ostream& operator << (ostream& f, const R3 * P)
 129   { f << P->x << ' ' << P->y << ' ' << P->z ; return f; }
 130   friend istream& operator >> (istream& f, R3 * P)
 131   { f >> P->x >> P->y >> P->z ; return f; }
 132
 133 public:
 134   R  x,y,z;  //les 3 coordonnees
 135
 136   R3 () :x(0),y(0),z(0) {}  //les constructeurs
 137   R3 (R a,R b,R c):x(a),y(b),z(c)  {}                  //Point ou Vecteur (a,b,c)
 138   R3 (R3 A,R3 B):x(B.x-A.x),y(B.y-A.y),z(B.z-A.z)  {}  //Vecteur AB
 139
 140   R3 (gp_Pnt P) : x(P.X()), y(P.Y()), z(P.Z()) {}      //Point     d'OpenCascade
 141   R3 (gp_Vec V) : x(V.X()), y(V.Y()), z(V.Z()) {}      //Vecteur   d'OpenCascade
 142   R3 (gp_Dir P) : x(P.X()), y(P.Y()), z(P.Z()) {}      //Direction d'OpenCascade
 143
 144   R3   operator+(R3 P)const  {return R3(x+P.x,y+P.y,z+P.z);}
 145   R3   operator+=(R3 P)  {x += P.x; y += P.y; z += P.z; return *this;}
 146   R3   operator-(R3 P)const  {return R3(x-P.x,y-P.y,z-P.z);}
 147   R3   operator-=(R3 P)  {x -= P.x; y -= P.y; z -= P.z; return *this;}
 148   R3   operator-()const  {return R3(-x,-y,-z);}
 149   R3   operator+()const  {return *this;}
 150   R    operator,(R3 P)const {return  x*P.x+y*P.y+z*P.z;} // produit scalaire
 151   R3   operator^(R3 P)const {return R3(y*P.z-z*P.y ,P.x*z-x*P.z, x*P.y-y*P.x);} // produit vectoriel
 152   R3   operator*(R c)const {return R3(x*c,y*c,z*c);}
 153   R3   operator*=(R c)  {x *= c; y *= c; z *= c; return *this;}
 154   R3   operator/(R c)const {return R3(x/c,y/c,z/c);}
 155   R3   operator/=(R c)  {x /= c; y /= c; z /= c; return *this;}
 156   R  & operator[](int i) {return (&x)[i];}
 157   friend R3 operator*(R c,R3 P) {return P*c;}
 158
 159   R3   operator=(gp_Pnt P) {return R3(P.X(),P.Y(),P.Z());}
 160   R3   operator=(gp_Dir P) {return R3(P.X(),P.Y(),P.Z());}
 161
 162   friend gp_Pnt gp_pnt(R3 xyz) { return gp_Pnt(xyz.x,xyz.y,xyz.z); }
 163   //friend gp_Pnt operator=() { return gp_Pnt(x,y,z); }
 164   friend gp_Dir gp_dir(R3 xyz) { return gp_Dir(xyz.x,xyz.y,xyz.z); }
 165
 166   bool  DansPave( R3 & xyzMin, R3 & xyzMax )
 167     { return xyzMin.x<=x && x<=xyzMax.x &&
 168              xyzMin.y<=y && y<=xyzMax.y &&
 169              xyzMin.z<=z && z<=xyzMax.z; }
 170 };
 171
 172 //la classe R4
 173 //============
 174 class R4: public R3
 175 {
 176   friend ostream& operator <<(ostream& f, const R4 & P )
 177   { f << P.x << ' ' << P.y << ' ' << P.z << ' ' << P.omega; return f; }
 178   friend istream& operator >>(istream& f,  R4 & P)
 179   { f >> P.x >>  P.y >>  P.z >> P.omega ; return f; }
 180
 181   friend ostream& operator <<(ostream& f, const R4 * P )
 182   { f << P->x << ' ' << P->y << ' ' << P->z << ' ' << P->omega; return f; }
 183   friend istream& operator >>(istream& f,  R4 * P)
 184   { f >> P->x >>  P->y >>  P->z >> P->omega ; return f; }
 185
 186 public:
 187   R  omega;  //la donnee du poids supplementaire
 188
 189   R4 () :omega(1.0) {}  //les constructeurs
 190   R4 (R a,R b,R c,R d):R3(a,b,c),omega(d) {}
 191   R4 (R4 A,R4 B) :R3(B.x-A.x,B.y-A.y,B.z-A.z),omega(B.omega-A.omega) {}
 192
 193   R4   operator+(R4 P)const  {return R4(x+P.x,y+P.y,z+P.z,omega+P.omega);}
 194   R4   operator+=(R4 P)  {x += P.x;y += P.y;z += P.z;omega += P.omega;return *this;}
 195   R4   operator-(R4 P)const  {return R4(x-P.x,y-P.y,z-P.z,omega-P.omega);}
 196   R4   operator-=(R4 P) {x -= P.x;y -= P.y;z -= P.z;omega -= P.omega;return *this;}
 197   R4   operator-()const  {return R4(-x,-y,-z,-omega);}
 198   R4   operator+()const  {return *this;}
 199   R    operator,(R4 P)const {return  x*P.x+y*P.y+z*P.z+omega*P.omega;} // produit scalaire
 200   R4   operator*(R c)const {return R4(x*c,y*c,z*c,omega*c);}
 201   R4   operator*=(R c)  {x *= c; y *= c; z *= c; omega *= c; return *this;}
 202   R4   operator/(R c)const {return R4(x/c,y/c,z/c,omega/c);}
 203   R4   operator/=(R c)  {x /= c; y /= c; z /= c; omega /= c; return *this;}
 204   R  & operator[](int i) {return (&x)[i];}
 205   friend R4 operator*(R c,R4 P) {return P*c;}
 206 };
 207
 208 //quelques fonctions supplementaires sur ces classes
 209 //==================================================
 210 inline R Aire2d(const R2 A,const R2 B,const R2 C){return (B-A)^(C-A);}
 211 inline R Angle2d(R2 P){ return atan2(P.y,P.x);}
 212
 213 inline R Norme2_2(const R2 & A){ return (A,A);}
 214 inline R Norme2(const R2 & A){ return sqrt((A,A));}
 215 inline R NormeInfinie(const R2 & A){return Max(Abs(A.x),Abs(A.y));}
 216
 217 inline R Norme2_2(const R3 & A){ return (A,A);}
 218 inline R Norme2(const R3 & A){ return sqrt((A,A));}
 219 inline R NormeInfinie(const R3 & A){return Max(Abs(A.x),Abs(A.y),Abs(A.z));}
 220
 221 inline R Norme2_2(const R4 & A){ return (A,A);}
 222 inline R Norme2(const R4 & A){ return sqrt((A,A));}
 223 inline R NormeInfinie(const R4 & A){return Max(Abs(A.x),Abs(A.y),Abs(A.z),Abs(A.omega));}
 224
 225 inline R2 XY(R3 P) {return R2(P.x, P.y);}  //restriction a R2 d'un R3 par perte de z
 226 inline R3 Min(R3 P, R3 Q)
 227 {return R3(P.x<Q.x ? P.x : Q.x, P.y<Q.y ? P.y : Q.y, P.z<Q.z ? P.z : Q.z);} //Pt de xyz Min
 228 inline R3 Max(R3 P, R3 Q)
 229 {return R3(P.x>Q.x ? P.x : Q.x, P.y>Q.y ? P.y : Q.y, P.z>Q.z ? P.z : Q.z);} //Pt de xyz Max
 230
 231 #endif