SPAR/AIModule/BWTA/vendors/CGAL/CGAL/CORE/BigFloat.h File Reference

#include <CGAL/CORE/BigFloatRep.h>

Include dependency graph for BigFloat.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	BigFloat
	BigFloat is a class of Float-Point number with error bounds. More...
Typedefs
typedef RCImpl< BigFloatRep >	RCBigFloat
Functions
BigFloat	operator+ (const BigFloat &x, const BigFloat &y)
	operator+
BigFloat	operator- (const BigFloat &x, const BigFloat &y)
	operator-
BigFloat	operator* (const BigFloat &x, const BigFloat &y)
	operator*
BigFloat	operator/ (const BigFloat &x, const BigFloat &y)
	operator/
bool	operator== (const BigFloat &x, const BigFloat &y)
	operator==
bool	operator!= (const BigFloat &x, const BigFloat &y)
	operator!=
bool	operator>= (const BigFloat &x, const BigFloat &y)
	operator>=
bool	operator> (const BigFloat &x, const BigFloat &y)
	operator>
bool	operator<= (const BigFloat &x, const BigFloat &y)
	operator<=
bool	operator< (const BigFloat &x, const BigFloat &y)
	operator<
int	sign (const BigFloat &x)
	sign
BigFloat	div2 (const BigFloat &x)
	div2
BigFloat	abs (const BigFloat &x)
	abs
int	cmp (const BigFloat &x, const BigFloat &y)
	cmp
BigFloat	pow (const BigFloat &, unsigned long)
	pow
BigFloat	power (const BigFloat &x, unsigned long p)
	power
BigFloat	root (const BigFloat &, unsigned long k, const extLong &, const BigFloat &)
BigFloat	root (const BigFloat &x, unsigned long k)
BigFloat	sqrt (const BigFloat &x)
	sqrt to defAbsPrec:
BigFloat	centerize (const BigFloat &a, const BigFloat &b)
	convert an BigFloat Interval to a BigFloat with error bits
long	minStar (long m, long n)
	minStar(m,n) returns the min-star of m and n
File I/O Functions
void	readFromFile (BigFloat &bf, std::istream &in, long maxLength=0)
	read from file
void	writeToFile (const BigFloat &bf, std::ostream &in, int base=10, int charsPerLine=80)
	write to file
std::ostream &	operator<< (std::ostream &o, const BigFloat &x)
	IO stream operator<<.
std::istream &	operator>> (std::istream &i, BigFloat &x)
	IO stream operator>>
Functions for Compatibility with BigInt (needed by Poly, Curves)
bool	isDivisible (const BigFloat &a, const BigFloat &b)
	isDivisible(a,b) = "is a divisible by b"
bool	isDivisible (double x, double y)
BigFloat	div_exact (const BigFloat &x, const BigFloat &y)
	div_exact(x,y) returns the BigFloat quotient of x divided by y
BigFloat	div_exact (double x, double y)
BigFloat	gcd (const BigFloat &a, const BigFloat &b)
	gcd(a,b) = BigFloat(gcd(a.mantissa,b.matissa), min(a.exp(), b.exp()) )

---

Typedef Documentation

typedef RCImpl<BigFloatRep> RCBigFloat

---

Function Documentation

BigFloat abs

(

const BigFloat &

x

)

[inline]

abs

Here is the call graph for this function:

BigFloat centerize	(	const BigFloat &	a,
		const BigFloat &	b
	)		[inline]

convert an BigFloat Interval to a BigFloat with error bits

Here is the call graph for this function:

Here is the caller graph for this function:

int cmp	(	const BigFloat &	x,
		const BigFloat &	y
	)		[inline]

cmp

Here is the call graph for this function:

Here is the caller graph for this function:

BigFloat div2

(

const BigFloat &

x

)

[inline]

div2

Here is the call graph for this function:

Here is the caller graph for this function:

BigFloat div_exact	(	const BigFloat &	x,
		const BigFloat &	y
	)		[inline]

div_exact(x,y) returns the BigFloat quotient of x divided by y

