rational.h File Reference
#include <vector>
#include "debug.h"
Go to the source code of this file.
Classes
Namespaces
Typedefs
Functions
- Rational CVC3::pow (Rational pow, const Rational &base)
- Raise 'base' into the power of 'pow' (pow must be an integer).
- Rational CVC3::ratRoot (const Rational &base, unsigned long int n)
- take nth root of base, return result if it is exact, 0 otherwise
- Rational CVC3::newRational (int n, int d=1)
- Rational CVC3::newRational (const char *n, int base=10)
- Rational CVC3::newRational (const std::string &n, int base=10)
- Rational CVC3::newRational (const char *n, const char *d, int base=10)
- Rational CVC3::newRational (const std::string &n, const std::string &d, int base=10)
- void CVC3::printRational (const Rational &x)
Detailed Description
Author: Sergey Berezin
Created: Dec 12 22:00:18 GMT 2002
License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the LICENSE file provided with this distribution.
Definition in file rational.h.