SymEngine::RealVisitor Class Reference

Inheritance diagram for SymEngine::RealVisitor:

Collaboration diagram for SymEngine::RealVisitor:

Public Member Functions
	RealVisitor (const Assumptions *assumptions)
void	bvisit (const Basic &x)
void	bvisit (const Symbol &x)
void	bvisit (const Number &x)
void	bvisit (const Set &x)
void	bvisit (const Relational &x)
void	bvisit (const Boolean &x)
void	bvisit (const Constant &x)
void	bvisit (const Add &x)
void	bvisit (const Mul &x)
void	bvisit (const Pow &x)
tribool	apply (const Basic &b)

Private Member Functions
void	check_power (const RCP< const Basic > &base, const RCP< const Basic > &exp)

Private Attributes
tribool	is_real_
const Assumptions *	assumptions_

Detailed Description

Definition at line 173 of file test_visitors.h.

Constructor & Destructor Documentation

RealVisitor()

SymEngine::RealVisitor::RealVisitor ( const Assumptions *  assumptions )

inline

Definition at line 182 of file test_visitors.h.

: assumptions_(assumptions){};

Member Function Documentation

apply()

tribool SymEngine::RealVisitor::apply

(

const Basic &

b

)

Definition at line 546 of file test_visitors.cpp.

{
    b.accept(*this);
    return is_real_;
}

bvisit() [1/10]

void SymEngine::RealVisitor::bvisit

(

const Add &

x

)

Definition at line 468 of file test_visitors.cpp.

{
    tribool b = tribool::tritrue;
    for (const auto &arg : x.get_args()) {
        arg->accept(*this);
        b = andwk_tribool(b, is_real_);
        if (is_indeterminate(b)) {
            break;
        }
    }
    is_real_ = b;
}

bvisit() [2/10]

void SymEngine::RealVisitor::bvisit ( const Basic &  x )

inline

Definition at line 183 of file test_visitors.h.

    {
        is_real_ = tribool::indeterminate;
    };

bvisit() [3/10]

void SymEngine::RealVisitor::bvisit ( const Boolean &  x )

inline

Definition at line 197 of file test_visitors.h.

    {
        is_real_ = tribool::trifalse;
    };

bvisit() [4/10]

void SymEngine::RealVisitor::bvisit

(

const Constant &

x

)

Definition at line 458 of file test_visitors.cpp.

{
    if (eq(x, *pi) or eq(x, *E) or eq(x, *EulerGamma) or eq(x, *Catalan)
        or eq(x, *GoldenRatio)) {
        is_real_ = tribool::tritrue;
    } else {
        is_real_ = tribool::indeterminate;
    }
}

bvisit() [5/10]

void SymEngine::RealVisitor::bvisit

(

const Mul &

x

)

Definition at line 512 of file test_visitors.cpp.

{
    unsigned non_real = 0;
    tribool b = tribool_from_bool(!x.get_coef()->is_complex());
    if (is_false(b)) {
        non_real++;
    }
    for (const auto &p : x.get_dict()) {
        this->check_power(p.first, p.second);
        if (is_false(is_real_)) {
            non_real++;
            if (non_real > 1) {
                is_real_ = tribool::indeterminate;
                return;
            }
        }
        b = andwk_tribool(b, is_real_);
        if (is_indeterminate(b)) {
            is_real_ = tribool::indeterminate;
            return;
        }
    }
    if (non_real == 1) {
        is_real_ = tribool::trifalse;
    } else {
        is_real_ = b;
    }
}

bvisit() [6/10]

void SymEngine::RealVisitor::bvisit

(

const Number &

x

)

Definition at line 449 of file test_visitors.cpp.

{
    if (is_a_Complex(x) or is_a<Infty>(x) or is_a<NaN>(x)) {
        is_real_ = tribool::trifalse;
    } else {
        is_real_ = tribool::tritrue;
    }
}

bvisit() [7/10]

void SymEngine::RealVisitor::bvisit

(

const Pow &

x

)

Definition at line 541 of file test_visitors.cpp.

{
    this->check_power(x.get_base(), x.get_exp());
}

bvisit() [8/10]

void SymEngine::RealVisitor::bvisit ( const Relational &  x )

inline

Definition at line 193 of file test_visitors.h.

    {
        is_real_ = tribool::trifalse;
    };

bvisit() [9/10]

void SymEngine::RealVisitor::bvisit ( const Set &  x )

inline

Definition at line 189 of file test_visitors.h.

    {
        is_real_ = tribool::trifalse;
    };

bvisit() [10/10]

void SymEngine::RealVisitor::bvisit

(

const Symbol &

x

)

Definition at line 440 of file test_visitors.cpp.

{
    if (assumptions_) {
        is_real_ = assumptions_->is_real(x.rcp_from_this());
    } else {
        is_real_ = tribool::indeterminate;
    }
}

check_power()

void SymEngine::RealVisitor::check_power ( const RCP< const Basic > &  base, const RCP< const Basic > &  exp  )

private

Definition at line 481 of file test_visitors.cpp.

{
    if (is_true(is_zero(*exp, assumptions_))) {
        // exp == 0 => true
        is_real_ = tribool::tritrue;
        return;
    }
    base->accept(*this);
    if (is_true(is_real_)) {
        if (is_true(is_integer(*exp, assumptions_))) {
            // base is real and exp is integer => true
            is_real_ = tribool::tritrue;
        } else if (is_true(is_nonnegative(*base, assumptions_))) {
            // base >= 0 and exp is real => true
            exp->accept(*this);
            if (is_false(is_real_)) {
                is_real_ = tribool::indeterminate;
            }
        } else {
            is_real_ = tribool::indeterminate;
        }
    } else if (is_false(is_real_) && is_true(is_complex(*base, assumptions_))
               && is_true(is_zero(*sub(exp, integer(1)), assumptions_))) {
        // base is not real but complex and exp = 1 => false
        is_real_ = tribool::trifalse;
    } else {
        is_real_ = tribool::indeterminate;
    }
}

Field Documentation

assumptions_

const Assumptions* SymEngine::RealVisitor::assumptions_

private

Definition at line 177 of file test_visitors.h.

is_real_

tribool SymEngine::RealVisitor::is_real_

private

Definition at line 176 of file test_visitors.h.

---

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

• /home/runner/work/symengine/symengine/symengine/test_visitors.h
• /home/runner/work/symengine/symengine/symengine/test_visitors.cpp