math_utilities_defs.hh File Reference

#include "Coefficient_types.hh"
#include "Checked_Number_defs.hh"
#include <gmpxx.h>
#include "math_utilities_inlines.hh"

Include dependency graph for math_utilities_defs.hh:

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

Go to the source code of this file.

Namespaces
	Parma_Polyhedra_Library
	The entire library is confined to this namespace.

Functions
template<typename T >
Enable_If< Is_Native_Or_Checked< T >::value, void >::type	Parma_Polyhedra_Library::numer_denom (const T &from, Coefficient &numer, Coefficient &denom)
	Extract the numerator and denominator components of from. More...
template<typename T >
Enable_If< Is_Native_Or_Checked< T >::value, void >::type	Parma_Polyhedra_Library::div_round_up (T &to, Coefficient_traits::const_reference x, Coefficient_traits::const_reference y)
	Divides x by y into to, rounding the result towards plus infinity. More...
template<typename N >
void	Parma_Polyhedra_Library::min_assign (N &x, const N &y)
	Assigns to x the minimum between x and y. More...
template<typename N >
void	Parma_Polyhedra_Library::max_assign (N &x, const N &y)
	Assigns to x the maximum between x and y. More...
template<typename T >
Enable_If< Is_Native_Or_Checked< T >::value, bool >::type	Parma_Polyhedra_Library::is_even (const T &x)
	Returns true if and only if x is an even number. More...
template<typename T >
Enable_If< Is_Native_Or_Checked< T >::value, bool >::type	Parma_Polyhedra_Library::is_additive_inverse (const T &x, const T &y)
	Returns true if and only if . More...
void	Parma_Polyhedra_Library::normalize2 (Coefficient_traits::const_reference x, Coefficient_traits::const_reference y, Coefficient &n_x, Coefficient &n_y)
	If is the GCD of x and y, the values of x and y divided by are assigned to n_x and n_y, respectively. More...
bool	Parma_Polyhedra_Library::is_canonical (const mpq_class &x)
	Returns true if and only if x is in canonical form. More...
template<typename T >
T	Parma_Polyhedra_Library::low_bits_mask (unsigned n)
	Returns a mask for the lowest n bits,. More...