X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=flower%2Frational.cc;h=724f0d99ca5b526dfc5f067decfbaf2066f7796c;hb=255a049d1d2428b495985e5418aa9ac0acb57c4e;hp=8ecdbccf34f39067e972c39eee8724fea3732e5d;hpb=bf898a6f737ebdd6a749ea0a14d1056a3566a10e;p=lilypond.git diff --git a/flower/rational.cc b/flower/rational.cc index 8ecdbccf34..724f0d99ca 100644 --- a/flower/rational.cc +++ b/flower/rational.cc @@ -3,28 +3,35 @@ source file of the Flower Library - (c) 1997--2006 Han-Wen Nienhuys + (c) 1997--2007 Han-Wen Nienhuys */ #include "rational.hh" #include +#include #include using namespace std; #include "string-convert.hh" #include "libc-extension.hh" -Rational::operator double () const +double +Rational::to_double () const { - return ((double)sign_) * num_ / den_; -} + if (sign_ == -1 || sign_ == 1 || sign_ == 0) + return ((double)sign_) * num_ / den_; + if (sign_ == -2) + return -HUGE_VAL; + else if (sign_ == 2) + return HUGE_VAL; + else + assert (false); -Rational::operator bool () const -{ - return sign_ && num_; + return 0.0; } + #ifdef STREAM_SUPPORT ostream & operator << (ostream &o, Rational r) @@ -34,6 +41,12 @@ operator << (ostream &o, Rational r) } #endif +Rational +Rational::abs () const +{ + return Rational (num_, den_); +} + Rational Rational::trunc_rat () const { @@ -49,29 +62,18 @@ Rational::Rational () Rational::Rational (int n, int d) { sign_ = ::sign (n) * ::sign (d); - num_ = abs (n); - den_ = abs (d); - normalise (); + num_ = ::abs (n); + den_ = ::abs (d); + normalize (); } Rational::Rational (int n) { sign_ = ::sign (n); - num_ = abs (n); + num_ = ::abs (n); den_ = 1; } -static inline -int gcd (int a, int b) -{ - int t; - while ((t = a % b)) - { - a = b; - b = t; - } - return b; -} void Rational::set_infinite (int s) @@ -103,8 +105,56 @@ Rational::mod_rat (Rational div) const return r; } + +/* + copy & paste from scm_gcd (GUILE). + */ +static int +gcd (long u, long v) +{ + long result = 0; + if (u == 0) + result = v; + else if (v == 0) + result = u; + else + { + long k = 1; + long t; + /* Determine a common factor 2^k */ + while (!(1 & (u | v))) + { + k <<= 1; + u >>= 1; + v >>= 1; + } + /* Now, any factor 2^n can be eliminated */ + if (u & 1) + t = -v; + else + { + t = u; + b3: + t = t >> 1; + } + if (!(1 & t)) + goto b3; + if (t > 0) + u = t; + else + v = -t; + t = u - v; + if (t != 0) + goto b3; + result = u * k; + } + + return result; +} + + void -Rational::normalise () +Rational::normalize () { if (!sign_) { @@ -175,9 +225,9 @@ Rational::operator += (Rational r) int n = sign_ * num_ * (lcm / den_) + r.sign_ * r.num_ * (lcm / r.den_); int d = lcm; sign_ = ::sign (n) * ::sign (d); - num_ = abs (n); - den_ = abs (d); - normalise (); + num_ = ::abs (n); + den_ = ::abs (d); + normalize (); } return *this; } @@ -207,19 +257,19 @@ Rational::Rational (double x) num_ = (unsigned int) (mantissa * FACT); den_ = (unsigned int) FACT; - normalise (); + normalize (); if (expt < 0) den_ <<= -expt; else num_ <<= expt; - normalise (); + normalize (); } else { num_ = 0; den_ = 1; sign_ = 0; - normalise (); + normalize (); } } @@ -244,7 +294,7 @@ Rational::operator *= (Rational r) num_ *= r.num_; den_ *= r.den_; - normalise (); + normalize (); exit_func: return *this; } @@ -269,16 +319,16 @@ Rational::operator -= (Rational r) return (*this += r); } -Std_string +string Rational::to_string () const { if (is_infinity ()) { - Std_string s (sign_ > 0 ? "" : "-"); - return Std_string (s + "infinity"); + string s (sign_ > 0 ? "" : "-"); + return string (s + "infinity"); } - Std_string s = ::to_string (num ()); + string s = ::to_string (num ()); if (den () != 1 && num ()) s += "/" + ::to_string (den ()); return s;