GiNaCRA  0.6.4
CAD.h File Reference

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

Detailed Description

Author:
Ulrich Loup
Version:
2012-05-19

Definition in file CAD.h.