KADATH
domain_compact_affecte_tau_one_coef.cpp
1 /*
2  Copyright 2017 Philippe Grandclement
3 
4  This file is part of Kadath.
5 
6  Kadath is free software: you can redistribute it and/or modify
7  it under the terms of the GNU General Public License as published by
8  the Free Software Foundation, either version 3 of the License, or
9  (at your option) any later version.
10 
11  Kadath is distributed in the hope that it will be useful,
12  but WITHOUT ANY WARRANTY; without even the implied warranty of
13  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14  GNU General Public License for more details.
15 
16  You should have received a copy of the GNU General Public License
17  along with Kadath. If not, see <http://www.gnu.org/licenses/>.
18 */
19 
20 #include "headcpp.hpp"
21 
22 #include "spheric.hpp"
23 #include "scalar.hpp"
24 #include "tensor_impl.hpp"
25 #include "tensor.hpp"
26 namespace Kadath {
27 
28 void Domain_compact::affecte_tau_one_coef_val_domain_mquant (Val_domain& so, int mquant, int cc, int& conte) const {
29 
30  so.is_zero = false ;
31  so.allocate_coef() ;
32  *so.cf=0. ;
33  Index pos_cf(nbr_coefs) ;
34 
35  bool found = false ;
36 
37  // Loop on theta
38  int baset = (*so.get_base().bases_1d[1]) (0) ;
39  for (int j=0 ; j<nbr_coefs(1) ; j++) {
40  pos_cf.set(1) = j ;
41  bool true_tet = true ;
42  switch (baset) {
43  case COS_EVEN:
44  if ((j==0) && (mquant!=0))
45  true_tet = false ;
46  break ;
47  case COS_ODD:
48  if ((j==nbr_coefs(1)-1) || ((j==0) && (mquant!=0)))
49  true_tet = false ;
50  break ;
51  case SIN_EVEN:
52  if (((j==1) && (mquant>1)) || (j==0) || (j==nbr_coefs(1)-1))
53  true_tet = false ;
54  break ;
55  case SIN_ODD:
56  if (((j==0) && (mquant>1)) || (j==nbr_coefs(1)-1))
57  true_tet = false ;
58  break ;
59  default:
60  cerr << "Unknow theta basis in Domain_compact::affecte_one_coef_val_domain" << endl ;
61  abort() ;
62  }
63  if (true_tet)
64  for (int i=0 ; i<nbr_coefs(0) ; i++) {
65  pos_cf.set(0) = i ;
66  if (conte==cc) {
67  so.cf->set(pos_cf) = 1;
68  found = true ;
69  // regularity ??
70  if ((baset==COS_EVEN) || (baset==COS_ODD))
71  if (mquant!=0) {
72  pos_cf.set(1) = 0 ;
73  so.cf->set(pos_cf) = -1 ;
74  }
75  if (baset==SIN_EVEN)
76  if (mquant>1) {
77  pos_cf.set(1) = 1 ;
78  so.cf->set(pos_cf) = -j ;
79  }
80  if (baset==SIN_ODD)
81  if (mquant>1) {
82  pos_cf.set(1) = 0 ;
83  so.cf->set(pos_cf) = -(2*j+1) ;
84  }
85  }
86  else {
87  so.cf->set(pos_cf) = 0. ;
88  }
89  conte ++ ;
90  }
91  }
92 
93  // If not found put to zero :
94  if (!found)
95  so.set_zero() ;
96 }
97 
98 void Domain_compact::affecte_tau_one_coef_val_domain (Val_domain& so, int mlim, int cc, int& conte) const {
99 
100  int kmin = 2*mlim+2 ;
101 
102  so.is_zero = false ;
103  so.allocate_coef() ;
104  *so.cf=0. ;
105  Index pos_cf(nbr_coefs) ;
106 
107  bool found = false ;
108 
109  // True values
110  // Loop on phi :
111  for (int k=0 ; k<nbr_coefs(2)-1 ; k++)
112  if (k!=1) {
113  pos_cf.set(2) = k ;
114  // Loop on theta
115  int baset = (*so.get_base().bases_1d[1]) (k) ;
116  for (int j=0 ; j<nbr_coefs(1) ; j++) {
117  pos_cf.set(1) = j ;
118  bool true_tet = true ;
119  switch (baset) {
120  case COS_EVEN:
121  if ((j==0) && (k>=kmin))
122  true_tet = false ;
123  break ;
124  case COS_ODD:
125  if ((j==nbr_coefs(1)-1) || ((j==0) && (k>=kmin)))
126  true_tet = false ;
127  break ;
128  case SIN_EVEN:
129  if (((j==1)&&(k>=kmin+2))||(j==0) || (j==nbr_coefs(1)-1))
130  true_tet = false ;
131  break ;
132  case SIN_ODD:
133  if (((j==0)&&(k>=kmin+2))||(j==nbr_coefs(1)-1))
134  true_tet = false ;
135  break ;
136  default:
137  cerr << "Unknow theta basis in Domain_compact::affecte_one_coef_val_domain" << endl ;
138  abort() ;
139  }
140 
141  if (true_tet)
142  for (int i=0 ; i<nbr_coefs(0) ; i++) {
143  pos_cf.set(0) = i ;
144  if (conte==cc) {
145  so.cf->set(pos_cf) = 1;
146  found = true ;
147  // regularity ??
148  if ((baset==COS_EVEN) || (baset==COS_ODD))
149  if (k>=kmin) {
150  pos_cf.set(1) = 0 ;
151  so.cf->set(pos_cf) = -1 ;
152  }
153 
154  if (baset==SIN_EVEN)
155  if (k>=kmin+2) {
156  pos_cf.set(1) = 1 ;
157  so.cf->set(pos_cf) = -j ;
158  }
159  if (baset==SIN_ODD)
160  if (k>=kmin+2) {
161  pos_cf.set(1) = 0 ;
162  so.cf->set(pos_cf) = -(2*j+1) ;
163  }
164  }
165  else {
166  so.cf->set(pos_cf) = 0. ;
167  }
168  conte ++ ;
169  }
170  }
171  }
172  // If not found put to zero :
173  if (!found)
174  so.set_zero() ;
175 }
176 
177 void Domain_compact::affecte_tau_one_coef (Tensor& tt, int dom, int cc, int& pos_cf) const {
178 
179  // Check right domain
180  assert (tt.get_space().get_domain(dom)==this) ;
181 
182  int val = tt.get_valence() ;
183  switch (val) {
184  case 0 :
185  if (tt.is_m_quant_affected()) {
186  // Special case for bosonic field
187  affecte_tau_one_coef_val_domain_mquant (tt.set().set_domain(dom), tt.get_parameters().get_m_quant(), cc, pos_cf) ;
188  }
189  else
190  affecte_tau_one_coef_val_domain (tt.set().set_domain(dom), 0, cc, pos_cf) ;
191  break ;
192  case 1 : {
193  bool found = false ;
194  // Cartesian basis
195  if (tt.get_basis().get_basis(dom)==CARTESIAN_BASIS) {
196  affecte_tau_one_coef_val_domain (tt.set(1).set_domain(dom), 0, cc, pos_cf) ;
197  affecte_tau_one_coef_val_domain (tt.set(2).set_domain(dom), 0, cc, pos_cf) ;
198  affecte_tau_one_coef_val_domain (tt.set(3).set_domain(dom), 0, cc, pos_cf) ;
199  found = true ;
200  }
201  // Spherical coordinates
202  if (tt.get_basis().get_basis(dom)==SPHERICAL_BASIS) {
203  affecte_tau_one_coef_val_domain (tt.set(1).set_domain(dom), 0, cc, pos_cf) ;
204  affecte_tau_one_coef_val_domain (tt.set(2).set_domain(dom), 1, cc, pos_cf) ;
205  affecte_tau_one_coef_val_domain (tt.set(3).set_domain(dom), 1, cc, pos_cf) ;
206  found = true ;
207  }
208  if (!found) {
209  cerr << "Unknown type of vector Domain_compact::affecte_tau_one_coef" << endl ;
210  abort() ;
211  }
212  }
213  break ;
214  case 2 : {
215  bool found = false ;
216  // Cartesian basis and symetric
217  if ((tt.get_basis().get_basis(dom)==CARTESIAN_BASIS) && (tt.get_n_comp()==6)) {
218  affecte_tau_one_coef_val_domain (tt.set(1,1).set_domain(dom), 0, cc, pos_cf) ;
219  affecte_tau_one_coef_val_domain (tt.set(1,2).set_domain(dom), 0, cc, pos_cf) ;
220  affecte_tau_one_coef_val_domain (tt.set(1,3).set_domain(dom), 0, cc, pos_cf) ;
221  affecte_tau_one_coef_val_domain (tt.set(2,2).set_domain(dom), 0, cc, pos_cf) ;
222  affecte_tau_one_coef_val_domain (tt.set(2,3).set_domain(dom), 0, cc, pos_cf) ;
223  affecte_tau_one_coef_val_domain (tt.set(3,3).set_domain(dom), 0, cc, pos_cf) ;
224  found = true ;
225  }
226  // Cartesian basis and not symetric
227  if ((tt.get_basis().get_basis(dom)==CARTESIAN_BASIS) && (tt.get_n_comp()==9)) {
228  affecte_tau_one_coef_val_domain (tt.set(1,1).set_domain(dom), 0, cc, pos_cf) ;
229  affecte_tau_one_coef_val_domain (tt.set(1,2).set_domain(dom), 0, cc, pos_cf) ;
230  affecte_tau_one_coef_val_domain (tt.set(1,3).set_domain(dom), 0, cc, pos_cf) ;
231  affecte_tau_one_coef_val_domain (tt.set(2,1).set_domain(dom), 0, cc, pos_cf) ;
232  affecte_tau_one_coef_val_domain (tt.set(2,2).set_domain(dom), 0, cc, pos_cf) ;
233  affecte_tau_one_coef_val_domain (tt.set(2,3).set_domain(dom), 0, cc, pos_cf) ;
234  affecte_tau_one_coef_val_domain (tt.set(3,1).set_domain(dom), 0, cc, pos_cf) ;
235  affecte_tau_one_coef_val_domain (tt.set(3,2).set_domain(dom), 0, cc, pos_cf) ;
236  affecte_tau_one_coef_val_domain (tt.set(3,3).set_domain(dom), 0, cc, pos_cf) ;
237  found = true ;
238  }
239  // Spherical coordinates and symetric
240  if ((tt.get_basis().get_basis(dom)==SPHERICAL_BASIS) && (tt.get_n_comp()==6)) {
241  affecte_tau_one_coef_val_domain (tt.set(1,1).set_domain(dom), 0,cc ,pos_cf) ;
242  affecte_tau_one_coef_val_domain (tt.set(1,2).set_domain(dom), 1, cc, pos_cf) ;
243  affecte_tau_one_coef_val_domain (tt.set(1,3).set_domain(dom), 1, cc, pos_cf) ;
244  affecte_tau_one_coef_val_domain (tt.set(2,2).set_domain(dom), 2, cc, pos_cf) ;
245  affecte_tau_one_coef_val_domain (tt.set(2,3).set_domain(dom), 2, cc, pos_cf) ;
246  affecte_tau_one_coef_val_domain (tt.set(3,3).set_domain(dom), 2, cc, pos_cf) ;
247  found = true ;
248  }
249  // Spherical coordinates and not symetric
250  if ((tt.get_basis().get_basis(dom)==SPHERICAL_BASIS) && (tt.get_n_comp()==9)) {
251  affecte_tau_one_coef_val_domain (tt.set(1,1).set_domain(dom), 0,cc ,pos_cf) ;
252  affecte_tau_one_coef_val_domain (tt.set(1,2).set_domain(dom), 1, cc, pos_cf) ;
253  affecte_tau_one_coef_val_domain (tt.set(1,3).set_domain(dom), 1, cc, pos_cf) ;
254  affecte_tau_one_coef_val_domain (tt.set(2,1).set_domain(dom), 1, cc, pos_cf) ;
255  affecte_tau_one_coef_val_domain (tt.set(2,2).set_domain(dom), 2, cc, pos_cf) ;
256  affecte_tau_one_coef_val_domain (tt.set(2,3).set_domain(dom), 2, cc, pos_cf) ;
257  affecte_tau_one_coef_val_domain (tt.set(3,1).set_domain(dom), 1, cc, pos_cf) ;
258  affecte_tau_one_coef_val_domain (tt.set(3,2).set_domain(dom), 2, cc, pos_cf) ;
259  affecte_tau_one_coef_val_domain (tt.set(3,3).set_domain(dom), 2, cc, pos_cf) ;
260  found = true ;
261  }
262  if (!found) {
263  cerr << "Unknown type of 2-tensor Domain_compact::affecte_tau_one_coef" << endl ;
264  abort() ;
265  }
266  }
267  break ;
268  default :
269  cerr << "Valence " << val << " not implemented in Domain_compact::affecte_tau" << endl ;
270  break ;
271  }
272 }}
Kadath::Array::set
reference set(const Index &pos)
Read/write of an element.
Definition: array.hpp:186
Kadath::Base_spectral::bases_1d
Bases_container bases_1d
Arrays containing the various basis of decomposition.
Definition: base_spectral.hpp:82
Kadath::Base_tensor::get_basis
int get_basis(int nd) const
Read only the basis in a given domain.
Definition: base_tensor.hpp:93
Kadath::Domain_compact::affecte_tau_one_coef_val_domain
void affecte_tau_one_coef_val_domain(Val_domain &so, int mlim, int cc, int &pos_cf) const
Sets at most one coefficient of a Val_domain to 1.
Definition: domain_compact_affecte_tau_one_coef.cpp:98
Kadath::Domain_compact::affecte_tau_one_coef_val_domain_mquant
void affecte_tau_one_coef_val_domain_mquant(Val_domain &so, int mquant, int cc, int &pos_cf) const
Sets at most one coefficient of a Val_domain to 1.
Definition: domain_compact_affecte_tau_one_coef.cpp:28
Kadath::Domain_compact::affecte_tau_one_coef
virtual void affecte_tau_one_coef(Tensor &, int, int, int &) const
Sets at most one coefficient of a Tensor to 1.
Definition: domain_compact_affecte_tau_one_coef.cpp:177
Kadath::Domain::nbr_coefs
Dim_array nbr_coefs
Number of coefficients.
Definition: space.hpp:66
Kadath::Index
Class that gives the position inside a multi-dimensional Array.
Definition: index.hpp:38
Kadath::Index::set
int & set(int i)
Read/write of the position in a given dimension.
Definition: index.hpp:72
Kadath::Param_tensor::get_m_quant
int get_m_quant() const
Returns .
Definition: tensor.hpp:747
Kadath::Scalar::set_domain
Val_domain & set_domain(int)
Read/write of a particular Val_domain.
Definition: scalar.hpp:555
Kadath::Space::get_domain
const Domain * get_domain(int i) const
returns a pointer on the domain.
Definition: space.hpp:1385
Kadath::Tensor
Tensor handling.
Definition: tensor.hpp:149
Kadath::Tensor::get_parameters
const Param_tensor & get_parameters() const
Returns a pointer on the possible additional parameter.
Definition: tensor.hpp:311
Kadath::Tensor::set
Scalar & set(const Array< int > &ind)
Returns the value of a component (read/write version).
Definition: tensor_impl.hpp:91
Kadath::Tensor::get_basis
const Base_tensor & get_basis() const
Returns the vectorial basis (triad) on which the components are defined.
Definition: tensor.hpp:504
Kadath::Tensor::get_n_comp
int get_n_comp() const
Returns the number of stored components.
Definition: tensor.hpp:514
Kadath::Tensor::get_valence
int get_valence() const
Returns the valence.
Definition: tensor.hpp:509
Kadath::Tensor::is_m_quant_affected
bool is_m_quant_affected() const
Checks whether the additional parameter is affected (used for boson stars for instance).
Definition: tensor.hpp:326
Kadath::Tensor::get_space
const Space & get_space() const
Returns the Space.
Definition: tensor.hpp:499
Kadath::Val_domain
Class for storing the basis of decompositions of a field and its values on both the configuration and...
Definition: val_domain.hpp:69
Kadath::Val_domain::set_zero
void set_zero()
Sets the Val_domain to zero (logical state to zero and arrays destroyed).
Definition: val_domain.cpp:223
Kadath::Val_domain::allocate_coef
void allocate_coef()
Allocates the values in the coefficient space and destroys the values in the configuration space.
Definition: val_domain.cpp:216
Kadath::Val_domain::cf
Array< double > * cf
Pointer on the Array of the values in the coefficients space.
Definition: val_domain.hpp:77
Kadath::Val_domain::is_zero
bool is_zero
Indicator used for null fields (for speed issues).
Definition: val_domain.hpp:74
Kadath::Val_domain::get_base
const Base_spectral & get_base() const
Returns the basis of decomposition.
Definition: val_domain.hpp:122