SymEngine::StrPrinter Class Reference

Inheritance diagram for SymEngine::StrPrinter:

Collaboration diagram for SymEngine::StrPrinter:

Public Member Functions
void	bvisit (const Basic &x)
void	bvisit (const Symbol &x)
void	bvisit (const Integer &x)
void	bvisit (const Rational &x)
void	bvisit (const Complex &x)
void	bvisit (const Interval &x)
void	bvisit (const Complexes &x)
void	bvisit (const Reals &x)
void	bvisit (const Rationals &x)
void	bvisit (const Integers &x)
void	bvisit (const Naturals &x)
void	bvisit (const Naturals0 &x)
void	bvisit (const Piecewise &x)
void	bvisit (const EmptySet &x)
void	bvisit (const FiniteSet &x)
void	bvisit (const UniversalSet &x)
void	bvisit (const ConditionSet &x)
void	bvisit (const Contains &x)
void	bvisit (const BooleanAtom &x)
void	bvisit (const And &x)
void	bvisit (const Or &x)
void	bvisit (const Xor &x)
void	bvisit (const Not &x)
void	bvisit (const Union &x)
void	bvisit (const Intersection &x)
void	bvisit (const Complement &x)
void	bvisit (const ImageSet &x)
void	bvisit (const Add &x)
void	bvisit (const Mul &x)
void	bvisit (const Pow &x)
void	bvisit (const UIntPoly &x)
void	bvisit (const MIntPoly &x)
void	bvisit (const URatPoly &x)
void	bvisit (const UExprPoly &x)
void	bvisit (const MExprPoly &x)
void	bvisit (const GaloisField &x)
void	bvisit (const Infty &x)
void	bvisit (const NaN &x)
void	bvisit (const UnivariateSeries &x)
void	bvisit (const Constant &x)
void	bvisit (const Function &x)
void	bvisit (const FunctionSymbol &x)
void	bvisit (const Derivative &x)
void	bvisit (const Subs &x)
void	bvisit (const RealDouble &x)
void	bvisit (const ComplexDouble &x)
void	bvisit (const Equality &x)
void	bvisit (const Unequality &x)
void	bvisit (const LessThan &x)
void	bvisit (const StrictLessThan &x)
void	bvisit (const NumberWrapper &x)
void	bvisit (const Tuple &x)
void	bvisit (const IdentityMatrix &x)
void	bvisit (const ZeroMatrix &x)
std::string	apply (const RCP< const Basic > &b)
std::string	apply (const vec_basic &v)
std::string	apply (const Basic &b)

Protected Member Functions
virtual std::string	print_mul ()
virtual bool	split_mul_coef ()
virtual void	_print_pow (std::ostringstream &o, const RCP< const Basic > &a, const RCP< const Basic > &b)
virtual std::string	print_div (const std::string &num, const std::string &den, bool paren)
virtual std::string	get_imag_symbol ()
virtual std::string	parenthesize (const std::string &expr)
std::string	parenthesizeLT (const RCP< const Basic > &x, PrecedenceEnum precedenceEnum)
std::string	parenthesizeLE (const RCP< const Basic > &x, PrecedenceEnum precedenceEnum)

Protected Attributes
std::string	str_

Static Private Attributes
static const std::vector< std::string >	names_

Detailed Description

Definition at line 106 of file strprinter.h.

Member Function Documentation

_print_pow()

void SymEngine::StrPrinter::_print_pow ( std::ostringstream &  o, const RCP< const Basic > &  a, const RCP< const Basic > &  b  )

protectedvirtual

Definition at line 553 of file strprinter.cpp.

{
    if (eq(*a, *E)) {
        o << "exp(" << apply(b) << ")";
    } else if (eq(*b, *rational(1, 2))) {
        o << "sqrt(" << apply(a) << ")";
    } else {
        o << parenthesizeLE(a, PrecedenceEnum::Pow);
        o << "**";
        o << parenthesizeLE(b, PrecedenceEnum::Pow);
    }
}

apply() [1/3]

std::string SymEngine::StrPrinter::apply

(

const Basic &

b

)

Definition at line 1073 of file strprinter.cpp.

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

apply() [2/3]

std::string SymEngine::StrPrinter::apply

(

const RCP< const Basic > &

b

)

Definition at line 1067 of file strprinter.cpp.

{
    b->accept(*this);
    return str_;
}

apply() [3/3]

std::string SymEngine::StrPrinter::apply

