/usr/share/openturns/validation/Cas1_eads.txt is in openturns-validation 1.5-7build2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 | > restart:
> Pdef:=Int(
> Int(
> Int(
> Int(
> Int(
> Int(
> Heaviside(x1+2*x2+2*x3+x4-5*x5-5*x6+
>
> 1/1000*(sin(100*x1)+sin(100*x2)+sin(100*x3)+sin(100*x4)+sin(100*x5)+si
> n(100*x6)))*
> 1/sqrt(2*Pi)*exp(-(x1^2)/(2*sigma1^2)),
> x1=0..infinity),
> x2=0..infinity),
> x3=0..infinity),
> x4=0..infinity),
> x5=0..infinity),
> x6=0..infinity);
infinity infinity infinity infinity infinity
/ / / / /
| | | | |
Pdef := | | | | |
| | | | |
/ / / / /
0 0 0 0 0
infinity
/
|
| 1/2 Heaviside(x1 + 2 x2 + 2 x3 + x4 - 5 x5 - 5 x6
|
/
0
+ 1/1000 sin(100 x1) + 1/1000 sin(100 x2)
+ 1/1000 sin(100 x3) + 1/1000 sin(100 x4)
1/2
+ 1/1000 sin(100 x5) + 1/1000 sin(100 x6)) 2
2
x1 / 1/2
exp(- ---------) / Pi dx1 dx2 dx3 dx4 dx5 dx6
2 /
2 sigma1
>
|