SymEngine::PolyGeneratorVisitor Class Reference

Inheritance diagram for SymEngine::PolyGeneratorVisitor:

Collaboration diagram for SymEngine::PolyGeneratorVisitor:

Public Member Functions
umap_basic_num	apply (const Basic &b)
void	add_to_gen_set (const RCP< const Basic > &base, const RCP< const Number > &exp)
void	bvisit (const Pow &x)
void	bvisit (const Add &x)
void	bvisit (const Mul &x)
void	bvisit (const Number &x)
void	bvisit (const Basic &x)

Private Attributes
umap_basic_num	gen_set

Detailed Description

Definition at line 10 of file basic_conversions.cpp.

Member Function Documentation

add_to_gen_set()

void SymEngine::PolyGeneratorVisitor::add_to_gen_set ( const RCP< const Basic > &  base, const RCP< const Number > &  exp  )

inline

Definition at line 26 of file basic_conversions.cpp.

    {
        auto it = gen_set.find(base);
        if (it == gen_set.end()) {
            gen_set[base] = exp;
            return;
        }
 
        if (is_a<const Rational>(*exp)) {
            RCP<const Integer> den
                = down_cast<const Rational &>(*exp).get_den();
            if (is_a<const Rational>(*it->second))
                gen_set[base] = divnum(
                    one,
                    lcm(*den,
                        *down_cast<const Rational &>(*it->second).get_den()));
            else
                gen_set[base] = divnum(one, den);
        }
    }

apply()

umap_basic_num SymEngine::PolyGeneratorVisitor::apply ( const Basic &  b )

inline

Definition at line 19 of file basic_conversions.cpp.

    {
        b.accept(*this);
        return std::move(gen_set);
    }

bvisit() [1/5]

void SymEngine::PolyGeneratorVisitor::bvisit ( const Add &  x )

inline

Definition at line 74 of file basic_conversions.cpp.

    {
        for (auto it : x.get_dict())
            it.first->accept(*this);
    }

bvisit() [2/5]

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

inline

Definition at line 91 of file basic_conversions.cpp.

    {
        add_to_gen_set(x.rcp_from_this(), one);
    }

bvisit() [3/5]

void SymEngine::PolyGeneratorVisitor::bvisit ( const Mul &  x )

inline

Definition at line 80 of file basic_conversions.cpp.

    {
        for (auto it : x.get_dict())
            it.first->accept(*this);
    }

bvisit() [4/5]

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

inline

Definition at line 86 of file basic_conversions.cpp.

    {
        // intentionally blank
    }

bvisit() [5/5]

void SymEngine::PolyGeneratorVisitor::bvisit ( const Pow &  x )

inline

Definition at line 48 of file basic_conversions.cpp.

    {
        if (is_a<const Integer>(*x.get_exp())) {
            if (down_cast<const Integer &>(*x.get_exp()).is_positive()) {
                x.get_base()->accept(*this);
            } else {
                add_to_gen_set(pow(x.get_base(), minus_one), one);
            }
 
        } else if (is_a<const Rational>(*x.get_exp())) {
 
            RCP<const Basic> base = x.get_base();
            RCP<const Rational> r
                = rcp_static_cast<const Rational>(x.get_exp());
            if (r->is_negative())
                base = pow(base, minus_one);
            add_to_gen_set(base, divnum(one, r->get_den()));
 
        } else {
            umap_basic_num pow_pairs
                = _find_gens_poly_pow(x.get_exp(), x.get_base());
            for (auto it : pow_pairs)
                add_to_gen_set(pow(x.get_base(), it.first), it.second);
        }
    }

Field Documentation

gen_set

umap_basic_num SymEngine::PolyGeneratorVisitor::gen_set

private

Definition at line 16 of file basic_conversions.cpp.

---

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

• /home/runner/work/symengine/symengine/symengine/polys/basic_conversions.cpp