/usr/lib/python3/dist-packages/ufl/restriction.py is in python3-ufl 2017.2.0.0-2.
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 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 | # -*- coding: utf-8 -*-
"""Restriction operations."""
# Copyright (C) 2008-2016 Martin Sandve Alnæs
#
# This file is part of UFL.
#
# UFL is free software: you can redistribute it and/or modify
# it under the terms of the GNU Lesser General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# UFL 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 Lesser General Public License for more details.
#
# You should have received a copy of the GNU Lesser General Public License
# along with UFL. If not, see <http://www.gnu.org/licenses/>.
from ufl.core.operator import Operator
from ufl.precedence import parstr
from ufl.core.ufl_type import ufl_type
# --- Restriction operators ---
@ufl_type(is_abstract=True,
num_ops=1,
inherit_shape_from_operand=0,
inherit_indices_from_operand=0,
is_restriction=True)
class Restricted(Operator):
__slots__ = ()
# TODO: Add __new__ operator here, e.g. restricted(literal) == literal
def __init__(self, f):
Operator.__init__(self, (f,))
def side(self):
return self._side
def evaluate(self, x, mapping, component, index_values):
return self.ufl_operands[0].evaluate(x, mapping, component,
index_values)
def __str__(self):
return "%s('%s')" % (parstr(self.ufl_operands[0], self), self._side)
@ufl_type(is_terminal_modifier=True)
class PositiveRestricted(Restricted):
__slots__ = ()
_side = "+"
@ufl_type(is_terminal_modifier=True)
class NegativeRestricted(Restricted):
__slots__ = ()
_side = "-"
# TODO: Place in a better file?
@ufl_type(is_index_free=True,
num_ops=1,
is_terminal_modifier=True,
is_evaluation=True)
class CellAvg(Operator):
__slots__ = ()
# TODO: Add __new__ operator here, e.g. cell_avg(literal) == literal
def __init__(self, f):
Operator.__init__(self, (f,))
@property
def ufl_shape(self):
return self.ufl_operands[0].ufl_shape
def evaluate(self, x, mapping, component, index_values):
"Performs an approximate symbolic evaluation, since we dont have a cell."
return self.ufl_operands[0].evaluate(x, mapping, component,
index_values)
def __str__(self):
return "cell_avg(%s)" % (self.ufl_operands[0],)
# TODO: Place in a better file?
@ufl_type(is_index_free=True,
num_ops=1,
is_terminal_modifier=True,
is_evaluation=True)
class FacetAvg(Operator):
__slots__ = ()
# TODO: Add __new__ operator here, e.g. facet_avg(literal) == literal
def __init__(self, f):
Operator.__init__(self, (f,))
@property
def ufl_shape(self):
return self.ufl_operands[0].ufl_shape
def evaluate(self, x, mapping, component, index_values):
"Performs an approximate symbolic evaluation, since we dont have a cell."
return self.ufl_operands[0].evaluate(x, mapping, component, index_values)
def __str__(self):
return "facet_avg(%s)" % (self.ufl_operands[0],)
|