test_energy_gradients.py 4.39 KB
Newer Older
Philipp Arras's avatar
Philipp Arras committed
1
2
3
4
5
6
7
8
9
10
11
12
13
# 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/>.
#
14
# Copyright(C) 2013-2020 Max-Planck-Society
Philipp Arras's avatar
Philipp Arras committed
15
16
17
18
19
20
#
# NIFTy is being developed at the Max-Planck-Institut fuer Astrophysik.

import numpy as np
import pytest

Martin Reinecke's avatar
5->6    
Martin Reinecke committed
21
import nifty6 as ift
Philipp Arras's avatar
Philipp Arras committed
22
from itertools import product
23
from .common import setup_function, teardown_function
Philipp Arras's avatar
Philipp Arras committed
24
25
26
27
28

# Currently it is not possible to parametrize fixtures. But this will
# hopefully be fixed in the future.
# https://docs.pytest.org/en/latest/proposals/parametrize_with_fixtures.html

Philipp Arras's avatar
Philipp Arras committed
29
30
31
SPACES = [ift.GLSpace(15),
          ift.RGSpace(64, distances=.789),
          ift.RGSpace([32, 32], distances=.789)]
Philipp Arras's avatar
Philipp Arras committed
32
33
for sp in SPACES[:3]:
    SPACES.append(ift.MultiDomain.make({'asdf': sp}))
Philipp Arras's avatar
Philipp Arras committed
34
35
SEEDS = [4, 78, 23]
PARAMS = product(SEEDS, SPACES)
36
pmp = pytest.mark.parametrize
Philipp Arras's avatar
Philipp Arras committed
37
38
39
40


@pytest.fixture(params=PARAMS)
def field(request):
Martin Reinecke's avatar
Martin Reinecke committed
41
    ift.random.push_sseq_from_seed(request.param[0])
42
    S = ift.ScalingOperator(request.param[1], 1.)
Martin Reinecke's avatar
Martin Reinecke committed
43
44
45
    res = S.draw_sample()
    ift.random.pop_sseq()
    return res
Philipp Arras's avatar
Philipp Arras committed
46

Philipp Arras's avatar
Philipp Arras committed
47

Philipp Arras's avatar
Philipp Arras committed
48
49
def test_gaussian(field):
    energy = ift.GaussianEnergy(domain=field.domain)
Martin Reinecke's avatar
Martin Reinecke committed
50
    ift.extra.check_jacobian_consistency(energy, field)
Philipp Arras's avatar
Philipp Arras committed
51

Philipp Arras's avatar
Philipp Arras committed
52

Philipp Arras's avatar
Philipp Arras committed
53
54
def test_ScaledEnergy(field):
    icov = ift.ScalingOperator(field.domain, 1.2)
55
    energy = ift.GaussianEnergy(inverse_covariance=icov)
56
57
    ift.extra.check_jacobian_consistency(energy.scale(0.3), field)

Philipp Arras's avatar
Philipp Arras committed
58
    lin = ift.Linearization.make_var(field, want_metric=True)
Vincent Eberle's avatar
Vincent Eberle committed
59
    met1 = energy(lin).metric
Vincent Eberle's avatar
Vincent Eberle committed
60
    met2 = energy.scale(0.3)(lin).metric
Philipp Arras's avatar
Philipp Arras committed
61
62
63
    res1 = met1(field)
    res2 = met2(field)/0.3
    ift.extra.assert_allclose(res1, res2, 0, 1e-12)
64
    met2.draw_sample()
Martin Reinecke's avatar
Martin Reinecke committed
65

Philipp Arras's avatar
Philipp Arras committed
66

Philipp Arras's avatar
Philipp Arras committed
67
68
69
70
71
72
73
def test_QuadraticFormOperator(field):
    op = ift.ScalingOperator(field.domain, 1.2)
    endo = ift.makeOp(op.draw_sample())
    energy = ift.QuadraticFormOperator(endo)
    ift.extra.check_jacobian_consistency(energy, field)


