CAPD::DynSys Library  6.0.0
ConesConditions.h File Reference

Namespaces

 capd
 
 capd::covrel
 Covering relations, H-sets, cones conditions.
 

Macros

#define LOGLN(x)   #x << (x) << "\n"
 

Functions

template<typename MatrixType >
bool capd::covrel::isPositiveDefined (const MatrixType &A)
 
template<typename Map , typename HSet2D , typename QuadraticForm >
bool capd::covrel::checkConesCondition (Map &f, const HSet2D &N1, const HSet2D &N2, const QuadraticForm &Q1, const QuadraticForm &Q2)
 Function checks cones condition. More...
 
template<typename Map , typename HSetWithCones >
bool capd::covrel::checkConesCondition (Map &f, const HSetWithCones &N1, const HSetWithCones &N2, const capd::covrel::CheckCoveringRelation2DParameters &param=capd::covrel::CheckCoveringRelation2DParameters(1, 1, 1, 1))
 Function checks cones condition. More...
 
template<typename C0SetType , typename Map , typename DynSys , typename HSetWithCones >
bool capd::covrel::checkCoveringRelationAndConesCondition (Map &f, DynSys &ds, const HSetWithCones &N1, const HSetWithCones &N2, const capd::covrel::CheckCoveringRelation2DParameters &param=capd::covrel::CheckCoveringRelation2DParameters(1, 1, 1, 1))
 Checks covering relation $ N_1 \Rightarrow N_2 $ and corresponding cones condition. More...
 
template<typename C0SetType , typename Map , typename DynSys , typename HSetWithCones >
bool capd::covrel::checkCoveringRelationAndConesCondition (Map &f, const HSetWithCones &N1, const HSetWithCones &N2, const capd::covrel::CheckCoveringRelation2DParameters &param=capd::covrel::CheckCoveringRelation2DParameters(1, 1, 1, 1))
 Checks covering relation $ N_1 \Rightarrow N_2 $ and corresponding cones condition. More...
 

Detailed Description

Author
Tomasz Kapela
Date
2009-08-03

Macro Definition Documentation

◆ LOGLN

#define LOGLN (   x)    #x << (x) << "\n"