is there a symbolic infinity

[Roberto Bagnara]

Andreas Fabri wrote:
> And what is the
> opinion of the developers of the C++ wrapper that
> comes with GMP?   To implement a specialisation
> of numeric_limits is quite natural for a number
> type.

I am probably missing your point, but I attach below the signature
what I am using at the moment (notice that I have yet to add
the definitions for MPFR).
All the best,

    Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it


/* Specializations of std::numeric_limits for multi-precision types.
    This will become obsolete when GMP and MPFR will provide the
    specializations by themselves.
    Copyright (C) 2001-2005 Roberto Bagnara <bagnara at cs.unipr.it>

This file is part of the Parma Polyhedra Library (PPL).

The PPL is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by the
Free Software Foundation; either version 2 of the License, or (at your
option) any later version.

The PPL is distributed in the hope that it will be useful, but WITHOUT
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
for more details.

You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software Foundation,
Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.

For the most up-to-date information see the Parma Polyhedra Library
site: http://www.cs.unipr.it/ppl/ . */

#ifndef PPL_mp_numeric_limits_hh
#define PPL_mp_numeric_limits_hh 1

#include <gmpxx.h>
#include <limits>

namespace std {

template <>
class numeric_limits<mpz_class> {
private:
   typedef mpz_class Type;

public:
   static const bool is_specialized = false;
   static const int digits = 0;
   static const int digits10 = 0;
   static const bool is_signed = true;
   static const bool is_integer = true;
   static const bool is_exact = true;
   static const int radix = 2;
   static const int min_exponent = 0;
   static const int min_exponent10 = 0;
   static const int max_exponent = 0;
   static const int max_exponent10 = 0;
   static const bool has_infinity = false;
   static const bool has_quiet_NaN =  false;
   static const bool has_signaling_NaN = false;
   static const float_denorm_style has_denorm = denorm_absent;
   static const bool has_denorm_loss = false;
   static const bool is_iec559 = false;
   static const bool is_bounded = false;
   static const bool is_modulo = false;
   static const bool traps = false;
   static const bool tinyness_before = false;
   static const float_round_style round_style = round_toward_zero;

   static Type min() {
     return static_cast<Type>(0);
   }

   static Type max() {
     return static_cast<Type>(0);
   }

   static Type epsilon() {
     return static_cast<Type>(1);
   }

   static Type round_error() {
     return static_cast<Type>(1);
   }

   static Type infinity() {
     return static_cast<Type>(0);
   }

   static Type quiet_NaN() {
     return static_cast<Type>(0);
   }

   static Type denorm_min() {
     return static_cast<Type>(1);
   }
};

template <>
class numeric_limits<mpq_class> {
private:
   typedef mpq_class Type;

public:
   static const bool is_specialized = false;
   static const int digits = 0;
   static const int digits10 = 0;
   static const bool is_signed = true;
   static const bool is_integer = false;
   static const bool is_exact = true;
   static const int radix = 2;
   static const int min_exponent = 0;
   static const int min_exponent10 = 0;
   static const int max_exponent = 0;
   static const int max_exponent10 = 0;
   static const bool has_infinity = false;
   static const bool has_quiet_NaN =  false;
   static const bool has_signaling_NaN = false;
   static const float_denorm_style has_denorm = denorm_absent;
   static const bool has_denorm_loss = false;
   static const bool is_iec559 = false;
   static const bool is_bounded = false;
   static const bool is_modulo = false;
   static const bool traps = false;
   static const bool tinyness_before = false;
   static const float_round_style round_style = round_toward_zero;

   static Type min() {
     return static_cast<Type>(0);
   }

   static Type max() {
     return static_cast<Type>(0);
   }

   static Type epsilon() {
     return static_cast<Type>(0);
   }

   static Type round_error() {
     return static_cast<Type>(0);
   }

   static Type infinity() {
     return static_cast<Type>(0);
   }

   static Type quiet_NaN() {
     return static_cast<Type>(0);
   }

   static Type denorm_min() {
     return static_cast<Type>(0);
   }
};

} // namespace std

#endif // !defined(PPL_mp_numeric_limits_hh)