expansion_nt.h File Reference

High-level interface to multi-precision arithmetics. More...

#include <geogram/basic/common.h>
#include <geogram/numerics/multi_precision.h>
#include <geogram/basic/matrix.h>

Go to the source code of this file.

Classes
class	GEO::expansion_nt
	Expansion_nt (expansion Number Type) is used to compute the sign of polynoms exactly. More...
class	GEO::rational_nt
	Rational_nt (rational Number Type) is used to compute the sign of rational fractions exactly. More...

Namespaces
namespace	GEO
	Global Vorpaline namespace.

Functions
template<>
Sign	GEO::geo_sgn (const expansion_nt &x)
	Specialization of geo_sgn() for expansion_nt.
bool	GEO::expansion_nt_is_zero (const expansion_nt &x)
	Tests whether an expansion_nt is zero.
bool	GEO::expansion_nt_is_one (const expansion_nt &x)
	Tests whether an expansion_nt is equal to one.
Sign	GEO::expansion_nt_compare (const expansion_nt &x, const expansion_nt &y)
	Compares two expansion_nt.
expansion_nt	GEO::expansion_nt_square (const expansion_nt &x)
	Computes the square of an expansion_nt.
expansion_nt	GEO::expansion_nt_determinant (const expansion_nt &a00, const expansion_nt &a01, const expansion_nt &a10, const expansion_nt &a11)
	Computes a 2x2 determinant.
expansion_nt	GEO::expansion_nt_determinant (const expansion_nt &a00, const expansion_nt &a01, const expansion_nt &a02, const expansion_nt &a10, const expansion_nt &a11, const expansion_nt &a12, const expansion_nt &a20, const expansion_nt &a21, const expansion_nt &a22)
	Computes a 3x3 determinant.
expansion_nt	GEO::expansion_nt_determinant (const expansion_nt &a00, const expansion_nt &a01, const expansion_nt &a02, const expansion_nt &a03, const expansion_nt &a10, const expansion_nt &a11, const expansion_nt &a12, const expansion_nt &a13, const expansion_nt &a20, const expansion_nt &a21, const expansion_nt &a22, const expansion_nt &a23, const expansion_nt &a30, const expansion_nt &a31, const expansion_nt &a32, const expansion_nt &a33)
	Computes a 4x4 determinant.
template<>
expansion_nt	GEO::det2x2 (const expansion_nt &a11, const expansion_nt &a12, const expansion_nt &a21, const expansion_nt &a22)
	Specialization of det2x2.
template<>
expansion_nt	GEO::det3x3 (const expansion_nt &a11, const expansion_nt &a12, const expansion_nt &a13, const expansion_nt &a21, const expansion_nt &a22, const expansion_nt &a23, const expansion_nt &a31, const expansion_nt &a32, const expansion_nt &a33)
	Specialization of det3x3.
template<>
expansion_nt	GEO::det4x4 (const expansion_nt &a11, const expansion_nt &a12, const expansion_nt &a13, const expansion_nt &a14, const expansion_nt &a21, const expansion_nt &a22, const expansion_nt &a23, const expansion_nt &a24, const expansion_nt &a31, const expansion_nt &a32, const expansion_nt &a33, const expansion_nt &a34, const expansion_nt &a41, const expansion_nt &a42, const expansion_nt &a43, const expansion_nt &a44)
	Specialization of det4x4.
std::ostream &	operator<< (std::ostream &os, const GEO::expansion_nt &a)
	Displays the approximated value of an expansion_nt to a stream.
std::istream &	operator>> (std::istream &is, GEO::expansion_nt &a)
	Reads a double precision number from a stream and converts it to an approximation.
template<>
Sign	GEO::geo_sgn (const rational_nt &x)
	Specialization of geo_sgn() for rational_nt.

Detailed Description

High-level interface to multi-precision arithmetics.

This file provides a "number-type" that encapsulates a (low-level) GEO::expansion object.

Definition in file expansion_nt.h.

Function Documentation

operator<<()

std::ostream & operator<< ( std::ostream &  os, const GEO::expansion_nt &  a  )

inline

Displays the approximated value of an expansion_nt to a stream.

Parameters

[out]	os	the stream
[in]	a	the expansion_nt to be sent to the stream

Returns

a reference to the stream

Definition at line 996 of file expansion_nt.h.

operator>>()

std::istream & operator>> ( std::istream &  is, GEO::expansion_nt &  a  )

inline

Reads a double precision number from a stream and converts it to an approximation.

Parameters

[in]	is	the stream
[out]	a	the read expansion_nt

Returns

a reference to the stream

Definition at line 1009 of file expansion_nt.h.