carl  24.04
Computer ARithmetic Library
carl::ToGiNaC Class Reference

#include <GiNaCAdaptor.h>

Public Types

typedef GiNaC::numeric Number
 
typedef GiNaC::symbol Variable
 
typedef GiNaC::ex VariablePower
 
typedef GiNaC::ex Monomial
 
typedef GiNaC::ex Term
 
typedef GiNaC::ex MPolynomial
 
typedef GiNaC::ex UPolynomial
 

Public Member Functions

Number operator() (const cln::cl_RA &n)
 
Number operator() (const mpq_class &n)
 
Variable operator() (carl::Variable::Arg v)
 
VariablePower operator() (GiNaC::symbol v, const carl::exponent &exp)
 
Monomial operator() (const std::vector< GiNaC::ex > &vp)
 
template<typename Coeff >
Term operator() (const GiNaC::numeric &n, const GiNaC::ex &mon)
 
template<typename Coeff >
MPolynomial operator() (const std::vector< GiNaC::ex > &terms)
 

Detailed Description

Definition at line 15 of file GiNaCAdaptor.h.

Member Typedef Documentation

◆ Monomial

typedef GiNaC::ex carl::ToGiNaC::Monomial

Definition at line 20 of file GiNaCAdaptor.h.

◆ MPolynomial

typedef GiNaC::ex carl::ToGiNaC::MPolynomial

Definition at line 22 of file GiNaCAdaptor.h.

◆ Number

typedef GiNaC::numeric carl::ToGiNaC::Number

Definition at line 17 of file GiNaCAdaptor.h.

◆ Term

typedef GiNaC::ex carl::ToGiNaC::Term

Definition at line 21 of file GiNaCAdaptor.h.

◆ UPolynomial

typedef GiNaC::ex carl::ToGiNaC::UPolynomial

Definition at line 23 of file GiNaCAdaptor.h.

◆ Variable

typedef GiNaC::symbol carl::ToGiNaC::Variable

Definition at line 18 of file GiNaCAdaptor.h.

◆ VariablePower

typedef GiNaC::ex carl::ToGiNaC::VariablePower

Definition at line 19 of file GiNaCAdaptor.h.

Member Function Documentation

◆ operator()() [1/7]

Variable carl::ToGiNaC::operator() ( carl::Variable::Arg  v)
inline

Definition at line 33 of file GiNaCAdaptor.h.

Here is the call graph for this function:

◆ operator()() [2/7]

Number carl::ToGiNaC::operator() ( const cln::cl_RA &  n)
inline

Definition at line 25 of file GiNaCAdaptor.h.

◆ operator()() [3/7]

template<typename Coeff >
Term carl::ToGiNaC::operator() ( const GiNaC::numeric &  n,
const GiNaC::ex &  mon 
)
inline

Definition at line 47 of file GiNaCAdaptor.h.

◆ operator()() [4/7]

Number carl::ToGiNaC::operator() ( const mpq_class &  n)
inline

Definition at line 28 of file GiNaCAdaptor.h.

◆ operator()() [5/7]

template<typename Coeff >
MPolynomial carl::ToGiNaC::operator() ( const std::vector< GiNaC::ex > &  terms)
inline

Definition at line 51 of file GiNaCAdaptor.h.

◆ operator()() [6/7]

Monomial carl::ToGiNaC::operator() ( const std::vector< GiNaC::ex > &  vp)
inline

Definition at line 43 of file GiNaCAdaptor.h.

◆ operator()() [7/7]

VariablePower carl::ToGiNaC::operator() ( GiNaC::symbol  v,
const carl::exponent exp 
)
inline

Definition at line 40 of file GiNaCAdaptor.h.

Here is the call graph for this function:

The documentation for this class was generated from the following file: