simple_linear_operators.py 4.48 KB
Newer Older
Martin Reinecke's avatar
Martin Reinecke committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# This program 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 General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program.  If not, see <http://www.gnu.org/licenses/>.
#
# Copyright(C) 2013-2018 Max-Planck-Society
#
# NIFTy is being developed at the Max-Planck-Institut fuer Astrophysik
# and financially supported by the Studienstiftung des deutschen Volkes.

from __future__ import absolute_import, division, print_function

from ..compat import *
from ..domain_tuple import DomainTuple
from ..domains.unstructured_domain import UnstructuredDomain
Martin Reinecke's avatar
Martin Reinecke committed
24
from ..field import Field
Philipp Arras's avatar
Philipp Arras committed
25
from ..multi_domain import MultiDomain
Martin Reinecke's avatar
Martin Reinecke committed
26
from ..multi_field import MultiField
Philipp Arras's avatar
Philipp Arras committed
27 28 29
from ..sugar import full
from .endomorphic_operator import EndomorphicOperator
from .linear_operator import LinearOperator
Martin Reinecke's avatar
Martin Reinecke committed
30 31 32 33 34


class VdotOperator(LinearOperator):
    def __init__(self, field):
        self._field = field
Martin Reinecke's avatar
Martin Reinecke committed
35
        self._domain = field.domain
Martin Reinecke's avatar
Martin Reinecke committed
36
        self._target = DomainTuple.scalar_domain()
Martin Reinecke's avatar
Martin Reinecke committed
37
        self._capability = self.TIMES | self.ADJOINT_TIMES
Martin Reinecke's avatar
Martin Reinecke committed
38 39

    def apply(self, x, mode):
Martin Reinecke's avatar
Martin Reinecke committed
40
        self._check_mode(mode)
Martin Reinecke's avatar
Martin Reinecke committed
41
        if mode == self.TIMES:
Martin Reinecke's avatar
Martin Reinecke committed
42
            return Field.scalar(self._field.vdot(x))
Martin Reinecke's avatar
Martin Reinecke committed
43
        return self._field*x.local_data[()]
Martin Reinecke's avatar
Martin Reinecke committed
44 45 46 47 48 49


class SumReductionOperator(LinearOperator):
    def __init__(self, domain):
        self._domain = domain
        self._target = DomainTuple.scalar_domain()
Martin Reinecke's avatar
Martin Reinecke committed
50
        self._capability = self.TIMES | self.ADJOINT_TIMES
Martin Reinecke's avatar
Martin Reinecke committed
51 52 53 54

    def apply(self, x, mode):
        self._check_input(x, mode)
        if mode == self.TIMES:
Martin Reinecke's avatar
Martin Reinecke committed
55
            return Field.scalar(x.sum())
Martin Reinecke's avatar
Martin Reinecke committed
56
        return full(self._domain, x.local_data[()])
Martin Reinecke's avatar
Martin Reinecke committed
57 58 59 60 61


class ConjugationOperator(EndomorphicOperator):
    def __init__(self, domain):
        self._domain = domain
Martin Reinecke's avatar
Martin Reinecke committed
62
        self._capability = self._all_ops
Martin Reinecke's avatar
Martin Reinecke committed
63 64 65 66 67 68 69 70 71

    def apply(self, x, mode):
        self._check_input(x, mode)
        return x.conjugate()


class Realizer(EndomorphicOperator):
    def __init__(self, domain):
        self._domain = domain
Martin Reinecke's avatar
Martin Reinecke committed
72
        self._capability = self.TIMES | self.ADJOINT_TIMES
Martin Reinecke's avatar
Martin Reinecke committed
73 74 75 76

    def apply(self, x, mode):
        self._check_input(x, mode)
        return x.real
Martin Reinecke's avatar
Martin Reinecke committed
77 78 79


class FieldAdapter(LinearOperator):
Martin Reinecke's avatar
Martin Reinecke committed
80 81 82 83
    def __init__(self, dom, name):
        self._target = dom[name]
        self._domain = MultiDomain.make({name: self._target})
        self._capability = self.TIMES | self.ADJOINT_TIMES
Martin Reinecke's avatar
Martin Reinecke committed
84 85 86 87 88

    def apply(self, x, mode):
        self._check_input(x, mode)

        if mode == self.TIMES:
Martin Reinecke's avatar
Martin Reinecke committed
89 90
            return x.values()[0]
        return MultiField(self._domain, (x,))
Martin Reinecke's avatar
Martin Reinecke committed
91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112


class GeometryRemover(LinearOperator):
    """Operator which transforms between a structured and an unstructured
    domain.

    Parameters
    ----------
    domain: Domain, tuple of Domain, or DomainTuple:
        the full input domain of the operator.

    Notes
    -----
    The operator will convert every sub-domain of its input domain to an
    UnstructuredDomain with the same shape. No weighting by volume factors
    is carried out.
    """

    def __init__(self, domain):
        self._domain = DomainTuple.make(domain)
        target_list = [UnstructuredDomain(dom.shape) for dom in self._domain]
        self._target = DomainTuple.make(target_list)
Martin Reinecke's avatar
Martin Reinecke committed
113
        self._capability = self.TIMES | self.ADJOINT_TIMES
Martin Reinecke's avatar
Martin Reinecke committed
114 115 116

    def apply(self, x, mode):
        self._check_input(x, mode)
Martin Reinecke's avatar
Martin Reinecke committed
117
        return x.cast_domain(self._tgt(mode))
Martin Reinecke's avatar
Martin Reinecke committed
118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134


class NullOperator(LinearOperator):
    """Operator corresponding to a matrix of all zeros.

    Parameters
    ----------
    domain : DomainTuple or MultiDomain
        input domain
    target : DomainTuple or MultiDomain
        output domain
    """

    def __init__(self, domain, target):
        from ..sugar import makeDomain
        self._domain = makeDomain(domain)
        self._target = makeDomain(target)
Martin Reinecke's avatar
Martin Reinecke committed
135
        self._capability = self.TIMES | self.ADJOINT_TIMES
Martin Reinecke's avatar
Martin Reinecke committed
136 137 138 139

    @staticmethod
    def _nullfield(dom):
        if isinstance(dom, DomainTuple):
Martin Reinecke's avatar
Martin Reinecke committed
140
            return Field(dom, 0)
Martin Reinecke's avatar
Martin Reinecke committed
141 142 143 144 145
        else:
            return MultiField.full(dom, 0)

    def apply(self, x, mode):
        self._check_input(x, mode)
Martin Reinecke's avatar
Martin Reinecke committed
146
        return self._nullfield(self._tgt(mode))