This file is indexed.

/usr/share/openturns/validation/Student2D.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
> restart:
> bvt:=proc(a,b,nu,rho)
>   
> evalf(Int(Int(1/(2*Pi*sqrt(1-rho^2))*(1+(s^2-2*rho*s*t+t^2)/(nu*(1-rho
> ^2)))^(-(nu+2)/2),s=-infinity..a),t=-infinity..b))
> end:
> bvt(1.0,1.0,1.5,0.5);

                             0.6640912424

> (Int(Int(1/(2*Pi*sqrt(1-rho^2))*(1+(s^2-2*s*t+t^2)/(nu*(1-rho^2)))^(-(
> nu+2)/2),s=-INF..a),t=-INF..b));

                                           /   nu     \
                                           |- ---- - 1|
           b      a                        \   2      /
          /      /    /     2            2\
         |      |     |    s  - 2 s t + t |
         |      |     |1 + ---------------|
         |      |     |                2  |
         |      |     \     nu (1 - rho ) /
         |      |     --------------------------------- ds dt
         |      |                         2 1/2
         |      |            2 Pi (1 - rho )
         |      |
         |      |
        /      /
          -6.0   -6.0

> 38/2.54;

                        14.960629921259842520

> 12*2.54;

                                30.48

>