rational.h

Go to the documentation of this file.

/*
Copyright (C) 2013-2017
Rafael Guglielmetti, rafael.guglielmetti@unifr.ch
*/
 
/*
This file is part of CoxIter.
 
CoxIter is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as
published by the Free Software Foundation, either version 3 of the
License, or (at your option) any later version.
 
CoxIter is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
 
You should have received a copy of the GNU General Public License
along with CoxIter. If not, see <http://www.gnu.org/licenses/>.
*/
 
#ifndef __RATIONAL_GENERIC_H__
#define __RATIONAL_GENERIC_H__
 
#include <iostream>
 
using namespace std;
 
template <typename T> class Rational {
public:
  T a;
  T b;
 
private:
  // TODO init
  bool isZero;
  bool hasDenominatorOne;
  bool isOne;
  bool isMinusOne;
 
private:
  void update();
 
public:
  Rational();
 
  Rational(T a, T b);
  Rational(T a);
 
  Rational(const int &i);
 
  bool operator>(Rational const &) const;
  bool operator<(Rational const &) const;
  bool operator>=(int const &) const;
  bool operator==(int const &) const;
  bool operator==(Rational const &) const;
  bool operator!=(Rational const &) const;
 
  Rational &operator=(long int);
 
  Rational operator+(Rational const &n) const;
  Rational &operator+=(Rational const &n);
 
  Rational operator-(Rational const &n) const;
  Rational operator-() const;
  void opp(Rational *&_c) const;
  Rational &operator-=(Rational const &n);
 
  Rational operator*(Rational const &n) const;
  Rational &operator*=(Rational const &n);
 
  Rational operator/(Rational const &n) const;
  Rational &operator/=(Rational const &n);
 
  void print(ostream &) const;
 
  string to_string() const;
 
  bool get_hasDenominatorOne() const;
};
 
template <typename T> ostream &operator<<(ostream &, Rational<T> const &);
 
template <typename T> T abs(const T &r) {
  T rabs(r);
  if (rabs.a.isLessThan(0))
    rabs.a.multiplyBy(-1);
 
  return rabs;
}
 
#include "rational.tpp"
 
#endif