SymEngine::PolynomialVisitor Class Reference

Inheritance diagram for SymEngine::PolynomialVisitor:

Collaboration diagram for SymEngine::PolynomialVisitor:

Public Member Functions
	PolynomialVisitor (const set_basic &variables)
void	bvisit (const Basic &x)
void	bvisit (const Number &x)
void	bvisit (const Constant &x)
void	bvisit (const Symbol &x)
void	bvisit (const Add &x)
void	bvisit (const Mul &x)
void	bvisit (const Pow &x)
void	bvisit (const Set &x)
void	bvisit (const Relational &x)
bool	apply (const Basic &b)

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

Private Attributes
bool	is_polynomial_ = true
bool	variables_allowed_ = true
const set_basic &	variables_

Detailed Description

Definition at line 320 of file test_visitors.h.

Constructor & Destructor Documentation

PolynomialVisitor()

SymEngine::PolynomialVisitor::PolynomialVisitor ( const set_basic &  variables )

inline

Definition at line 330 of file test_visitors.h.

: variables_(variables) {}

Member Function Documentation

apply()

bool SymEngine::PolynomialVisitor::apply

(

const Basic &

b

)

Definition at line 806 of file test_visitors.cpp.

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

bvisit() [1/9]

void SymEngine::PolynomialVisitor::bvisit

(

const Add &

x

)

Definition at line 741 of file test_visitors.cpp.

{
    for (const auto &arg : x.get_args()) {
        arg->accept(*this);
        if (!is_polynomial_)
            return;
    }
}

bvisit() [2/9]

void SymEngine::PolynomialVisitor::bvisit

(

const Basic &

x

)

Definition at line 727 of file test_visitors.cpp.

{
    auto old_allowed = variables_allowed_;
    variables_allowed_ = false;
    for (const auto &p : x.get_args()) {
        p->accept(*this);
        if (!is_polynomial_) {
            variables_allowed_ = old_allowed;
            return;
        }
    }
    variables_allowed_ = old_allowed;
}

bvisit() [3/9]

void SymEngine::PolynomialVisitor::bvisit ( const Constant &  x )

inline

Definition at line 333 of file test_visitors.h.

{};

bvisit() [4/9]

void SymEngine::PolynomialVisitor::bvisit

(

const Mul &

x

)

Definition at line 750 of file test_visitors.cpp.

{
    for (const auto &p : x.get_dict()) {
        this->check_power(*p.first, *p.second);
        if (!is_polynomial_)
            return;
    }
}

bvisit() [5/9]

void SymEngine::PolynomialVisitor::bvisit ( const Number &  x )

inline

Definition at line 332 of file test_visitors.h.

{};

bvisit() [6/9]

void SymEngine::PolynomialVisitor::bvisit

(

const Pow &

x

)

Definition at line 784 of file test_visitors.cpp.

{
    check_power(*x.get_base(), *x.get_exp());
}

bvisit() [7/9]

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

inline

Definition at line 342 of file test_visitors.h.

    {
        is_polynomial_ = false;
    };

bvisit() [8/9]

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

inline

Definition at line 338 of file test_visitors.h.

    {
        is_polynomial_ = false;
    };

bvisit() [9/9]

void SymEngine::PolynomialVisitor::bvisit

(

const Symbol &

x

)

Definition at line 789 of file test_visitors.cpp.

{
    if (variables_allowed_)
        return;
 
    if (variables_.empty()) { // All symbols are variables
        is_polynomial_ = false;
    } else {
        for (const auto &elem : variables_) {
            if (x.__eq__(*elem)) {
                is_polynomial_ = false;
                return;
            }
        }
    }
}

check_power()

void SymEngine::PolynomialVisitor::check_power ( const Basic &  base, const Basic &  exp  )

private

Definition at line 759 of file test_visitors.cpp.

{
    if (variables_allowed_) {
        variables_allowed_ = false;
        exp.accept(*this);
        if (!is_polynomial_) {
            variables_allowed_ = true;
            return;
        }
        base.accept(*this);
        variables_allowed_ = true;
        if (!is_polynomial_) {
            is_polynomial_ = true;
            base.accept(*this);
            is_polynomial_ = is_polynomial_ and is_a<Integer>(exp)
                             and down_cast<const Integer &>(exp).is_positive();
        }
    } else {
        base.accept(*this);
        if (!is_polynomial_)
            return;
        exp.accept(*this);
    }
}

Field Documentation

is_polynomial_

bool SymEngine::PolynomialVisitor::is_polynomial_ = true

private

Definition at line 323 of file test_visitors.h.

variables_

const set_basic& SymEngine::PolynomialVisitor::variables_

private

Definition at line 325 of file test_visitors.h.

variables_allowed_

bool SymEngine::PolynomialVisitor::variables_allowed_ = true

private

Definition at line 324 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