(

const vec_basic &

v

)

Definition at line 861 of file strprinter.cpp.

{
    std::ostringstream o;
    for (auto p = d.begin(); p != d.end(); p++) {
        if (p != d.begin()) {
            o << ", ";
        }
        o << this->apply(*p);
    }
    return o.str();
}

bvisit() [1/54]

void SymEngine::StrPrinter::bvisit

(

const Add &

x

)

Definition at line 517 of file strprinter.cpp.

{
    std::ostringstream o;
    bool first = true;
    std::map<RCP<const Basic>, RCP<const Number>, PrinterBasicCmp> dict(
        x.get_dict().begin(), x.get_dict().end());
 
    if (neq(*(x.get_coef()), *zero)) {
        o << this->apply(x.get_coef());
        first = false;
    }
    for (const auto &p : dict) {
        std::string t;
        if (eq(*(p.second), *one)) {
            t = parenthesizeLT(p.first, PrecedenceEnum::Add);
        } else if (eq(*(p.second), *minus_one)) {
            t = "-" + parenthesizeLT(p.first, PrecedenceEnum::Mul);
        } else {
            t = parenthesizeLT(p.second, PrecedenceEnum::Mul) + print_mul()
                + parenthesizeLT(p.first, PrecedenceEnum::Mul);
        }
 
        if (not first) {
            if (t[0] == '-') {
                o << " - " << t.substr(1);
            } else {
                o << " + " << t;
            }
        } else {
            o << t;
            first = false;
        }
    }
    str_ = o.str();
}

bvisit() [2/54]

void SymEngine::StrPrinter::bvisit

(

const And &

x

)

Definition at line 296 of file strprinter.cpp.

{
    std::ostringstream s;
    auto container = x.get_container();
    s << "And(";
    s << apply(*container.begin());
    for (auto it = ++(container.begin()); it != container.end(); ++it) {
        s << ", " << apply(*it);
    }
    s << ")";
    str_ = s.str();
}

bvisit() [3/54]

void SymEngine::StrPrinter::bvisit

(

const Basic &

x

)

Definition at line 133 of file strprinter.cpp.

{
    std::ostringstream s;
    s << "<" << typeName<Basic>(x) << " instance at " << (const void *)this
      << ">";
    str_ = s.str();
}

bvisit() [4/54]

void SymEngine::StrPrinter::bvisit

(

const BooleanAtom &

x

)

Definition at line 287 of file strprinter.cpp.

{
    if (x.get_val()) {
        str_ = "True";
    } else {
        str_ = "False";
    }
}

bvisit() [5/54]

void SymEngine::StrPrinter::bvisit

(

const Complement &

x

)

Definition at line 428 of file strprinter.cpp.

{
    std::ostringstream s;
    s << apply(*x.get_universe());
    s << " \\ " << apply(*x.get_container());
    str_ = s.str();
}

bvisit() [6/54]

void SymEngine::StrPrinter::bvisit

(

const Complex &

x

)

Definition at line 177 of file strprinter.cpp.

{
    std::ostringstream s;
    if (x.real_ != 0) {
        s << x.real_;
        // Since Complex is in canonical form, imaginary_ is not 0.
        if (mp_sign(x.imaginary_) == 1) {
            s << " + ";
        } else {
            s << " - ";
        }
        // If imaginary_ is not 1 or -1, print the absolute value
        if (x.imaginary_ != mp_sign(x.imaginary_)) {
            s << mp_abs(x.imaginary_);
            s << print_mul() << get_imag_symbol();
        } else {
            s << "I";
        }
    } else {
        if (x.imaginary_ != mp_sign(x.imaginary_)) {
            s << x.imaginary_;
            s << print_mul() << get_imag_symbol();
        } else {
            if (mp_sign(x.imaginary_) == 1) {
                s << get_imag_symbol();
            } else {
                s << "-" << get_imag_symbol();
            }
        }
    }
    str_ = s.str();
}

bvisit() [7/54]

void SymEngine::StrPrinter::bvisit

(

const ComplexDouble &

x

)

Definition at line 232 of file strprinter.cpp.

{
    str_ = print_double(x.i.real());
    if (x.i.imag() < 0) {
        str_ += " - " + print_double(-x.i.imag()) + print_mul()
                + get_imag_symbol();
    } else {
        str_ += " + " + print_double(x.i.imag()) + print_mul()
                + get_imag_symbol();
    }
}

