| [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: //
 | 
|---|