Epigraph/tests/test_parameter.hpp at master · tyrrellgit/Epigraph · GitHub

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
113
114
115
116
117
118
119
120
121
122
using namespace cvx;

TEST_CASE("Parameter")
{
    double zero = 0.;
    double one = 1.;
    double two = 2.;
    double three = 3.;

    { // Constants
        internal::Parameter p0(zero);
        internal::Parameter p1(one);
        internal::Parameter p2(two);
        internal::Parameter p3(three);

        REQUIRE(p0 == p0);
        REQUIRE(p1 == p1);
        REQUIRE(p2 == p2);
        REQUIRE_FALSE(p0 == p1);
        REQUIRE_FALSE(p2 == p0);
        REQUIRE_FALSE(p2 == p1);

        internal::Parameter p0p1 = p0 + p1;
        internal::Parameter p1p2 = p1 + p2;
        internal::Parameter p2p3 = p2 + p3;

        internal::Parameter p0t1 = p0 * p1;
        internal::Parameter p1t2 = p1 * p2;
        internal::Parameter p2t3 = p2 * p3;

        // Addition
        REQUIRE((p0 + p1).getValue() == 1.);
        REQUIRE((p0 + p2).getValue() == 2.);
        REQUIRE((p1 + p2).getValue() == 3.);

        // Multiplication
        REQUIRE((p0 * p1).getValue() == 0.);
        REQUIRE((p1 * p0).getValue() == 0.);
        REQUIRE((p0 * p2).getValue() == 0.);
        REQUIRE((p2 * p0).getValue() == 0.);
        REQUIRE((p3 * p1).getValue() == 3.);
        REQUIRE((p1 * p3).getValue() == 3.);
        REQUIRE((p2 * p3).getValue() == 6.);

        // Division
        REQUIRE((p0 / p1).getValue() == 0.);
        REQUIRE_THROWS((p1 / p0).getValue());
        REQUIRE((p0 / p2).getValue() == 0.);
        REQUIRE_THROWS((p2 / p0).getValue());
        REQUIRE((p3 / p1).getValue() == 3.);
        REQUIRE((p1 / p3).getValue() == 1. / 3.);
        REQUIRE((p2 / p3).getValue() == 2. / 3.);

        // Square root
        REQUIRE((sqrt(p0).getValue()) == 0.);
        REQUIRE((sqrt(p1).getValue()) == 1.);
        REQUIRE((sqrt(p2).getValue()) == std::sqrt(2.));
        REQUIRE((sqrt(p2p3).getValue()) == std::sqrt(5.));
        REQUIRE((sqrt(p2t3).getValue()) == std::sqrt(6.));
    }

    { // Pointers
        internal::Parameter p0(&zero);
        internal::Parameter p1(&one);
        internal::Parameter p2(&two);
        internal::Parameter p3(&three);

        REQUIRE(p0 == p0);
        REQUIRE(p1 == p1);
        REQUIRE(p2 == p2);
        REQUIRE_FALSE(p0 == p1);
        REQUIRE_FALSE(p2 == p0);
        REQUIRE_FALSE(p2 == p1);

        internal::Parameter p0p1 = p0 + p1;
        internal::Parameter p1p2 = p1 + p2;
        internal::Parameter p2p3 = p2 + p3;

        internal::Parameter p0t1 = p0 * p1;
        internal::Parameter p1t2 = p1 * p2;
        internal::Parameter p2t3 = p2 * p3;

        // Addition
        REQUIRE((p0 + p1).getValue() == 1.);
        REQUIRE((p0 + p2).getValue() == 2.);
        REQUIRE((p1 + p2).getValue() == 3.);

        // Multiplication
        REQUIRE((p0 * p1).getValue() == 0.);
        REQUIRE((p1 * p0).getValue() == 0.);
        REQUIRE((p0 * p2).getValue() == 0.);
        REQUIRE((p2 * p0).getValue() == 0.);
        REQUIRE((p3 * p1).getValue() == 3.);
        REQUIRE((p1 * p3).getValue() == 3.);
        REQUIRE((p2 * p3).getValue() == 6.);

        // Division
        REQUIRE((p0 / p1).getValue() == 0.);
        REQUIRE((p0 / p2).getValue() == 0.);
        REQUIRE((p3 / p1).getValue() == 3.);
        REQUIRE((p1 / p3).getValue() == 1. / 3.);
        REQUIRE((p2 / p3).getValue() == 2. / 3.);

        // Square root
        REQUIRE((sqrt(p0).getValue()) == 0.);
        REQUIRE((sqrt(p1).getValue()) == 1.);
        REQUIRE((sqrt(p2).getValue()) == std::sqrt(2.));
        REQUIRE((sqrt(p2p3).getValue()) == std::sqrt(5.));
        REQUIRE((sqrt(p2t3).getValue()) == std::sqrt(6.));

        REQUIRE(p0 * p0 == p0 * p0);
        REQUIRE(p1 + p0 == p0 + p1);
        REQUIRE(p2 * p2 == p2 * p2);
        REQUIRE_FALSE(p0 * p1 == p1 * p2);
        REQUIRE_FALSE(p2 + p1 == p2 * p1);
        REQUIRE_FALSE(p2 == p1 * p2);
        REQUIRE(sqrt(p2 * p1) == sqrt(p1 * p2));
        REQUIRE_FALSE(sqrt(p1 * p1) == sqrt(p1 * p2));
        REQUIRE(sqrt(p1 / p1) == sqrt(p1 / p1));
        REQUIRE_FALSE(sqrt(p2 / p1) == sqrt(p1 / p2));
    }
}