bvisit() [8/54]

void SymEngine::StrPrinter::bvisit

(

const Complexes &

x

)

Definition at line 373 of file strprinter.cpp.

{
    str_ = "Complexes";
}

bvisit() [9/54]

void SymEngine::StrPrinter::bvisit

(

const ConditionSet &

x

)

Definition at line 457 of file strprinter.cpp.

{
    std::ostringstream s;
    s << "{" << apply(*x.get_symbol());
    s << " | " << apply(x.get_condition()) << "}";
    str_ = s.str();
}

bvisit() [10/54]

void SymEngine::StrPrinter::bvisit

(

const Constant &

x

)

Definition at line 856 of file strprinter.cpp.

{
    str_ = x.get_name();
}

bvisit() [11/54]

void SymEngine::StrPrinter::bvisit

(

const Contains &

x

)

Definition at line 342 of file strprinter.cpp.

{
    std::ostringstream s;
    s << "Contains(" << apply(x.get_expr()) << ", " << apply(x.get_set())
      << ")";
    str_ = s.str();
}

bvisit() [12/54]

void SymEngine::StrPrinter::bvisit

(

const Derivative &

x

)

Definition at line 892 of file strprinter.cpp.

{
    std::ostringstream o;
    o << "Derivative(" << this->apply(x.get_arg());
    auto m1 = x.get_symbols();
    for (const auto &elem : m1) {
        o << ", " << this->apply(elem);
    }
    o << ")";
    str_ = o.str();
}

bvisit() [13/54]

void SymEngine::StrPrinter::bvisit

(

const EmptySet &

x

)

Definition at line 403 of file strprinter.cpp.

{
    str_ = "EmptySet";
}

bvisit() [14/54]

void SymEngine::StrPrinter::bvisit

(

const Equality &

x

)

Definition at line 244 of file strprinter.cpp.

{
    std::ostringstream s;
    s << apply(x.get_arg1()) << " == " << apply(x.get_arg2());
    str_ = s.str();
}

bvisit() [15/54]

void SymEngine::StrPrinter::bvisit

(

const FiniteSet &

x

)

Definition at line 450 of file strprinter.cpp.

{
    std::ostringstream s;
    s << x.get_container();
    str_ = s.str();
}

bvisit() [16/54]

void SymEngine::StrPrinter::bvisit

(

const Function &

x

)

Definition at line 873 of file strprinter.cpp.

{
    static const std::vector<std::string> names_ = init_str_printer_names();
    std::ostringstream o;
    o << names_[x.get_type_code()];
    vec_basic vec = x.get_args();
    o << parenthesize(apply(vec));
    str_ = o.str();
}

bvisit() [17/54]

void SymEngine::StrPrinter::bvisit

(

const FunctionSymbol &

x

)

Definition at line 883 of file strprinter.cpp.

{
    std::ostringstream o;
    o << x.get_name();
    vec_basic vec = x.get_args();
    o << parenthesize(apply(vec));
    str_ = o.str();
}

bvisit() [18/54]

void SymEngine::StrPrinter::bvisit

(

const GaloisField &

x

)

Definition at line 668 of file strprinter.cpp.

{
    std::ostringstream s;
    // bool variable needed to take care of cases like -5, -x, -3*x etc.
    bool first = true;
    // we iterate over the map in reverse order so that highest degree gets
    // printed first
    auto dict = x.get_dict();
    if (x.get_dict().size() == 0)
        s << "0";
    else {
        for (auto it = dict.size(); it-- != 0;) {
            if (dict[it] == 0)
                continue;
            // if exponent is 0, then print only coefficient
            if (it == 0) {
                if (first) {
                    s << dict[it];
                } else {
                    s << " " << _print_sign(dict[it]) << " "
                      << mp_abs(dict[it]);
                }
                first = false;
                break;
            }
            // if the coefficient of a term is +1 or -1
            if (mp_abs(dict[it]) == 1) {
                // in cases of -x, print -x
                // in cases of x**2 - x, print - x
                if (first) {
                    if (dict[it] == -1)
                        s << "-";
                    s << detail::poly_print(x.get_var());
                } else {
                    s << " " << _print_sign(dict[it]) << " "
                      << detail::poly_print(x.get_var());
                }
            }
            // same logic is followed as above
            else {
                // in cases of -2*x, print -2*x
                // in cases of x**2 - 2*x, print - 2*x
                if (first) {
                    s << dict[it] << "*" << detail::poly_print(x.get_var());
                } else {
                    s << " " << _print_sign(dict[it]) << " " << mp_abs(dict[it])
                      << "*" << detail::poly_print(x.get_var());
                }
            }
            // if exponent is not 1, print the exponent;
            if (it != 1) {
                s << "**" << it;
            }
            // corner cases of only first term handled successfully, switch the
            // bool
            first = false;
        }
    }
    str_ = s.str();
}

