test/polyxx/test_value.cpp

9     CHECK(is_none(Value()));
10     CHECK(is_integer(Value(13)));
11     CHECK(is_algebraic_number(Value(AlgebraicNumber(DyadicRational(1)))));
12     CHECK(is_dyadic_rational(Value(DyadicRational(1))));
13     CHECK(is_integer(Value(Integer(13))));
14     CHECK(is_rational(Value(Rational(27,4))));
15     CHECK(is_plus_infinity(Value(Value::plus_infty())));
16     CHECK(is_minus_infinity(Value(Value::minus_infty())));
20     CHECK(Value() == Value());
22     CHECK(Value::minus_infty() == Value::minus_infty());
23     CHECK_FALSE(Value::minus_infty() == Value(-20));
24     CHECK_FALSE(Value::minus_infty() == Value(Integer(-15)));
25     CHECK_FALSE(Value::minus_infty() == Value(DyadicRational(-6,2)));
26     CHECK_FALSE(Value::minus_infty() == Value(Rational(1,2)));
27     CHECK_FALSE(Value::minus_infty() == Value(AlgebraicNumber(5)));
28     CHECK_FALSE(Value::minus_infty() == Value::plus_infty());
30     CHECK(Value(-20) == Value(-20));
31     CHECK_FALSE(Value(-20) == Value(Integer(-15)));
32     CHECK_FALSE(Value(-20) == Value(DyadicRational(-6,2)));
33     CHECK_FALSE(Value(-20) == Value(Rational(1,2)));
34     CHECK_FALSE(Value(-20) == Value(AlgebraicNumber(5)));
35     CHECK_FALSE(Value(-20) == Value::plus_infty());
37     CHECK(Value(Integer(-15)) == Value(Integer(-15)));
38     CHECK_FALSE(Value(Integer(-15)) == Value(DyadicRational(-6,2)));
39     CHECK_FALSE(Value(Integer(-15)) == Value(Rational(1,2)));
40     CHECK_FALSE(Value(Integer(-15)) == Value(AlgebraicNumber(5)));
41     CHECK_FALSE(Value(Integer(-15)) == Value::plus_infty());
43     CHECK(Value(DyadicRational(-6,2)) == Value(DyadicRational(-6,2)));
44     CHECK_FALSE(Value(DyadicRational(-6,2)) == Value(Rational(1,2)));
45     CHECK_FALSE(Value(DyadicRational(-6,2)) == Value(AlgebraicNumber(5)));
46     CHECK_FALSE(Value(DyadicRational(-6,2)) == Value::plus_infty());
48     CHECK(Value(Rational(1,2)) == Value(Rational(1,2)));
49     CHECK_FALSE(Value(Rational(1,2)) == Value(AlgebraicNumber(5)));
50     CHECK_FALSE(Value(Rational(1,2)) == Value::plus_infty());
52     CHECK(Value(AlgebraicNumber(5)) == Value(AlgebraicNumber(5)));
53     CHECK_FALSE(Value(AlgebraicNumber(5)) == Value::plus_infty());
55     CHECK(Value::plus_infty() == Value::plus_infty());
59     CHECK_FALSE(Value() != Value());
61     CHECK_FALSE(Value::minus_infty() != Value::minus_infty());
62     CHECK(Value::minus_infty() != Value(-20));
63     CHECK(Value::minus_infty() != Value(Integer(-15)));
64     CHECK(Value::minus_infty() != Value(DyadicRational(-6,2)));
65     CHECK(Value::minus_infty() != Value(Rational(1,2)));
66     CHECK(Value::minus_infty() != Value(AlgebraicNumber(5)));
67     CHECK(Value::minus_infty() != Value::plus_infty());
69     CHECK_FALSE(Value(-20) != Value(-20));
70     CHECK(Value(-20) != Value(Integer(-15)));
71     CHECK(Value(-20) != Value(DyadicRational(-6,2)));
72     CHECK(Value(-20) != Value(Rational(1,2)));
73     CHECK(Value(-20) != Value(AlgebraicNumber(5)));
74     CHECK(Value(-20) != Value::plus_infty());
76     CHECK_FALSE(Value(Integer(-15)) != Value(Integer(-15)));
77     CHECK(Value(Integer(-15)) != Value(DyadicRational(-6,2)));
78     CHECK(Value(Integer(-15)) != Value(Rational(1,2)));
79     CHECK(Value(Integer(-15)) != Value(AlgebraicNumber(5)));
80     CHECK(Value(Integer(-15)) != Value::plus_infty());
82     CHECK_FALSE(Value(DyadicRational(-6,2)) != Value(DyadicRational(-6,2)));
83     CHECK(Value(DyadicRational(-6,2)) != Value(Rational(1,2)));
84     CHECK(Value(DyadicRational(-6,2)) != Value(AlgebraicNumber(5)));
85     CHECK(Value(DyadicRational(-6,2)) != Value::plus_infty());
87     CHECK_FALSE(Value(Rational(1,2)) != Value(Rational(1,2)));
88     CHECK(Value(Rational(1,2)) != Value(AlgebraicNumber(5)));
89     CHECK(Value(Rational(1,2)) != Value::plus_infty());
91     CHECK_FALSE(Value(AlgebraicNumber(5)) != Value(AlgebraicNumber(5)));
92     CHECK(Value(AlgebraicNumber(5)) != Value::plus_infty());
94     CHECK_FALSE(Value::plus_infty() != Value::plus_infty());
98     CHECK_FALSE(Value() < Value());
100     CHECK_FALSE(Value::minus_infty() < Value::minus_infty());
101     CHECK(Value::minus_infty() < Value(-20));
102     CHECK(Value::minus_infty() < Value(Integer(-15)));
103     CHECK(Value::minus_infty() < Value(DyadicRational(-6,2)));
104     CHECK(Value::minus_infty() < Value(Rational(1,2)));
105     CHECK(Value::minus_infty() < Value(AlgebraicNumber(5)));
106     CHECK(Value::minus_infty() < Value::plus_infty());
108     CHECK_FALSE(Value(-20) < Value(-20));
109     CHECK(Value(-20) < Value(Integer(-15)));
110     CHECK(Value(-20) < Value(DyadicRational(-6,2)));
111     CHECK(Value(-20) < Value(Rational(1,2)));
112     CHECK(Value(-20) < Value(AlgebraicNumber(5)));
113     CHECK(Value(-20) < Value::plus_infty());
115     CHECK_FALSE(Value(Integer(-15)) < Value(Integer(-15)));
116     CHECK(Value(Integer(-15)) < Value(DyadicRational(-6,2)));
117     CHECK(Value(Integer(-15)) < Value(Rational(1,2)));
118     CHECK(Value(Integer(-15)) < Value(AlgebraicNumber(5)));
119     CHECK(Value(Integer(-15)) < Value::plus_infty());
121     CHECK_FALSE(Value(DyadicRational(-6,2)) < Value(DyadicRational(-6,2)));
122     CHECK(Value(DyadicRational(-6,2)) < Value(Rational(1,2)));
123     CHECK(Value(DyadicRational(-6,2)) < Value(AlgebraicNumber(5)));
124     CHECK(Value(DyadicRational(-6,2)) < Value::plus_infty());
126     CHECK_FALSE(Value(Rational(1,2)) < Value(Rational(1,2)));
127     CHECK(Value(Rational(1,2)) < Value(AlgebraicNumber(5)));
128     CHECK(Value(Rational(1,2)) < Value::plus_infty());
130     CHECK_FALSE(Value(AlgebraicNumber(5)) < Value(AlgebraicNumber(5)));
131     CHECK(Value(AlgebraicNumber(5)) < Value::plus_infty());
133     CHECK_FALSE(Value::plus_infty() < Value::plus_infty());
137     CHECK(Value() <= Value());
139     CHECK(Value::minus_infty() <= Value::minus_infty());
140     CHECK(Value::minus_infty() <= Value(-20));
141     CHECK(Value::minus_infty() <= Value(Integer(-15)));
142     CHECK(Value::minus_infty() <= Value(DyadicRational(-6,2)));
143     CHECK(Value::minus_infty() <= Value(Rational(1,2)));
144     CHECK(Value::minus_infty() <= Value(AlgebraicNumber(5)));
145     CHECK(Value::minus_infty() <= Value::plus_infty());
147     CHECK(Value(-20) <= Value(-20));
148     CHECK(Value(-20) <= Value(Integer(-15)));
149     CHECK(Value(-20) <= Value(DyadicRational(-6,2)));
150     CHECK(Value(-20) <= Value(Rational(1,2)));
151     CHECK(Value(-20) <= Value(AlgebraicNumber(5)));
152     CHECK(Value(-20) <= Value::plus_infty());
154     CHECK(Value(Integer(-15)) <= Value(Integer(-15)));
155     CHECK(Value(Integer(-15)) <= Value(DyadicRational(-6,2)));
156     CHECK(Value(Integer(-15)) <= Value(Rational(1,2)));
157     CHECK(Value(Integer(-15)) <= Value(AlgebraicNumber(5)));
158     CHECK(Value(Integer(-15)) <= Value::plus_infty());
160     CHECK(Value(DyadicRational(-6,2)) <= Value(DyadicRational(-6,2)));
161     CHECK(Value(DyadicRational(-6,2)) <= Value(Rational(1,2)));
162     CHECK(Value(DyadicRational(-6,2)) <= Value(AlgebraicNumber(5)));
163     CHECK(Value(DyadicRational(-6,2)) <= Value::plus_infty());
165     CHECK(Value(Rational(1,2)) <= Value(Rational(1,2)));
166     CHECK(Value(Rational(1,2)) <= Value(AlgebraicNumber(5)));
167     CHECK(Value(Rational(1,2)) <= Value::plus_infty());
169     CHECK(Value(AlgebraicNumber(5)) <= Value(AlgebraicNumber(5)));
170     CHECK(Value(AlgebraicNumber(5)) <= Value::plus_infty());
172     CHECK(Value::plus_infty() <= Value::plus_infty());
176     CHECK_FALSE(Value() > Value());
178     CHECK_FALSE(Value::minus_infty() > Value::minus_infty());
179     CHECK_FALSE(Value::minus_infty() > Value(-20));
180     CHECK_FALSE(Value::minus_infty() > Value(Integer(-15)));
181     CHECK_FALSE(Value::minus_infty() > Value(DyadicRational(-6,2)));
182     CHECK_FALSE(Value::minus_infty() > Value(Rational(1,2)));
183     CHECK_FALSE(Value::minus_infty() > Value(AlgebraicNumber(5)));
184     CHECK_FALSE(Value::minus_infty() > Value::plus_infty());
186     CHECK_FALSE(Value(-20) > Value(-20));
187     CHECK_FALSE(Value(-20) > Value(Integer(-15)));
188     CHECK_FALSE(Value(-20) > Value(DyadicRational(-6,2)));
189     CHECK_FALSE(Value(-20) > Value(Rational(1,2)));
190     CHECK_FALSE(Value(-20) > Value(AlgebraicNumber(5)));
191     CHECK_FALSE(Value(-20) > Value::plus_infty());
193     CHECK_FALSE(Value(Integer(-15)) > Value(Integer(-15)));
194     CHECK_FALSE(Value(Integer(-15)) > Value(DyadicRational(-6,2)));
195     CHECK_FALSE(Value(Integer(-15)) > Value(Rational(1,2)));
196     CHECK_FALSE(Value(Integer(-15)) > Value(AlgebraicNumber(5)));
197     CHECK_FALSE(Value(Integer(-15)) > Value::plus_infty());
199     CHECK_FALSE(Value(DyadicRational(-6,2)) > Value(DyadicRational(-6,2)));
200     CHECK_FALSE(Value(DyadicRational(-6,2)) > Value(Rational(1,2)));
201     CHECK_FALSE(Value(DyadicRational(-6,2)) > Value(AlgebraicNumber(5)));
202     CHECK_FALSE(Value(DyadicRational(-6,2)) > Value::plus_infty());
204     CHECK_FALSE(Value(Rational(1,2)) > Value(Rational(1,2)));
205     CHECK_FALSE(Value(Rational(1,2)) > Value(AlgebraicNumber(5)));
206     CHECK_FALSE(Value(Rational(1,2)) > Value::plus_infty());
208     CHECK_FALSE(Value(AlgebraicNumber(5)) > Value(AlgebraicNumber(5)));
209     CHECK_FALSE(Value(AlgebraicNumber(5)) > Value::plus_infty());
211     CHECK_FALSE(Value::plus_infty() > Value::plus_infty());
215     CHECK(Value() >= Value());
217     CHECK(Value::minus_infty() >= Value::minus_infty());
218     CHECK_FALSE(Value::minus_infty() >= Value(-20));
219     CHECK_FALSE(Value::minus_infty() >= Value(Integer(-15)));
220     CHECK_FALSE(Value::minus_infty() >= Value(DyadicRational(-6,2)));
221     CHECK_FALSE(Value::minus_infty() >= Value(Rational(1,2)));
222     CHECK_FALSE(Value::minus_infty() >= Value(AlgebraicNumber(5)));
223     CHECK_FALSE(Value::minus_infty() >= Value::plus_infty());
225     CHECK(Value(-20) >= Value(-20));
226     CHECK_FALSE(Value(-20) >= Value(Integer(-15)));
227     CHECK_FALSE(Value(-20) >= Value(DyadicRational(-6,2)));
228     CHECK_FALSE(Value(-20) >= Value(Rational(1,2)));
229     CHECK_FALSE(Value(-20) >= Value(AlgebraicNumber(5)));
230     CHECK_FALSE(Value(-20) >= Value::plus_infty());
233     CHECK(Value(Integer(-15)) >= Value(Integer(-15)));
234     CHECK_FALSE(Value(Integer(-15)) >= Value(DyadicRational(-6,2)));
235     CHECK_FALSE(Value(Integer(-15)) >= Value(Rational(1,2)));
236     CHECK_FALSE(Value(Integer(-15)) >= Value(AlgebraicNumber(5)));
237     CHECK_FALSE(Value(Integer(-15)) >= Value::plus_infty());
239     CHECK(Value(DyadicRational(-6,2)) >= Value(DyadicRational(-6,2)));
240     CHECK_FALSE(Value(DyadicRational(-6,2)) >= Value(Rational(1,2)));
241     CHECK_FALSE(Value(DyadicRational(-6,2)) >= Value(AlgebraicNumber(5)));
242     CHECK_FALSE(Value(DyadicRational(-6,2)) >= Value::plus_infty());
244     CHECK(Value(Rational(1,2)) >= Value(Rational(1,2)));
245     CHECK_FALSE(Value(Rational(1,2)) >= Value(AlgebraicNumber(5)));
246     CHECK_FALSE(Value(Rational(1,2)) >= Value::plus_infty());
248     CHECK(Value(AlgebraicNumber(5)) >= Value(AlgebraicNumber(5)));
249     CHECK_FALSE(Value(AlgebraicNumber(5)) >= Value::plus_infty());
251     CHECK(Value::plus_infty() >= Value::plus_infty());
255     CHECK(sgn(Value::minus_infty()) == -1);
256     CHECK(sgn(Value(-20)) == -1);
257     CHECK(sgn(Value(Integer(-15))) == -1);
258     CHECK(sgn(Value(DyadicRational(-6,2))) == -1);
259     CHECK(sgn(Value(Rational(1,2))) == 1);
260     CHECK(sgn(Value(AlgebraicNumber(5))) == 1);
261     CHECK(sgn(Value::plus_infty()) == 1);
265     Value a(AlgebraicNumber(3));
266     Value b(AlgebraicNumber(7));
267     Value s = value_between(a, true, b, true);