test_energy_gradients.py 4.4 KB
Newer Older
Philipp Arras's avatar
Philipp Arras committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
# 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-2019 Max-Planck-Society
#
# 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
23
24
25
26
27
from itertools import product

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


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

Philipp Arras's avatar
Philipp Arras committed
46

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

Philipp Arras's avatar
Philipp Arras committed
51

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

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

Philipp Arras's avatar
Philipp Arras committed
65

Philipp Arras's avatar
Philipp Arras committed
66
67
68
69
70
71
72
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)


73
def test_studentt(field):
Philipp Arras's avatar
Philipp Arras committed
74
75
    if isinstance(field.domain, ift.MultiDomain):
        return
76
77
    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
78

Martin Reinecke's avatar
Martin Reinecke committed
79

Philipp Arras's avatar
Philipp Arras committed
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
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
102
def test_inverse_gamma(field):
Philipp Arras's avatar
Philipp Arras committed
103
104
    if isinstance(field.domain, ift.MultiDomain):
        return
Philipp Arras's avatar
Philipp Arras committed
105
106
    field = field.exp()
    space = field.domain
Martin Reinecke's avatar
Martin Reinecke committed
107
    d = ift.random.current_rng().normal(10, size=space.shape)**2
Martin Reinecke's avatar
stage2    
Martin Reinecke committed
108
    d = ift.Field(space, d)
Philipp Arras's avatar
Philipp Arras committed
109
    energy = ift.InverseGammaLikelihood(d)
110
    ift.extra.check_jacobian_consistency(energy, field, tol=1e-5)
Philipp Arras's avatar
Philipp Arras committed
111
112
113


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


def test_bernoulli(field):
Philipp Arras's avatar
Philipp Arras committed
125
126
    if isinstance(field.domain, ift.MultiDomain):
        return
Martin Reinecke's avatar
Martin Reinecke committed
127
    ift.random.push_sseq_from_seed(42)
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)
Martin Reinecke's avatar
Martin Reinecke committed
134
    ift.random.pop_sseq()