74
def test_studentt(field):
Philipp Arras's avatar
Philipp Arras committed
75
76
    if isinstance(field.domain, ift.MultiDomain):
        return
77
78
    energy = ift.StudentTEnergy(domain=field.domain, theta=.5)
    ift.extra.check_jacobian_consistency(energy, field, tol=1e-6)
Philipp Arras's avatar
Philipp Arras committed
79

Martin Reinecke's avatar
Martin Reinecke committed
80

Philipp Arras's avatar
Philipp Arras committed
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
def test_hamiltonian_and_KL(field):
    field = field.exp()
    space = field.domain
    lh = ift.GaussianEnergy(domain=space)
    hamiltonian = ift.StandardHamiltonian(lh)
    ift.extra.check_jacobian_consistency(hamiltonian, field)
    S = ift.ScalingOperator(space, 1.)
    samps = [S.draw_sample() for i in range(3)]
    kl = ift.AveragedEnergy(hamiltonian, samps)
    ift.extra.check_jacobian_consistency(kl, field)


def test_variablecovariancegaussian(field):
    if isinstance(field.domain, ift.MultiDomain):
        return
    dc = {'a': field, 'b': field.exp()}
    mf = ift.MultiField.from_dict(dc)
    energy = ift.VariableCovarianceGaussianEnergy(field.domain, 'a', 'b')
    ift.extra.check_jacobian_consistency(energy, mf, tol=1e-6)
    energy(ift.Linearization.make_var(mf, want_metric=True)).metric.draw_sample()


Philipp Arras's avatar
Philipp Arras committed
103
def test_inverse_gamma(field):
Philipp Arras's avatar
Philipp Arras committed
104
105
    if isinstance(field.domain, ift.MultiDomain):
        return
Philipp Arras's avatar
Philipp Arras committed
106
107
    field = field.exp()
    space = field.domain
Martin Reinecke's avatar
Martin Reinecke committed
108
    d = ift.random.current_rng().normal(10, size=space.shape)**2
Martin Reinecke's avatar
stage2    
Martin Reinecke committed
109
    d = ift.Field(space, d)
Philipp Arras's avatar
Philipp Arras committed
110
    energy = ift.InverseGammaLikelihood(d)
111
    ift.extra.check_jacobian_consistency(energy, field, tol=1e-5)
Philipp Arras's avatar
Philipp Arras committed
112
113
114


def testPoissonian(field):
Philipp Arras's avatar
Philipp Arras committed
115
116
    if isinstance(field.domain, ift.MultiDomain):
        return
Philipp Arras's avatar
Philipp Arras committed
117
118
    field = field.exp()
    space = field.domain
Martin Reinecke's avatar
Martin Reinecke committed
119
    d = ift.random.current_rng().poisson(120, size=space.shape)
Martin Reinecke's avatar
stage2    
Martin Reinecke committed
120
    d = ift.Field(space, d)
Philipp Arras's avatar
Philipp Arras committed
121
    energy = ift.PoissonianEnergy(d)
122
    ift.extra.check_jacobian_consistency(energy, field, tol=1e-6)
Philipp Arras's avatar
Philipp Arras committed
123
124
125


def test_bernoulli(field):
Philipp Arras's avatar
Philipp Arras committed
126
127
    if isinstance(field.domain, ift.MultiDomain):
        return
Philipp Arras's avatar
Fixups    
Philipp Arras committed
128
    field = field.sigmoid()
Philipp Arras's avatar
Philipp Arras committed
129
    space = field.domain
Martin Reinecke's avatar
Martin Reinecke committed
130
    d = ift.random.current_rng().binomial(1, 0.1, size=space.shape)
Martin Reinecke's avatar
stage2    
Martin Reinecke committed
131
    d = ift.Field(space, d)
Philipp Arras's avatar
Philipp Arras committed
132
    energy = ift.BernoulliEnergy(d)
133
    ift.extra.check_jacobian_consistency(energy, field, tol=1e-5)