RealAlgebraicNumberIR.h File Reference

Go to the source code of this file.

Data Structures
class	GiNaCRA::RealAlgebraicNumberIR
	An implementation of an real algebraic number providing methods to add, multiply or evaluate their sign on polynomials. More...
Namespaces
namespace	GiNaCRA
	Implementation of the class Constraint.
Defines
#define	GINACRA_INTERVALREPRESENTATION_OPT_NORMALIZE_POLYNOMIAL
Typedefs
typedef std::tr1::shared_ptr < RealAlgebraicNumberIR >	GiNaCRA::RealAlgebraicNumberIRPtr

---

Define Documentation

#define GINACRA_INTERVALREPRESENTATION_OPT_NORMALIZE_POLYNOMIAL

Definition at line 27 of file RealAlgebraicNumberIR.h.