bvisit() [19/54]

void SymEngine::StrPrinter::bvisit

(

const IdentityMatrix &

x

)

Definition at line 1030 of file strprinter.cpp.

{
    str_ = "I";
}

bvisit() [20/54]

void SymEngine::StrPrinter::bvisit

(

const ImageSet &

x

)

Definition at line 436 of file strprinter.cpp.

{
    std::ostringstream s;
    s << "{" << apply(*x.get_expr()) << " | ";
    s << apply(*x.get_symbol());
    s << " in " << apply(*x.get_baseset()) << "}";
    str_ = s.str();
}

bvisit() [21/54]

void SymEngine::StrPrinter::bvisit

(

const Infty &

x

)

Definition at line 146 of file strprinter.cpp.

{
    std::ostringstream s;
    if (x.is_negative_infinity())
        s << "-oo";
    else if (x.is_positive_infinity())
        s << "oo";
    else
        s << "zoo";
    str_ = s.str();
}

bvisit() [22/54]

void SymEngine::StrPrinter::bvisit

(

const Integer &

x

)

Definition at line 163 of file strprinter.cpp.

{
    std::ostringstream s;
    s << x.as_integer_class();
    str_ = s.str();
}

bvisit() [23/54]

void SymEngine::StrPrinter::bvisit

(

const Integers &

x

)

Definition at line 388 of file strprinter.cpp.

{
    str_ = "Integers";
}

bvisit() [24/54]

void SymEngine::StrPrinter::bvisit

(

const Intersection &

x

)

Definition at line 419 of file strprinter.cpp.

{
    std::ostringstream s;
    vec_basic vec = x.get_args();
    s << "Intersection";
    s << parenthesize(apply(vec));
    str_ = s.str();
}

bvisit() [25/54]

void SymEngine::StrPrinter::bvisit

(

const Interval &

x

)

Definition at line 272 of file strprinter.cpp.

{
    std::ostringstream s;
    if (x.get_left_open())
        s << "(";
    else
        s << "[";
    s << *x.get_start() << ", " << *x.get_end();
    if (x.get_right_open())
        s << ")";
    else
        s << "]";
    str_ = s.str();
}

bvisit() [26/54]

void SymEngine::StrPrinter::bvisit

(

const LessThan &

x

)

Definition at line 258 of file strprinter.cpp.

{
    std::ostringstream s;
    s << apply(x.get_arg1()) << " <= " << apply(x.get_arg2());
    str_ = s.str();
}

bvisit() [27/54]

void SymEngine::StrPrinter::bvisit

(

const MExprPoly &

x

)

Definition at line 973 of file strprinter.cpp.

{
    std::ostringstream s;
    bool first = true; // is this the first term being printed out?
    // To change the ordering in which the terms will print out, change
    // vec_uint_compare in dict.h
    std::vector<vec_int> v = sorted_keys(x.get_poly().dict_);
 
    for (vec_int exps : v) {
        Expression c = x.get_poly().dict_.find(exps)->second;
        std::string t = parenthesizeLT(c.get_basic(), PrecedenceEnum::Mul);
        if ('-' == t[0] && !first) {
            s << " - ";
            t = t.substr(1);
        } else if (!first) {
            s << " + ";
        }
        unsigned int i = 0;
        std::ostringstream expr;
        bool first_var = true;
        for (auto it : x.get_vars()) {
            if (exps[i] != 0) {
                if (!first_var) {
                    expr << "*";
                }
                expr << it->__str__();
                if (exps[i] > 1 or exps[i] < 0)
                    expr << "**" << exps[i];
                first_var = false;
            }
            i++;
        }
        if (c != 1 && c != -1) {
            s << t;
            if (!expr.str().empty()) {
                s << "*";
            }
        } else if (expr.str().empty()) {
            s << "1";
        }
        s << expr.str();
        first = false;
    }
 
    if (s.str().empty())
        s << "0";
    str_ = s.str();
}

bvisit() [28/54]

