RealAlgebraicNumberFactory.cpp File Reference

Go to the source code of this file.

Data Structures
struct	GiNaCRA::polynomial_has_nonzero_sign
Namespaces
namespace	GiNaCRA
	Implementation of the class Constraint.

---

Detailed Description

Since:

: 2011-10-18

Version:

: 2012-05-07

Author:

: Joachim Redies

Ulrich Loup

Definition in file RealAlgebraicNumberFactory.cpp.