00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023 #ifndef PPL_math_utilities_defs_hh
00024 #define PPL_math_utilities_defs_hh 1
00025
00026 #include "Coefficient.types.hh"
00027 #include "Checked_Number.defs.hh"
00028 #include <gmpxx.h>
00029
00030 namespace Parma_Polyhedra_Library {
00031
00032 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00034 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
00035 template <typename T, typename Policy>
00036 void
00037 numer_denom(const Checked_Number<T, Policy>& from,
00038 Coefficient& num, Coefficient& den);
00039
00040 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00042 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
00043 template <typename T, typename Policy>
00044 void
00045 div_round_up(Checked_Number<T, Policy>& to,
00046 Coefficient_traits::const_reference x,
00047 Coefficient_traits::const_reference y);
00048
00049 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00051 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
00052 template <typename N>
00053 void
00054 min_assign(N& x, const N& y);
00055
00056 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00058 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
00059 template <typename N>
00060 void
00061 max_assign(N& x, const N& y);
00062
00063 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00065 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
00066 template <typename T, typename Policy>
00067 bool
00068 is_even(const Checked_Number<T, Policy>& x);
00069
00070 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00072 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
00073 template <typename T, typename Policy>
00074 bool
00075 is_additive_inverse(const Checked_Number<T, Policy>& x,
00076 const Checked_Number<T, Policy>& y);
00077
00078 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00079
00087 #endif
00088 void
00089 normalize2(Coefficient_traits::const_reference x,
00090 Coefficient_traits::const_reference y,
00091 Coefficient& nx, Coefficient& ny);
00092
00093 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00095 #endif // defined(PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS)
00096 bool
00097 is_canonical(const mpq_class& x);
00098
00099 #ifdef PPL_DOXYGEN_INCLUDE_IMPLEMENTATION_DETAILS
00101 #endif
00102 template <typename T>
00103 T
00104 low_bits_mask(unsigned n);
00105
00106 }
00107
00108 #include "math_utilities.inlines.hh"
00109
00110 #endif // !defined(PPL_math_utilities_defs_hh)