SymEngine::InvertComplexVisitor Class Reference

Inheritance diagram for SymEngine::InvertComplexVisitor:

Collaboration diagram for SymEngine::InvertComplexVisitor:

Public Member Functions
	InvertComplexVisitor (RCP< const Set > gY, RCP< const Dummy > nD, RCP< const Symbol > sym, RCP< const Set > domain)
void	bvisit (const Basic &x)
void	bvisit (const Add &x)
void	bvisit (const Mul &x)
void	bvisit (const Pow &x)
RCP< const Set >	apply (const Basic &b)

Protected Attributes
RCP< const Set >	result_
RCP< const Set >	gY_
RCP< const Dummy >	nD_
RCP< const Symbol >	sym_
RCP< const Set >	domain_

Detailed Description

Definition at line 357 of file solve.cpp.

Constructor & Destructor Documentation

InvertComplexVisitor()

SymEngine::InvertComplexVisitor::InvertComplexVisitor ( RCP< const Set >  gY, RCP< const Dummy >  nD, RCP< const Symbol >  sym, RCP< const Set >  domain  )

inline

Definition at line 367 of file solve.cpp.

        : gY_(gY), nD_(nD), sym_(sym), domain_(domain)
    {
    }

Member Function Documentation

apply()

RCP< const Set > SymEngine::InvertComplexVisitor::apply ( const Basic &  b )

inline

Definition at line 448 of file solve.cpp.

    {
        result_ = gY_;
        b.accept(*this);
        return set_intersection({domain_, result_});
    }

bvisit() [1/4]

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

inline

Definition at line 378 of file solve.cpp.

    {
        vec_basic f1X, f2X;
        for (auto &elem : x.get_args()) {
            if (has_symbol(*elem, *sym_)) {
                f1X.push_back(elem);
            } else {
                f2X.push_back(elem);
            }
        }
        auto depX = add(f1X), indepX = add(f2X);
        if (not eq(*indepX, *zero)) {
            gY_ = imageset(nD_, sub(nD_, indepX), gY_);
            result_ = apply(*depX);
        } else {
            result_ = gY_;
        }
    }

bvisit() [2/4]

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

inline

Definition at line 373 of file solve.cpp.

    {
        result_ = gY_;
    }

bvisit() [3/4]

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

inline

Definition at line 397 of file solve.cpp.

    {
        vec_basic f1X, f2X;
        for (auto &elem : x.get_args()) {
            if (has_symbol(*elem, *sym_)) {
                f1X.push_back(elem);
            } else {
                f2X.push_back(elem);
            }
        }
        auto depX = mul(f1X), indepX = mul(f2X);
        if (not eq(*indepX, *one)) {
            if (eq(*indepX, *NegInf) or eq(*indepX, *Inf)
                or eq(*indepX, *ComplexInf)) {
                result_ = emptyset();
            } else {
                gY_ = imageset(nD_, div(nD_, indepX), gY_);
                result_ = apply(*depX);
            }
        } else {
            result_ = gY_;
        }
    }

bvisit() [4/4]

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

inline

Definition at line 421 of file solve.cpp.

    {
        if (eq(*x.get_base(), *E) and is_a<FiniteSet>(*gY_)) {
            set_set inv;
            for (const auto &elem :
                 down_cast<const FiniteSet &>(*gY_).get_container()) {
                if (eq(*elem, *zero))
                    continue;
                RCP<const Basic> re, im;
                as_real_imag(elem, outArg(re), outArg(im));
                auto logabs = log(add(mul(re, re), mul(im, im)));
                auto logarg = atan2(im, re);
                inv.insert(imageset(
                    nD_,
                    add(mul(add(mul({integer(2), nD_, pi}), logarg), I),
                        div(logabs, integer(2))),
                    interval(NegInf, Inf, true,
                             true))); // TODO : replace interval(-oo,oo) with
                // Set of Integers once Class for Range is implemented.
            }
            gY_ = set_union(inv);
            apply(*x.get_exp());
            return;
        }
        result_ = gY_;
    }

Field Documentation

domain_

RCP<const Set> SymEngine::InvertComplexVisitor::domain_

protected

Definition at line 364 of file solve.cpp.

gY_

RCP<const Set> SymEngine::InvertComplexVisitor::gY_

protected

Definition at line 361 of file solve.cpp.

nD_

RCP<const Dummy> SymEngine::InvertComplexVisitor::nD_

protected

Definition at line 362 of file solve.cpp.

result_

RCP<const Set> SymEngine::InvertComplexVisitor::result_

protected

Definition at line 360 of file solve.cpp.

sym_

RCP<const Symbol> SymEngine::InvertComplexVisitor::sym_

protected

Definition at line 363 of file solve.cpp.

---

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

• /home/runner/work/symengine/symengine/symengine/solve.cpp