| [53ba273] | 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: // | 
|---|