1 | #include "rationalnumber.h"
|
---|
2 |
|
---|
3 | #include <iostream>
|
---|
4 | #include <cstdlib> // exit
|
---|
5 | using namespace std;
|
---|
6 |
|
---|
7 | static struct {
|
---|
8 | int gcd, con, copy, des, assn, rel, add, sub, mul, div, in, out;
|
---|
9 | } stats; // implicitly initialized to 0
|
---|
10 |
|
---|
11 | static int gcd( int a, int b ) {
|
---|
12 | for ( ;; ) {
|
---|
13 | int r = a % b;
|
---|
14 | if ( r == 0 ) break;
|
---|
15 | a = b;
|
---|
16 | b = r;
|
---|
17 | } // for
|
---|
18 | stats.gcd += 1;
|
---|
19 | return b;
|
---|
20 | } // gcd
|
---|
21 |
|
---|
22 | void Rationalnumber::statistics() {
|
---|
23 | cerr
|
---|
24 | << "gcd:" << stats.gcd << '\t'
|
---|
25 | << "con:" << stats.con << '\t'
|
---|
26 | << "copy:" << stats.copy << '\t'
|
---|
27 | << "des:" << stats.des << '\t'
|
---|
28 | << "assn:" << stats.assn << '\t'
|
---|
29 | << "rel:" << stats.rel << '\t'
|
---|
30 | << "add:" << stats.add << '\t'
|
---|
31 | << "sub:" << stats.sub << '\t'
|
---|
32 | << "mul:" << stats.mul << '\t'
|
---|
33 | << "div:" << stats.div << '\t'
|
---|
34 | << "in:" << stats.in << '\t'
|
---|
35 | << "out:" << stats.out
|
---|
36 | << endl;
|
---|
37 | } // Rationalnumber::statistics
|
---|
38 |
|
---|
39 | bool Rationalnumber::eq( Rationalnumber &r ) {
|
---|
40 | return num * r.denom == denom * r.num;
|
---|
41 | } // Rationalnumber::Rationalnumber::eq
|
---|
42 |
|
---|
43 | bool Rationalnumber::lt( Rationalnumber &r ) {
|
---|
44 | //int temp1 = denom * r.denom, temp2 = num * r.denom, temp3 = denom * r.num;
|
---|
45 | //return temp1 > 0 && temp2 < temp3 || temp1 < 0 && temp2 > temp3;
|
---|
46 | // if denominator is always > 0, only this check is necessary
|
---|
47 | return num * r.denom < denom * r.num;
|
---|
48 | } // Rationalnumber::Rationalnumber::lt
|
---|
49 |
|
---|
50 | void Rationalnumber::common1( int n, int d ) {
|
---|
51 | num = n;
|
---|
52 | denom = d;
|
---|
53 | stats.con += 1;
|
---|
54 | } // Rationalnumber::common1
|
---|
55 |
|
---|
56 | int Rationalnumber::common2( int &n, int &d ) {
|
---|
57 | if ( d == 0 ) {
|
---|
58 | cerr << "Invalid rational number construction: denominator cannot be equal to 0." << endl;
|
---|
59 | exit( EXIT_FAILURE );
|
---|
60 | } // exit
|
---|
61 | if ( d < 0 ) { d = -d; n = -n; } // move sign to numerator
|
---|
62 | return gcd( abs( n ), d ); // simplify
|
---|
63 | } // Rationalnumber::common2
|
---|
64 |
|
---|
65 | Rationalnumber::Rationalnumber() {
|
---|
66 | common1( 0, 1 );
|
---|
67 | } // Rationalnumber::Rationalnumber
|
---|
68 |
|
---|
69 | Rationalnumber::Rationalnumber( int n ) {
|
---|
70 | common1( n, 1 );
|
---|
71 | } // Rationalnumber::Rationalnumber
|
---|
72 |
|
---|
73 | Rationalnumber::Rationalnumber( int n, int d ) {
|
---|
74 | int temp = common2( n, d );
|
---|
75 | common1( n / temp, d / temp );
|
---|
76 | } // Rationalnumber::Rationalnumber
|
---|
77 |
|
---|
78 | Rationalnumber::Rationalnumber( const Rationalnumber &c ) {
|
---|
79 | num = c.num;
|
---|
80 | denom = c.denom;
|
---|
81 | stats.copy += 1;
|
---|
82 | } // Rationalnumber::Rationalnumber
|
---|
83 |
|
---|
84 | Rationalnumber::~Rationalnumber() {
|
---|
85 | stats.des += 1;
|
---|
86 | } // Rationalnumber::~Rationalnumber
|
---|
87 |
|
---|
88 | Rationalnumber &Rationalnumber::operator=( const Rationalnumber &r ) {
|
---|
89 | num = r.num;
|
---|
90 | denom = r.denom;
|
---|
91 | stats.assn += 1;
|
---|
92 | return *this;
|
---|
93 | } // Rationalnumber::operator=
|
---|
94 |
|
---|
95 | int Rationalnumber::numerator() const {
|
---|
96 | return num;
|
---|
97 | } // Rationalnumber::numerator
|
---|
98 |
|
---|
99 | int Rationalnumber::numerator( int n ) {
|
---|
100 | int prev = num;
|
---|
101 | int temp = gcd( abs( n ), denom ); // simplify
|
---|
102 | num = n / temp;
|
---|
103 | denom = denom / temp;
|
---|
104 | return prev;
|
---|
105 | } // Rationalnumber::numerator
|
---|
106 |
|
---|
107 | int Rationalnumber::denominator() const {
|
---|
108 | return denom;
|
---|
109 | } // Rationalnumber::denominator
|
---|
110 |
|
---|
111 | int Rationalnumber::denominator( int d ) {
|
---|
112 | int prev = denom;
|
---|
113 | int temp = common2( num, d );
|
---|
114 | num = num / temp;
|
---|
115 | denom = d / temp;
|
---|
116 | return prev;
|
---|
117 | } // Rationalnumber::denominator
|
---|
118 |
|
---|
119 | bool operator==( Rationalnumber l, Rationalnumber r ) {
|
---|
120 | stats.rel += 1;
|
---|
121 | return l.eq( r );
|
---|
122 | } // operator==
|
---|
123 |
|
---|
124 | bool operator!=( Rationalnumber l, Rationalnumber r ) {
|
---|
125 | stats.rel += 1;
|
---|
126 | return ! ( l.eq( r ) );
|
---|
127 | } // operator!=
|
---|
128 |
|
---|
129 | bool operator<( Rationalnumber l, Rationalnumber r ) {
|
---|
130 | stats.rel += 1;
|
---|
131 | return l.lt( r );
|
---|
132 | } // operator<
|
---|
133 |
|
---|
134 | bool operator<=( Rationalnumber l, Rationalnumber r ) {
|
---|
135 | stats.rel += 1;
|
---|
136 | return l.lt( r ) || l.eq( r );
|
---|
137 | } // operator<=
|
---|
138 |
|
---|
139 | bool operator>( Rationalnumber l, Rationalnumber r ) {
|
---|
140 | stats.rel += 1;
|
---|
141 | return ! ( l.lt( r ) || l.eq( r ) );
|
---|
142 | } // operator>
|
---|
143 |
|
---|
144 | bool operator>=( Rationalnumber l, Rationalnumber r ) {
|
---|
145 | stats.rel += 1;
|
---|
146 | return ! ( l.lt( r ) );
|
---|
147 | } // operator>=
|
---|
148 |
|
---|
149 | Rationalnumber Rationalnumber::operator-() {
|
---|
150 | return Rationalnumber( -num, denom );
|
---|
151 | } // Rationalnumber::operator-
|
---|
152 |
|
---|
153 | Rationalnumber operator+( Rationalnumber l, Rationalnumber r ) {
|
---|
154 | stats.add += 1;
|
---|
155 | if ( l.denom == r.denom ) { // special case
|
---|
156 | return Rationalnumber( l.num + r.num, l.denom );
|
---|
157 | } else {
|
---|
158 | return Rationalnumber( l.num * r.denom + l.denom * r.num, l.denom * r.denom );
|
---|
159 | } // if
|
---|
160 | } // operator+
|
---|
161 |
|
---|
162 | Rationalnumber operator-( Rationalnumber l, Rationalnumber r ) {
|
---|
163 | stats.sub += 1;
|
---|
164 | if ( l.denom == r.denom ) { // special case
|
---|
165 | return Rationalnumber( l.num - r.num, l.denom );
|
---|
166 | } else {
|
---|
167 | return Rationalnumber( l.num * r.denom - l.denom * r.num, l.denom * r.denom );
|
---|
168 | } // if
|
---|
169 | } // operator-
|
---|
170 |
|
---|
171 | Rationalnumber operator*( Rationalnumber l, Rationalnumber r ) {
|
---|
172 | stats.mul += 1;
|
---|
173 | return Rationalnumber( l.num * r.num, l.denom * r.denom );
|
---|
174 | } // operator*
|
---|
175 |
|
---|
176 | Rationalnumber operator/( Rationalnumber l, Rationalnumber r ) {
|
---|
177 | stats.div += 1;
|
---|
178 | if ( r.num < 0 ) { r.num = -r.num; r.denom = -r.denom; }
|
---|
179 | return Rationalnumber( l.num * r.denom, l.denom * r.num );
|
---|
180 | } // operator/
|
---|
181 |
|
---|
182 | istream &operator>>( istream &is, Rationalnumber &r ) {
|
---|
183 | stats.in += 1;
|
---|
184 | is >> r.num >> r.denom;
|
---|
185 | int temp = Rationalnumber::common2( r.num, r.denom );
|
---|
186 | r.num /= temp;
|
---|
187 | r.denom /= temp;
|
---|
188 | return is;
|
---|
189 | } // operator>>
|
---|
190 |
|
---|
191 | ostream &operator<<( ostream &os, Rationalnumber r ) {
|
---|
192 | stats.out += 1;
|
---|
193 | return os << r.num << "/" << r.denom;
|
---|
194 | } // operator<<
|
---|
195 |
|
---|
196 | // Local Variables: //
|
---|
197 | // compile-command: "make rationalnumber" //
|
---|
198 | // End: //
|
---|