void SymEngine::StrPrinter::bvisit

(

const MIntPoly &

x

)

Definition at line 925 of file strprinter.cpp.

{
    std::ostringstream s;
    bool first = true; // is this the first term being printed out?
    // To change the ordering in which the terms will print out, change
    // vec_uint_compare in dict.h
    std::vector<vec_uint> v = sorted_keys(x.get_poly().dict_);
 
    for (vec_uint exps : v) {
        integer_class c = x.get_poly().dict_.find(exps)->second;
        if (!first) {
            s << " " << _print_sign(c) << " ";
        } else if (c < 0) {
            s << "-";
        }
 
        unsigned int i = 0;
        std::ostringstream expr;
        bool first_var = true;
        for (auto it : x.get_vars()) {
            if (exps[i] != 0) {
                if (!first_var) {
                    expr << "*";
                }
                expr << it->__str__();
                if (exps[i] > 1)
                    expr << "**" << exps[i];
                first_var = false;
            }
            i++;
        }
        if (mp_abs(c) != 1) {
            s << mp_abs(c);
            if (!expr.str().empty()) {
                s << "*";
            }
        } else if (expr.str().empty()) {
            s << "1";
        }
        s << expr.str();
        first = false;
    }
 
    if (s.str().empty())
        s << "0";
    str_ = s.str();
}

bvisit() [29/54]

void SymEngine::StrPrinter::bvisit

(

const Mul &

x

)

Definition at line 567 of file strprinter.cpp.

{
    std::ostringstream o, o2;
    bool num = false;
    unsigned den = 0;
 
    if (eq(*(x.get_coef()), *minus_one)) {
        o << "-";
    } else if (neq(*(x.get_coef()), *one)) {
        if (not split_mul_coef()) {
            o << parenthesizeLT(x.get_coef(), PrecedenceEnum::Mul)
              << print_mul();
            num = true;
        } else {
            RCP<const Basic> numer, denom;
            as_numer_denom(x.get_coef(), outArg(numer), outArg(denom));
            if (neq(*numer, *one)) {
                num = true;
                o << parenthesizeLT(numer, PrecedenceEnum::Mul) << print_mul();
            }
            if (neq(*denom, *one)) {
                den++;
                o2 << parenthesizeLT(denom, PrecedenceEnum::Mul) << print_mul();
            }
        }
    }
 
    for (const auto &p : x.get_dict()) {
        if ((is_a<Integer>(*p.second) or is_a<Rational>(*p.second))
            and down_cast<const Number &>(*p.second).is_negative()
            and neq(*(p.first), *E)) {
            if (eq(*(p.second), *minus_one)) {
                o2 << parenthesizeLT(p.first, PrecedenceEnum::Mul);
            } else {
                _print_pow(o2, p.first, neg(p.second));
            }
            o2 << print_mul();
            den++;
        } else {
            if (eq(*(p.second), *one)) {
                o << parenthesizeLT(p.first, PrecedenceEnum::Mul);
            } else {
                _print_pow(o, p.first, p.second);
            }
            o << print_mul();
            num = true;
        }
    }
 
    if (not num) {
        o << "1" << print_mul();
    }
 
    std::string s = o.str();
    s = s.substr(0, s.size() - 1);
 
    if (den != 0) {
        std::string s2 = o2.str();
        s2 = s2.substr(0, s2.size() - 1);
        if (den > 1) {
            str_ = print_div(s, s2, true);
        } else {
            str_ = print_div(s, s2, false);
        }
    } else {
        str_ = s;
    }
}

bvisit() [30/54]

void SymEngine::StrPrinter::bvisit

(

const NaN &

x

)

Definition at line 158 of file strprinter.cpp.

{
    str_ = "nan";
}

bvisit() [31/54]

void SymEngine::StrPrinter::bvisit

(

const Naturals &

x

)

Definition at line 393 of file strprinter.cpp.

{
    str_ = "Naturals";
}

bvisit() [32/54]

void SymEngine::StrPrinter::bvisit

(

const Naturals0 &

x

)

Definition at line 398 of file strprinter.cpp.

{
    str_ = "Naturals0";
}

bvisit() [33/54]

void SymEngine::StrPrinter::bvisit

(

const Not &

x

)

Definition at line 335 of file strprinter.cpp.

{
    std::ostringstream s;
    s << "Not(" << *x.get_arg() << ")";
    str_ = s.str();
}

bvisit() [34/54]

