This file is indexed.

/usr/share/pyshared/dolfin/common/constants.py is in python-dolfin 1.0.0-7.

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
"""This module allows the user to import the following constants:

* DOLFIN_PI = 3.141592653589793238462
* DOLFIN_EPS = 3.0e-16
* DOLFIN_SQRT_EPS = 1.0e-8
"""

__all__ = ['DOLFIN_EPS', 'DOLFIN_PI', 'DOLFIN_SQRT_EPS']

from dolfin.cpp import DOLFIN_EPS, DOLFIN_PI, DOLFIN_SQRT_EPS