This is defined only if isDivisible(x,y).

Here is the call graph for this function:

Here is the caller graph for this function:

BigFloat div_exact	(	double	x,
		double	y
	)		[inline]

Here is the call graph for this function:

BigFloat gcd	(	const BigFloat &	a,
		const BigFloat &	b
	)		[inline]

gcd(a,b) = BigFloat(gcd(a.mantissa,b.matissa), min(a.exp(), b.exp()) )

Here is the call graph for this function:

Here is the caller graph for this function:

bool isDivisible	(	const BigFloat &	a,
		const BigFloat &	b
	)		[inline]

isDivisible(a,b) = "is a divisible by b"

Assuming that a and b are in coanonized forms. Defined to be true if mantissa(b) | mantissa(a) && exp(b) = min*(exp(b), exp(a)). This concepts assume a and b are exact BigFloats.

Here is the call graph for this function:

Here is the caller graph for this function:

bool isDivisible	(	double	x,
		double	y
	)		[inline]

Here is the call graph for this function:

long minStar	(	long	m,
		long	n
	)		[inline]

minStar(m,n) returns the min-star of m and n

Here is the call graph for this function:

Here is the caller graph for this function:

bool operator!=	(	const BigFloat &	x,
		const BigFloat &	y
	)		[inline]

operator!=

Here is the call graph for this function:

BigFloat operator*	(	const BigFloat &	x,
		const BigFloat &	y
	)		[inline]

operator*

Here is the call graph for this function:

BigFloat operator+	(	const BigFloat &	x,
		const BigFloat &	y
	)		[inline]

operator+

Here is the call graph for this function:

BigFloat operator-	(	const BigFloat &	x,
		const BigFloat &	y
	)		[inline]

operator-

Here is the call graph for this function:

BigFloat operator/	(	const BigFloat &	x,
		const BigFloat &	y
	)		[inline]

operator/

Here is the call graph for this function:

bool operator<	(	const BigFloat &	x,
		const BigFloat &	y
	)		[inline]

operator<

Here is the call graph for this function:

std::ostream& operator<<	(	std::ostream &	o,
		const BigFloat &	x
	)		[inline]

IO stream operator<<.

Here is the call graph for this function:

bool operator<=	(	const BigFloat &	x,
		const BigFloat &	y
	)		[inline]

operator<=

Here is the call graph for this function:

bool operator==	(	const BigFloat &	x,
		const BigFloat &	y
	)		[inline]

operator==

Here is the call graph for this function:

bool operator>	(	const BigFloat &	x,
		const BigFloat &	y
	)		[inline]

operator>

Here is the call graph for this function:

bool operator>=	(	const BigFloat &	x,
		const BigFloat &	y
	)		[inline]

operator>=

Here is the call graph for this function:

std::istream& operator>>	(	std::istream &	i,
		BigFloat &	x
	)		[inline]

IO stream operator>>

Here is the call graph for this function:

BigFloat pow	(	const BigFloat &	,
		unsigned	long
	)

pow

Here is the caller graph for this function:

BigFloat power	(	const BigFloat &	x,
		unsigned long	p
	)		[inline]

power

Here is the call graph for this function:

Here is the caller graph for this function:

void readFromFile	(	BigFloat &	bf,
		std::istream &	in,
		long	maxLength = 0
	)

read from file

BigFloat root	(	const BigFloat &	,
		unsigned long	k,
		const extLong &	,
		const BigFloat &
	)

root(x,k,prec,xx) returns the k-th root of x to precision prec. The argument x is an initial approximation.

Here is the caller graph for this function:

BigFloat root	(	const BigFloat &	x,
		unsigned long	k
	)		[inline]

Here is the call graph for this function:

int sign

(

const BigFloat &

x

)

[inline]

sign

Here is the call graph for this function:

BigFloat sqrt

(

const BigFloat &

x

)

[inline]

sqrt to defAbsPrec:

Here is the call graph for this function:

void writeToFile	(	const BigFloat &	bf,
		std::ostream &	in,
		int	base = 10,
		int	charsPerLine = 80
	)

write to file