void SymEngine::StrPrinter::bvisit

(

const NumberWrapper &

x

)

Definition at line 920 of file strprinter.cpp.

{
    str_ = x.__str__();
}

bvisit() [35/54]

void SymEngine::StrPrinter::bvisit

(

const Or &

x

)

Definition at line 309 of file strprinter.cpp.

{
    std::ostringstream s;
    auto container = x.get_container();
    s << "Or(";
    s << apply(*container.begin());
    for (auto it = ++(container.begin()); it != container.end(); ++it) {
        s << ", " << apply(*it);
    }
    s << ")";
    str_ = s.str();
}

bvisit() [36/54]

void SymEngine::StrPrinter::bvisit

(

const Piecewise &

x

)

Definition at line 350 of file strprinter.cpp.

{
    std::ostringstream s;
    auto vec = x.get_vec();
    auto it = vec.begin();
    s << "Piecewise(";
    while (true) {
        s << "(";
        s << apply((*it).first);
        s << ", ";
        s << apply((*it).second);
        s << ")";
        ++it;
        if (it != vec.end()) {
            s << ", ";
        } else {
            break;
        }
    }
    s << ")";
    str_ = s.str();
}

bvisit() [37/54]

void SymEngine::StrPrinter::bvisit

(

const Pow &

x

)

Definition at line 651 of file strprinter.cpp.

{
    std::ostringstream o;
    _print_pow(o, x.get_base(), x.get_exp());
    str_ = o.str();
}

bvisit() [38/54]

void SymEngine::StrPrinter::bvisit

(

const Rational &

x

)

Definition at line 170 of file strprinter.cpp.

{
    std::ostringstream s;
    s << x.as_rational_class();
    str_ = s.str();
}

bvisit() [39/54]

void SymEngine::StrPrinter::bvisit

(

const Rationals &

x

)

Definition at line 383 of file strprinter.cpp.

{
    str_ = "Rationals";
}

bvisit() [40/54]

void SymEngine::StrPrinter::bvisit

(

const RealDouble &

x

)

Definition at line 227 of file strprinter.cpp.

{
    str_ = print_double(x.i);
}

bvisit() [41/54]

void SymEngine::StrPrinter::bvisit

(

const Reals &

x

)

Definition at line 378 of file strprinter.cpp.

{
    str_ = "Reals";
}

bvisit() [42/54]

void SymEngine::StrPrinter::bvisit

(

const StrictLessThan &

x

)

Definition at line 265 of file strprinter.cpp.

{
    std::ostringstream s;
    s << apply(x.get_arg1()) << " < " << apply(x.get_arg2());
    str_ = s.str();
}

bvisit() [43/54]

void SymEngine::StrPrinter::bvisit

(

const Subs &

x

)

Definition at line 904 of file strprinter.cpp.

{
    std::ostringstream o, vars, point;
    for (auto p = x.get_dict().begin(); p != x.get_dict().end(); p++) {
        if (p != x.get_dict().begin()) {
            vars << ", ";
            point << ", ";
        }
        vars << apply(p->first);
        point << apply(p->second);
    }
    o << "Subs(" << apply(x.get_arg()) << ", (" << vars.str() << "), ("
      << point.str() << "))";
    str_ = o.str();
}

bvisit() [44/54]

void SymEngine::StrPrinter::bvisit

(

const Symbol &

x

)

Definition at line 141 of file strprinter.cpp.

{
    str_ = x.get_name();
}

bvisit() [45/54]

void SymEngine::StrPrinter::bvisit

(

const Tuple &

x

)

Definition at line 1022 of file strprinter.cpp.

{
    std::ostringstream o;
    vec_basic vec = x.get_args();
    o << parenthesize(apply(vec));
    str_ = o.str();
}

bvisit() [46/54]

void SymEngine::StrPrinter::bvisit

(

const UExprPoly &

x

)

Definition at line 821 of file strprinter.cpp.

{
    std::ostringstream s;
    if (x.get_dict().size() == 0)
        s << "0";
    else
        s << x.get_poly().__str__(detail::poly_print(x.get_var()));
    str_ = s.str();
}

bvisit() [47/54]

void SymEngine::StrPrinter::bvisit

(

const UIntPoly &

x

)

Definition at line 787 of file strprinter.cpp.

{
    str_ = upoly_print<UIntPoly>(x);
}

bvisit() [48/54]

void SymEngine::StrPrinter::bvisit

