1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
|
/*
* Tests of class Time_slice
*
* (see file time_slice.h for documentation).
*
*/
/*
* Copyright (c) 2004 Eric Gourgoulhon, Jose Luis Jaramillo & Jerome Novak
*
* This file is part of LORENE.
*
* LORENE is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License version 2
* as published by the Free Software Foundation.
*
* LORENE 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 General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with LORENE; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
*
*/
char test_time_slice_C[] = "$Header: /cvsroot/Lorene/Codes/Test/Einstein/test_time_slice.C,v 1.7 2014/10/13 08:54:00 j_novak Exp $" ;
/*
* $Id: test_time_slice.C,v 1.7 2014/10/13 08:54:00 j_novak Exp $
* $Log: test_time_slice.C,v $
* Revision 1.7 2014/10/13 08:54:00 j_novak
* Lorene classes and functions now belong to the namespace Lorene.
*
* Revision 1.6 2014/10/06 15:12:52 j_novak
* Modified #include directives to use c++ syntax.
*
* Revision 1.5 2004/04/05 11:54:43 j_novak
* First operational (but not tested!) version of checks of Eintein equation.
*
* Revision 1.4 2004/03/30 14:02:05 j_novak
* Test of the class Tslide_dirac_max (preliminary version).
*
* Revision 1.3 2004/03/29 12:01:12 e_gourgoulhon
* Added test for new class Time_slice_conf.
*
* Revision 1.2 2004/03/26 13:33:03 j_novak
* New methods for accessing/updating members (nn(), beta(), gam_uu(), k_uu(), ...)
*
* Revision 1.1 2004/03/24 14:58:19 e_gourgoulhon
* First version
*
*
* $Header: /cvsroot/Lorene/Codes/Test/Einstein/test_time_slice.C,v 1.7 2014/10/13 08:54:00 j_novak Exp $
*
*/
// C++ headers
#include "headcpp.h"
// C headers
#include <cstdlib>
// Lorene headers
#include "nbr_spx.h"
#include "tensor.h"
#include "metric.h"
#include "time_slice.h"
#include "utilitaires.h"
#include "graphique.h"
using namespace Lorene ;
int main() {
// Setup of a multi-domain grid (Lorene class Mg3d)
// ------------------------------------------------
int nz = 3 ; // Number of domains
int nr = 7 ; // Number of collocation points in r in each domain
int nt = 5 ; // Number of collocation points in theta in each domain
int np = 8 ; // Number of collocation points in phi in each domain
int symmetry_theta = SYM ; // symmetry with respect to the equatorial plane
int symmetry_phi = NONSYM ; // no symmetry in phi
bool compact = true ; // external domain is compactified
// Multi-domain grid construction:
Mg3d mgrid(nz, nr, nt, np, symmetry_theta, symmetry_phi, compact) ;
cout << mgrid << endl ;
// Setup of an affine mapping : grid --> physical space (Lorene class Map_af)
// --------------------------------------------------------------------------
// radial boundaries of each domain:
double r_limits[] = {0., 2., 3., __infinity} ;
assert( nz == 3 ) ; // since the above array described only 3 domains
Map_af map(mgrid, r_limits) ; // Mapping construction
cout << map << endl ;
// Construction of a time slice Sigma_t
// ------------------------------------
Time_slice sigma(map, map.get_bvect_spher()) ;
sigma.set_scheme_order(0) ; //stationary space-time
// cout << sigma << endl ;
// arrete() ;
// cout << sigma.nn() ;
// arrete() ;
// cout << sigma.beta() ;
// arrete() ;
// cout << sigma.gam_uu() ;
// arrete() ;
// cout << sigma.gam_dd() ;
// arrete() ;
// cout << sigma.k_dd() ;
// arrete() ;
// cout << sigma.k_uu() << endl ;
// cout << "nn : " << sigma.nn() << endl ;
// cout << "beta : " << sigma.beta() << endl ;
// cout << "gam_uu : " << sigma.gam_uu() << endl ;
// cout << "gam : " << sigma.gam() << endl ;
// cout << "gam_dd : " << sigma.gam_dd() << endl ;
// Construction of a time slice with conformal decomposition
// ---------------------------------------------------------
Time_slice_conf sigma_c(sigma.nn(), sigma.beta(), sigma.gam_uu(),
sigma.k_uu(), map.flat_met_spher()) ;
//cout << sigma_c << endl ;
const Coord& x = map.x ;
const Coord& y = map.y ;
const Coord& r = map.r ;
Scalar khi_init(map) ;
khi_init = exp( - r*r ) * x*y ;
khi_init.std_spectral_base() ;
khi_init.set_outer_boundary(nz-1, 0.) ;
Scalar mu_init(map) ;
mu_init = 1. / (1.+r*r*r*r*r*r) ;
mu_init.std_spectral_base() ;
mu_init.mult_r() ;
mu_init.mult_r() ;
mu_init.mult_r() ;
mu_init.mult_cost() ;
Sym_tensor_tt hijtt(map, map.get_bvect_spher() , map.flat_met_spher()) ;
hijtt.set_khi_mu( khi_init, mu_init ) ;
Scalar trace_nulle(map) ;
trace_nulle = 0 ;
Sym_tensor_trans hij(map, map.get_bvect_spher() , map.flat_met_spher()) ;
hij.set_tt_trace(hijtt, trace_nulle) ;
Tslice_dirac_max dirac_slice(sigma_c.nn(), sigma_c.beta() ,
map.flat_met_spher(), sigma_c.psi(),
hij, sigma_c.aa()) ;
dirac_slice.set_scheme_order(0) ; //stationary space-time
cout << dirac_slice ;
dirac_slice.check_hamiltonian_constraint() ;
dirac_slice.check_momentum_constraint() ;
dirac_slice.check_dynamical_equations() ;
return EXIT_SUCCESS ;
}
|
