[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

Use of Itv

To use ITV in C, add
 
#include "itv.h"
in your source file(s) and add `-I$(ITV_PREFIX)/include' in the command line in your Makefile.

You should also link your object files with the ITV library to produce an executable, by adding something like `-L$(ITV_PREFIX)/li -litvmpq_debug' in the command line in your Makefile.

There are actually several variants of the library:

`libitvllr.a'
The underlying representation for numbers is rationals based on long long int integers. This may cause overflows. These are currently not detected.
`libitvdbl.a'
The underlying representations for numbers is double. Overflows are not possible (we use infinite floating numbers), but currently the soundness is not ensured for all operations.
`libitvmpq.a'
The underlying representations for rationams is mpq_t, the multi-precision rationals from the GNU GMP library. Overflows are not possible any more, but huge numbers may appear.

Also, all library are available in debug mode (`libitvmpq_debug.a', ...).



This document was generated on December, 22 2006 using texi2html