(

const Unequality &

x

)

Definition at line 251 of file strprinter.cpp.

{
    std::ostringstream s;
    s << apply(x.get_arg1()) << " != " << apply(x.get_arg2());
    str_ = s.str();
}

bvisit() [49/54]

void SymEngine::StrPrinter::bvisit

(

const Union &

x

)

Definition at line 408 of file strprinter.cpp.

{
    std::ostringstream s;
    s << apply(*x.get_container().begin());
    for (auto it = ++(x.get_container().begin()); it != x.get_container().end();
         ++it) {
        s << " U " << apply(*it);
    }
    str_ = s.str();
}

bvisit() [50/54]

void SymEngine::StrPrinter::bvisit

(

const UnivariateSeries &

x

)

Definition at line 831 of file strprinter.cpp.

{
    std::ostringstream o;
    o << x.get_poly().__str__(x.get_var()) << " + O(" << x.get_var() << "**"
      << x.get_degree() << ")";
    str_ = o.str();
}

bvisit() [51/54]

void SymEngine::StrPrinter::bvisit

(

const UniversalSet &

x

)

Definition at line 445 of file strprinter.cpp.

{
    str_ = "UniversalSet";
}

bvisit() [52/54]

void SymEngine::StrPrinter::bvisit

(

const URatPoly &

x

)

Definition at line 792 of file strprinter.cpp.

{
    str_ = upoly_print<URatPoly>(x);
}

bvisit() [53/54]

void SymEngine::StrPrinter::bvisit

(

const Xor &

x

)

Definition at line 322 of file strprinter.cpp.

{
    std::ostringstream s;
    auto container = x.get_container();
    s << "Xor(";
    s << apply(*container.begin());
    for (auto it = ++(container.begin()); it != container.end(); ++it) {
        s << ", " << apply(*it);
    }
    s << ")";
    str_ = s.str();
}

bvisit() [54/54]

void SymEngine::StrPrinter::bvisit

(

const ZeroMatrix &

x

)

Definition at line 1035 of file strprinter.cpp.

{
    str_ = "0";
}

get_imag_symbol()

std::string SymEngine::StrPrinter::get_imag_symbol ( )

protectedvirtual

Definition at line 1189 of file strprinter.cpp.

{
    return "I";
}

parenthesize()

std::string SymEngine::StrPrinter::parenthesize ( const std::string &  expr )

protectedvirtual

Definition at line 1062 of file strprinter.cpp.

{
    return "(" + x + ")";
}

parenthesizeLE()

std::string SymEngine::StrPrinter::parenthesizeLE ( const RCP< const Basic > &  x, PrecedenceEnum  precedenceEnum  )

protected

Definition at line 1051 of file strprinter.cpp.

{
    Precedence prec;
    if (prec.getPrecedence(x) <= precedenceEnum) {
        return parenthesize(apply(x));
    } else {
        return apply(x);
    }
}

parenthesizeLT()

std::string SymEngine::StrPrinter::parenthesizeLT ( const RCP< const Basic > &  x, PrecedenceEnum  precedenceEnum  )

protected

Definition at line 1040 of file strprinter.cpp.

{
    Precedence prec;
    if (prec.getPrecedence(x) < precedenceEnum) {
        return parenthesize(apply(x));
    } else {
        return apply(x);
    }
}

print_div()

std::string SymEngine::StrPrinter::print_div ( const std::string &  num, const std::string &  den, bool  paren  )

protectedvirtual

Definition at line 636 of file strprinter.cpp.

{
    if (paren) {
        return num + "/" + parenthesize(den);
    } else {
        return num + "/" + den;
    }
}

print_mul()

std::string SymEngine::StrPrinter::print_mul ( )

protectedvirtual

Definition at line 1137 of file strprinter.cpp.

{
    return "*";
}

split_mul_coef()

bool SymEngine::StrPrinter::split_mul_coef ( )

protectedvirtual

Definition at line 646 of file strprinter.cpp.

{
    return false;
}

Field Documentation

names_

const std::vector<std::string> SymEngine::StrPrinter::names_

staticprivate

Definition at line 109 of file strprinter.h.

str_

std::string SymEngine::StrPrinter::str_

protected

Definition at line 112 of file strprinter.h.

---

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

• /home/runner/work/symengine/symengine/symengine/printers/strprinter.h
• /home/runner/work/symengine/symengine/symengine/printers/strprinter.cpp