HepLib
Loading...
Searching...
No Matches
HCubature.cpp
Go to the documentation of this file.
1
6#include <math.h>
7#include <complex>
8extern "C" {
9#include <quadmath.h>
10}
11#include "mpreal.h"
12#include "SD.h"
13
14using namespace std;
15typedef __float128 qREAL;
16typedef __complex128 qCOMPLEX;
17typedef long double dREAL;
18typedef complex<dREAL> dCOMPLEX;
19typedef mpfr::mpreal mpREAL;
20typedef complex<mpREAL> mpCOMPLEX;
21
22extern const qCOMPLEX qiEpsilon;
23extern mpREAL mpPi;
24extern mpREAL mpEuler;
26
27#include "Lib3_HCubature.h"
28namespace HepLib::SD {
29
30/*-----------------------------------------------------*/
31// HCubature Classes
32/*-----------------------------------------------------*/
33
34 int HCubature::Wrapper(unsigned int xdim, size_t npts, const qREAL *x, void *fdata, unsigned int ydim, qREAL *y) {
35 auto self = (HCubature*)fdata;
36 bool NaNQ = false;
37
38 unsigned int nthreads = self->Threads>0 ? self->Threads : omp_get_num_procs();
39 #pragma omp parallel for num_threads(nthreads) schedule(dynamic, 1)
40 for(int i=0; i<npts; i++) {
41 mpfr_free_cache();
42 auto pbit = mpfr::digits2bits(self->MPDigits);
43 if(mpfr::mpreal::get_default_prec()!=pbit) mpfr::mpreal::set_default_prec(pbit);
44 int iDQMP = self->XDQMP(x+i*xdim);
45 if( (self->IntegrandMP!=NULL) && (self->DQMP>2 || iDQMP>2) ) {
46 mpREAL mpx[xdim], mpy[ydim];
47 for(int j=0; j<xdim; j++) mpx[j] = x[i*xdim+j];
48 self->IntegrandMP(xdim, mpx, ydim, mpy, self->mpParameter, self->mpLambda);
49 for(int j=0; j<ydim; j++) y[i*ydim+j] = mpy[j].toFloat128();
50 } else if(self->DQMP>1 || iDQMP>1) {
51 self->IntegrandQ(xdim, x+i*xdim, ydim, y+i*ydim, self->qParameter, self->qLambda);
52 bool ok = true;
53 for(int j=0; j<ydim; j++) {
54 qREAL ytmp = y[i*ydim+j];
55 if(isnanq(ytmp) || isinfq(ytmp)) { ok = false; break; }
56 }
57
58 if(!ok && (self->IntegrandMP!=NULL)) {
59 mpREAL mpx[xdim], mpy[ydim];
60 for(int j=0; j<xdim; j++) mpx[j] = x[i*xdim+j];
61 self->IntegrandMP(xdim, mpx, ydim, mpy, self->mpParameter, self->mpLambda);
62 for(int j=0; j<ydim; j++) y[i*ydim+j] = mpy[j].toFloat128();
63 }
64 } else {
65 dREAL dx[xdim], dy[ydim];
66 for(int j=0; j<xdim; j++) dx[j] = (dREAL)x[i*xdim+j];
67 self->IntegrandD(xdim, dx, ydim, dy, self->dParameter, self->dLambda);
68 for(int j=0; j<ydim; j++) y[i*ydim+j] = dy[j];
69 bool ok = true;
70 for(int j=0; j<ydim; j++) {
71 qREAL ytmp = y[i*ydim+j];
72 if(isnanq(ytmp) || isinfq(ytmp)) { ok = false; break; }
73 }
74
75 if(!ok) self->IntegrandQ(xdim, x+i*xdim, ydim, y+i*ydim, self->qParameter, self->qLambda);
76
77 ok = true;
78 for(int j=0; j<ydim; j++) {
79 qREAL ytmp = y[i*ydim+j];
80 if(isnanq(ytmp) || isinfq(ytmp)) { ok = false; break; }
81 }
82 if(!ok && (self->IntegrandMP!=NULL)) {
83 mpREAL mpx[xdim], mpy[ydim];
84 for(int j=0; j<xdim; j++) mpx[j] = x[i*xdim+j];
85 self->IntegrandMP(xdim, mpx, ydim, mpy, self->mpParameter, self->mpLambda);
86 for(int j=0; j<ydim; j++) y[i*ydim+j] = mpy[j].toFloat128();
87 }
88 }
89
90 // Final Check NaN/Inf
91 bool ok = true;
92 for(int j=0; j<ydim; j++) {
93 qREAL ytmp = y[i*ydim+j];
94 if(isnanq(ytmp) || isinfq(ytmp)) { ok = false; break; }
95 }
96 if(!ok && (self->IntegrandMP!=NULL)) {
97 mpfr_free_cache();
98 auto pbit = mpfr::digits2bits(self->MPDigits*10);
99 if(mpfr::mpreal::get_default_prec()!=pbit) mpfr::mpreal::set_default_prec(pbit);
100 mpREAL mpx[xdim], mpy[ydim];
101 for(int j=0; j<xdim; j++) mpx[j] = x[i*xdim+j];
102 self->IntegrandMP(xdim, mpx, ydim, mpy, self->mpParameter, self->mpLambda);
103 for(int j=0; j<ydim; j++) y[i*ydim+j] = mpy[j].toFloat128();
104 pbit = mpfr::digits2bits(self->MPDigits);
105 if(mpfr::mpreal::get_default_prec()!=pbit) mpfr::mpreal::set_default_prec(pbit);
106 }
107
108 // final check
109 for(int j=0; j<ydim; j++) {
110 qREAL ytmp = y[i*ydim+j];
111 if(isnanq(ytmp) || isinfq(ytmp)) {
112 #pragma omp atomic
113 self->nNAN++;
114 if(self->nNAN > self->NANMax) { NaNQ = true; break; }
115 else y[i*ydim+j] = 0;
116 }
117 }
118 if(self->ReIm == 1) y[i*ydim+1] = 0;
119 else if(self->ReIm == 2) y[i*ydim+0] = 0;
120 mpfr_free_cache();
121 }
122
123 return NaNQ ? 1 : 0;
124 }
125
126 void HCubature::DefaultPrintHooker(qREAL *result, qREAL *epsabs, size_t *nrun, void *fdata) {
127 auto self = (HCubature*)fdata;
128 if(*nrun == self->MaxPTS + 1979) return;
129 if(self->RunTime>0) {
130 auto cur_timer = time(NULL);
131 auto used_time = difftime(cur_timer,self->StartTimer);
132 if(used_time>self->RunTime) {
133 self->NEval = *nrun;
134 *nrun = self->MaxPTS + 1979;
135 if(Verbose>10) cout << WarnColor << " Exit with Run out of Time: " << used_time << RESET << endl;
136 return;
137 }
138 }
139
140 if((*nrun-self->NEval) >= self->RunPTS) {
141 if(Verbose>10) {
142 char r0[64], r1[64], e0[32], e1[32];
143 quadmath_snprintf(r0, sizeof r0, "%.10QG", result[0]);
144 quadmath_snprintf(r1, sizeof r1, "%.10QG", result[1]);
145 quadmath_snprintf(e0, sizeof e0, "%.5QG", epsabs[0]);
146 quadmath_snprintf(e1, sizeof e1, "%.5QG", epsabs[1]);
147 cout << " N: " << (*nrun) << ", ";
148 if(self->ReIm==3 || self->ReIm==1) cout << "[" << r0 << ", " << e0 << "]";
149 if(self->ReIm==3 || self->ReIm==2) cout << "+I*[" << r1 << ", " << e1 << "]";
150 cout << endl;
151 }
152 self->NEval = *nrun;
153 }
154
155 if((isnanq(result[0]) || isnanq(result[1]) || isnanq(epsabs[0]) || isnanq(epsabs[1])) || (isinfq(result[0]) || isinfq(result[1]) || isinfq(epsabs[0]) || isinfq(epsabs[1]))) {
156 self->NEval = *nrun;
157 *nrun = self->MaxPTS + 1979;
158 if(self->LastState>0) self->LastState = -1;
159 if(Verbose>10) cout << ErrColor << " Exit with NaN, LastN=" << self->lastNRUN << RESET << endl;
160 return;
161 }
162
163 if(epsabs[0] > 1E30*self->EpsAbs || epsabs[1] > 1E30*self->EpsAbs) {
164 self->NEval = *nrun;
165 *nrun = self->MaxPTS + 1979;
166 if(self->LastState>0) self->LastState = -1;
167 if(Verbose>10) cout << WarnColor << " Exit with EpsAbs, LastN=" << self->lastNRUN << RESET << endl;
168 return;
169 }
170
171 if((self->LastState == 0) || (epsabs[0]<=2*self->LastAbsErr[0] && epsabs[1]<=2*self->LastAbsErr[1])) {
172 self->LastResult[0] = result[0];
173 self->LastResult[1] = result[1];
174 self->LastAbsErr[0] = epsabs[0];
175 self->LastAbsErr[1] = epsabs[1];
176 self->LastState = 1;
177 self->lastNRUN = *nrun;
178 self->lastnNAN = self->nNAN;
179 }
180
181 bool rExit = (epsabs[0] < self->EpsAbs+1E-50Q) || (epsabs[0] < fabsq(result[0])*self->EpsRel+1E-50Q);
182 bool iExit = (epsabs[1] < self->EpsAbs+1E-50Q) || (epsabs[1] < fabsq(result[1])*self->EpsRel+1E-50Q);
183 if(rExit && iExit && (*nrun)>self->MinPTS) {
184 self->NEval = *nrun;
185 *nrun = self->MaxPTS + 1979;
186 return;
187 }
188
189 auto pid = getpid();
190 ostringstream fn;
191 fn << pid << ".int.done";
192 if(file_exists(fn.str().c_str())) {
193 self->NEval = *nrun;
194 *nrun = self->MaxPTS + 1979;
195 ostringstream cmd;
196 cmd << "rm " << fn.str();
197 auto rc = system(cmd.str().c_str());
198 if(Verbose>10) cout << " Exit: " << fn.str() << endl;
199 }
200 }
201
202 ex HCubature::Integrate(size_t tn) {
203 if(mpfr_buildopt_tls_p()<=0) throw Error("Integrate: mpfr_buildopt_tls_p()<=0.");
204 mpfr_free_cache();
205 auto pbit = mpfr::digits2bits(MPDigits);
206 if(mpfr::mpreal::get_default_prec()!=pbit) mpfr::mpreal::set_default_prec(pbit);
207 mpPi = mpfr::const_pi();
208 mpEuler = mpfr::const_euler();
209 mpiEpsilon = complex<mpREAL>(0,mpfr::machine_epsilon()*100);
210
211 unsigned int xdim = XDim;
212 unsigned int ydim = 2;
213 qREAL result[ydim], estabs[ydim];
214
215 qREAL xmin[xdim], xmax[xdim];
216 for(int i=0; i<xdim; i++) {
217 xmin[i] = 0.0Q;
218 xmax[i] = 1.0Q;
219 }
220 LastState = 0;
221 NEval = 0;
222 nNAN = 0;
223
224 size_t _MinPTS_, _RunPTS_;
225 if(tn==0) {
226 _RunPTS_ = RunPTS;
227 MaxPTS = RunPTS * RunMAX;
228 _MinPTS_ = MinPTS>0 ? MinPTS : _RunPTS_/10;
229 } else {
230 MaxPTS = tn;
231 if(MaxPTS<10000) MaxPTS = 10000;
232 _RunPTS_ = MaxPTS/5;
233 _MinPTS_ = MinPTS>0 ? MinPTS : _RunPTS_/10;
234 }
235 StartTimer = time(NULL);
236
237 int nok = hcubature_v(ydim, Wrapper, this, xdim, xmin, xmax, _MinPTS_, _RunPTS_, MaxPTS, EpsAbs, EpsRel, result, estabs, tn==0 ? PrintHooker : NULL);
238
239 if(nok) {
240 if( (cabsq(result[0]+result[1]*1.Qi) < FLT128_EPSILON) && (cabsq(estabs[0]+estabs[1]*1.Qi) < FLT128_EPSILON) ) {
241 cout << ErrColor << "HCubature Failed with 0 result returned!" << RESET << endl;
242 return NaN;
243 }
244 }
245
246 if(LastState==-1 && use_last) {
247 result[0] = LastResult[0];
248 result[1] = LastResult[1];
249 estabs[0] = LastAbsErr[0];
250 estabs[1] = LastAbsErr[1];
251 NEval = lastNRUN;
252 nNAN = lastnNAN;
253 }
254
255 ex FResult = 0;
256 if(isnanq(result[0]) || isnanq(result[1])) FResult += NaN;
257 else {
258 try{
259 FResult += VE(q2ex(result[0]), q2ex(estabs[0]));
260 FResult += VE(q2ex(result[1]), q2ex(estabs[1])) * I;
261 } catch(...) {
262 FResult += NaN;
263 }
264 }
265
266 // Check nNAN / NEval
267 if(nNAN * 1000 > NEval && NEval>0) {
268 cout << ErrColor << "NAN=" << nNAN << " v.s. RUN=" << NEval << RESET << endl;
269 }
270
271 return FResult;
272 }
273
274 int HCubature::XDQMP(qREAL const *x) {
275 unsigned int xdim = XDim;
276
277 if(xdim<=MPXDim) return 3;
278 qREAL xmin = 100;
279 for(int i=0; i<xdim; i++) {
280 if(x[i] < xmin) xmin = x[i];
281 }
282 if(xmin < MPXLimit) return 3;
283
284 if(FT!=NULL) {
285 qREAL ft = 1E50;
286 static FT_Type last_ft = NULL;
287 static qREAL ft0;
288 if(last_ft!=FT) {
289 qREAL x0[xdim];
290 for(int i=0; i<xdim; i++) x0[i]=0.521Q;
291 qREAL ft0 = fabsq(FT(x0, qParameter));
292 if(ft0<1E-50) ft0 = 1;
293 last_ft = FT;
294 }
295 ft = fabsq(FT(x, qParameter));
296 ft = ft/ft0;
297 if(ft<MPFLimit) return 3;
298 else if(ft<QFLimit) return 2;
299 }
300
301 if(xdim <= QXDim || xmin < QXLimit) return 2;
302
303 return 1;
304 }
305
306}
#define RESET
Definition BASIC.h:79
complex< mpREAL > mpCOMPLEX
Definition HCubature.cpp:20
complex< dREAL > dCOMPLEX
Definition HCubature.cpp:18
mpfr::mpreal mpREAL
Definition HCubature.cpp:19
__complex128 qCOMPLEX
Definition HCubature.cpp:16
long double dREAL
Definition HCubature.cpp:17
__float128 qREAL
Definition HCubature.cpp:15
const qCOMPLEX qiEpsilon
mpREAL mpEuler
mpCOMPLEX mpiEpsilon
mpREAL mpPi
SecDec header file.
class used to wrap error message
Definition BASIC.h:242
numerical integrator using HCubature
Definition SD.h:167
virtual ex Integrate(size_t n=0) override
static void DefaultPrintHooker(qREAL *, qREAL *, size_t *, void *)
PrintHookerType PrintHooker
Definition SD.h:175
static int Wrapper(unsigned int xdim, size_t npts, const qREAL *x, void *fdata, unsigned int ydim, qREAL *y)
Definition HCubature.cpp:34
qREAL(* FT_Type)(const qREAL xx[], const qREAL pl[])
Definition SD.h:139
const qREAL * qParameter
Definition SD.h:149
namespace for Numerical integration with Sector Decomposition method
Definition AsyMB.cpp:10
__float128 qREAL
Definition SD.h:124
long double dREAL
Definition SD.h:122
mpfr::mpreal mpREAL
Definition SD.h:126
ex q2ex(__float128 num)
__float128 to ex
Definition BASIC.cpp:867
const char * ErrColor
Definition BASIC.cpp:246
bool file_exists(string fn)
Definition BASIC.h:289
const char * WarnColor
Definition BASIC.cpp:247
int Verbose
Definition Init.cpp:142
const Symbol NaN