CVC3

Implementation of class Rational using native (bounded precision) computer arithmetic. More...
Go to the source code of this file.
Implementation of class Rational using native (bounded precision) computer arithmetic.
Author: Sergey Berezin
Created: Mon Jul 28 12:18:03 2003
Definition in file rationalnative.cpp.