1 /** @file exam_relational.cpp
2  *
3  *  Small test for the relational objects and their conversion to bool. */
5 /*
6  *  GiNaC Copyright (C) 1999-2021 Johannes Gutenberg University Mainz, Germany
7  *
8  *  This program is free software; you can redistribute it and/or modify
9  *  it under the terms of the GNU General Public License as published by
10  *  the Free Software Foundation; either version 2 of the License, or
11  *  (at your option) any later version.
12  *
13  *  This program is distributed in the hope that it will be useful,
14  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
15  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
16  *  GNU General Public License for more details.
17  *
18  *  You should have received a copy of the GNU General Public License
19  *  along with this program; if not, write to the Free Software
20  *  Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
21  */
23 #include "ginac.h"
24 using namespace GiNaC;
26 #include <iostream>
27 using namespace std;
29 // Elementary relations should fall back to numeric comparisons.
30 static unsigned exam_relational_elementary()
31 {
32         unsigned result = 0;
33         ex one = 1, two = 2;
35         if (one == two) {
36                 clog << "'" << one << " == " << two << "' was converted to true." << endl;
37                 result += 1;
38         }
39         if (!(one != two)) {
40                 clog << "'" << one << " != " << two << "' was not converted to true." << endl;
41                 result += 1;
42         }
43         if (!(one < two)) {
44                 clog << "'" << one << " < " << two << "' was not converted to true." << endl;
45                 result += 1;
46         }
47         if (!(one <= two)) {
48                 clog << "'" << one << " <= " << two << "' was not converted to true." << endl;
49                 result += 1;
50         }
51         if (one > two) {
52                 clog << "'" << one << " > " << two << "' was converted to true." << endl;
53                 result += 1;
54         }
55         if (one >= two) {
56                 clog << "'" << one << " >= " << two << "' was converted to true." << endl;
57                 result += 1;
58         }
60         return result;
61 }
63 // These should fall back to looking up info flags.
64 static unsigned exam_relational_possymbol()
65 {
66         unsigned result = 0;
67         possymbol p("p");
69         if (p == 0) {
70                 clog << "for positive p, 'p == 0' was converted to true." << endl;
71                 result += 1;
72         }
73         if (!(p != 0)) {
74                 clog << "for positive p, 'p != 0' was not converted to true." << endl;
75                 result += 1;
76         }
77         if (p < 0) {
78                 clog << "for positive p, 'p < 0' was converted to true." << endl;
79                 result += 1;
80         }
81         if (p <= 0) {
82                 clog << "for positive p, 'p <= 0' was converted to true." << endl;
83                 result += 1;
84         }
85         if (!(p > 0)) {
86                 clog << "for positive p, 'p > 0' was not converted to true." << endl;
87                 result += 1;
88         }
89         if (!(p >= 0)) {
90                 clog << "for positive p, 'p >= 0' was not converted to true." << endl;
91                 result += 1;
92         }
94         return result;
95 }
97 // Very simple arithmetic should be supported, too.
98 static unsigned exam_relational_arith()
99 {
100         unsigned result = 0;
101         possymbol p("p");
103         if (!(p + 2 > p + 1)) {
104                 clog << "for positive p, 'p + 2 > p + 1' was not converted to true." << endl;
105                 result += 1;
106         }
107         if (!(p > -p)) {
108                 clog << "for positive p, 'p > -p' was not converted to true." << endl;
109                 result += 1;
110         }
111         if (!(2*p > p)) {
112                 clog << "for positive p, '2*p > p' was not converted to true." << endl;
113                 result += 1;
114         }
116         return result;
117 }
119 unsigned exam_relational()
120 {
121         unsigned result = 0;
123         cout << "examining relational objects" << flush;
125         result += exam_relational_elementary(); cout << '.' << flush;
126         result += exam_relational_possymbol(); cout << '.' << flush;
127         result += exam_relational_arith(); cout << '.' << flush;
129         return result;
130 }
132 int main(int argc, char** argv)
133 {
134         return exam_relational();
135 }