GiNaCRA
0.6.4
|
Go to the source code of this file.
Data Structures | |
struct | GiNaCRA::SampleList |
Type for a sorted list of RealAlgebraicNumberPtr. More... | |
struct | GiNaCRA::CADSettings |
Settings for the CAD class. More... | |
struct | GiNaCRA::isLessInLiftingPositions |
Functor comparing two positions of a vector of univariate polynomials. More... | |
class | GiNaCRA::CAD |
A collection of methods that lead directly to the computation of the CAD. More... | |
Namespaces | |
namespace | GiNaCRA |
Implementation of the class Constraint. | |
Typedefs | |
typedef std::unordered_map < RealAlgebraicNumberPtr, RealAlgebraicNumberPtr, RealAlgebraicNumberPtrHasher > | GiNaCRA::SampleSimplification |
Definition in file CAD.h.