SymEngine::CodePrinter Class Reference

Inheritance diagram for SymEngine::CodePrinter:

Collaboration diagram for SymEngine::CodePrinter:

Public Member Functions
void	bvisit (const Basic &x)
void	bvisit (const Complex &x)
void	bvisit (const Interval &x)
void	bvisit (const Contains &x)
void	bvisit (const Piecewise &x)
void	bvisit (const Rational &x)
void	bvisit (const EmptySet &x)
void	bvisit (const FiniteSet &x)
void	bvisit (const Reals &x)
void	bvisit (const Rationals &x)
void	bvisit (const Integers &x)
void	bvisit (const UniversalSet &x)
void	bvisit (const Abs &x)
void	bvisit (const Ceiling &x)
void	bvisit (const Truncate &x)
void	bvisit (const Max &x)
void	bvisit (const Min &x)
void	bvisit (const Constant &x)
void	bvisit (const NaN &x)
void	bvisit (const Equality &x)
void	bvisit (const Unequality &x)
void	bvisit (const LessThan &x)
void	bvisit (const StrictLessThan &x)
void	bvisit (const UnivariateSeries &x)
void	bvisit (const Derivative &x)
void	bvisit (const Subs &x)
void	bvisit (const GaloisField &x)
std::string	apply (const RCP< const Basic > &b)
std::string	apply (const vec_basic &v)
std::string	apply (const Basic &b)
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)
Public Member Functions inherited from SymEngine::StrPrinter
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)

Data Fields
std::string	str_

Additional Inherited Members
Protected Member Functions inherited from SymEngine::StrPrinter
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 inherited from SymEngine::StrPrinter
std::string	str_

Detailed Description

Definition at line 11 of file codegen.h.

Member Function Documentation

apply() [1/3]

std::string SymEngine::StrPrinter::apply

(

const Basic &

b

)

Definition at line 200 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 198 of file strprinter.cpp.

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

apply() [3/3]

std::string SymEngine::StrPrinter::apply

(

const vec_basic &

v

)

Definition at line 199 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/81]

void SymEngine::CodePrinter::bvisit

(

const Abs &

x

)

Definition at line 106 of file codegen.cpp.

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

bvisit() [2/81]

void SymEngine::StrPrinter::bvisit

(

const Add &

x

)

Definition at line 154 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() [3/81]

void SymEngine::StrPrinter::bvisit

(

const And &

x

)

Definition at line 146 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() [4/81]

void SymEngine::StrPrinter::bvisit

(

const Basic &

x

)

Definition at line 127 of file strprinter.cpp.

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

bvisit() [5/81]

void SymEngine::CodePrinter::bvisit

(

const Basic &

x

)

Definition at line 8 of file codegen.cpp.

{
    throw SymEngineException("Not supported");
}

bvisit() [6/81]

void SymEngine::StrPrinter::bvisit

(

const BooleanAtom &

x

)

Definition at line 145 of file strprinter.cpp.

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

bvisit() [7/81]

void SymEngine::CodePrinter::bvisit

(

const Ceiling &

x

)

Definition at line 112 of file codegen.cpp.

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

bvisit() [8/81]

void SymEngine::StrPrinter::bvisit

(

const Complement &

x

)

Definition at line 152 of file strprinter.cpp.

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

bvisit() [9/81]

void SymEngine::StrPrinter::bvisit

(

const Complex &

x

)

Definition at line 131 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() [10/81]

void SymEngine::CodePrinter::bvisit

(

const Complex &

x

)

Definition at line 12 of file codegen.cpp.

{
    throw NotImplementedError("Not implemented");
}

bvisit() [11/81]

void SymEngine::StrPrinter::bvisit

(

const ComplexDouble &

x

)

Definition at line 182 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() [12/81]

void SymEngine::StrPrinter::bvisit

(

const Complexes &

x

)

Definition at line 133 of file strprinter.cpp.

{
    str_ = "Complexes";
}

bvisit() [13/81]

void SymEngine::StrPrinter::bvisit

(

const ConditionSet &

x

)

Definition at line 143 of file strprinter.cpp.

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

bvisit() [14/81]

void SymEngine::StrPrinter::bvisit

(

const Constant &

x

)

Definition at line 176 of file strprinter.cpp.

{
    str_ = x.get_name();
}

bvisit() [15/81]

void SymEngine::CodePrinter::bvisit

(

const Constant &

x

)

Definition at line 164 of file codegen.cpp.

{
    if (eq(x, *E)) {
        str_ = "exp(1)";
    } else if (eq(x, *pi)) {
        str_ = "acos(-1)";
    } else {
        str_ = x.get_name();
    }
}

bvisit() [16/81]

void SymEngine::StrPrinter::bvisit

(

const Contains &

x

)

Definition at line 144 of file strprinter.cpp.

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

bvisit() [17/81]

void SymEngine::CodePrinter::bvisit

(

const Contains &

x

)

Definition at line 44 of file codegen.cpp.

{
    x.get_expr()->accept(*this);
    x.get_set()->accept(*this);
}

bvisit() [18/81]

void SymEngine::StrPrinter::bvisit

(

const Derivative &

x

)

Definition at line 179 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() [19/81]

void SymEngine::CodePrinter::bvisit

(

const Derivative &

x

)

Definition at line 208 of file codegen.cpp.

{
    throw SymEngineException("Not supported");
}

bvisit() [20/81]

void SymEngine::StrPrinter::bvisit

(

const EmptySet &

x

)

Definition at line 140 of file strprinter.cpp.

{
    str_ = "EmptySet";
}

bvisit() [21/81]

void SymEngine::CodePrinter::bvisit

(

const EmptySet &

x

)

Definition at line 94 of file codegen.cpp.

{
    throw SymEngineException("Not supported");
}

bvisit() [22/81]

void SymEngine::StrPrinter::bvisit

(

const Equality &

x

)

Definition at line 183 of file strprinter.cpp.

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

bvisit() [23/81]

void SymEngine::CodePrinter::bvisit

(

const Equality &

x

)

Definition at line 180 of file codegen.cpp.

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

bvisit() [24/81]

void SymEngine::StrPrinter::bvisit

(

const FiniteSet &

x

)

Definition at line 141 of file strprinter.cpp.

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

bvisit() [25/81]

void SymEngine::CodePrinter::bvisit

(

const FiniteSet &

x

)

Definition at line 98 of file codegen.cpp.

{
    throw SymEngineException("Not supported");
}

bvisit() [26/81]

void SymEngine::StrPrinter::bvisit

(

const Function &

x

)

Definition at line 177 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() [27/81]

void SymEngine::StrPrinter::bvisit

(

const FunctionSymbol &

x

)

Definition at line 178 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() [28/81]

void SymEngine::StrPrinter::bvisit

(

const GaloisField &

x

)

Definition at line 166 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() [29/81]

void SymEngine::CodePrinter::bvisit

(

const GaloisField &

x

)

Definition at line 216 of file codegen.cpp.

{
    throw SymEngineException("Not supported");
}

bvisit() [30/81]

void SymEngine::StrPrinter::bvisit

(

const IdentityMatrix &

x

)

Definition at line 195 of file strprinter.cpp.

{
    str_ = "I";
}

bvisit() [31/81]

void SymEngine::StrPrinter::bvisit

(

const ImageSet &

x

)

Definition at line 153 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() [32/81]

void SymEngine::StrPrinter::bvisit

(

const Infty &

x

)

Definition at line 167 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() [33/81]

void SymEngine::StrPrinter::bvisit

(

const Integer &

x

)

Definition at line 129 of file strprinter.cpp.

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

bvisit() [34/81]

void SymEngine::StrPrinter::bvisit

(

const Integers &

x

)

Definition at line 136 of file strprinter.cpp.

{
    str_ = "Integers";
}

bvisit() [35/81]

void SymEngine::CodePrinter::bvisit

(

const Integers &

x

)

Definition at line 90 of file codegen.cpp.

{
    throw SymEngineException("Not supported");
}

bvisit() [36/81]

void SymEngine::StrPrinter::bvisit

(

const Intersection &

x

)

Definition at line 151 of file strprinter.cpp.

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

bvisit() [37/81]

void SymEngine::StrPrinter::bvisit

(

const Interval &

x

)

Definition at line 132 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() [38/81]

void SymEngine::CodePrinter::bvisit

(

const Interval &

x

)

Definition at line 16 of file codegen.cpp.

{
    std::string var = str_;
    std::ostringstream s;
    bool is_inf = eq(*x.get_start(), *NegInf);
    if (not is_inf) {
        s << var;
        if (x.get_left_open()) {
            s << " > ";
        } else {
            s << " >= ";
        }
        s << apply(x.get_start());
    }
    if (neq(*x.get_end(), *Inf)) {
        if (not is_inf) {
            s << " && ";
        }
        s << var;
        if (x.get_right_open()) {
            s << " < ";
        } else {
            s << " <= ";
        }
        s << apply(x.get_end());
    }
    str_ = s.str();
}

bvisit() [39/81]

void SymEngine::StrPrinter::bvisit

(

const LessThan &

x

)

Definition at line 185 of file strprinter.cpp.

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

bvisit() [40/81]

void SymEngine::CodePrinter::bvisit

(

const LessThan &

x

)

Definition at line 192 of file codegen.cpp.

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

bvisit() [41/81]

void SymEngine::CodePrinter::bvisit

(

const Max &

x

)

Definition at line 124 of file codegen.cpp.

{
    std::ostringstream s;
    const auto &args = x.get_args();
    switch (args.size()) {
        case 0:
        case 1:
            throw SymEngineException("Impossible");
        case 2:
            s << "fmax(" << apply(args[0]) << ", " << apply(args[1]) << ")";
            break;
        default: {
            vec_basic inner_args(args.begin() + 1, args.end());
            auto inner = max(inner_args);
            s << "fmax(" << apply(args[0]) << ", " << apply(inner) << ")";
            break;
        }
    }
    str_ = s.str();
}

bvisit() [42/81]

void SymEngine::StrPrinter::bvisit

(

const MExprPoly &

x

)

Definition at line 165 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() [43/81]

void SymEngine::CodePrinter::bvisit

(

const Min &

x

)

Definition at line 144 of file codegen.cpp.

{
    std::ostringstream s;
    const auto &args = x.get_args();
    switch (args.size()) {
        case 0:
        case 1:
            throw SymEngineException("Impossible");
        case 2:
            s << "fmin(" << apply(args[0]) << ", " << apply(args[1]) << ")";
            break;
        default: {
            vec_basic inner_args(args.begin() + 1, args.end());
            auto inner = min(inner_args);
            s << "fmin(" << apply(args[0]) << ", " << apply(inner) << ")";
            break;
        }
    }
    str_ = s.str();
}

bvisit() [44/81]

void SymEngine::StrPrinter::bvisit

(

const MIntPoly &

x

)

Definition at line 158 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() [45/81]

void SymEngine::StrPrinter::bvisit

(

const Mul &

x

)

Definition at line 155 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() [46/81]

void SymEngine::StrPrinter::bvisit

(

const NaN &

x

)

Definition at line 168 of file strprinter.cpp.

{
    str_ = "nan";
}

bvisit() [47/81]

void SymEngine::CodePrinter::bvisit

(

const NaN &

x

)

Definition at line 174 of file codegen.cpp.

{
    std::ostringstream s;
    s << "NAN";
    str_ = s.str();
}

bvisit() [48/81]

void SymEngine::StrPrinter::bvisit

(

const Naturals &

x

)

Definition at line 137 of file strprinter.cpp.

{
    str_ = "Naturals";
}

bvisit() [49/81]

void SymEngine::StrPrinter::bvisit

(

const Naturals0 &

x

)

Definition at line 138 of file strprinter.cpp.

{
    str_ = "Naturals0";
}

bvisit() [50/81]

void SymEngine::StrPrinter::bvisit

(

const Not &

x

)

Definition at line 149 of file strprinter.cpp.

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

bvisit() [51/81]

void SymEngine::StrPrinter::bvisit

(

const NumberWrapper &

x

)

Definition at line 193 of file strprinter.cpp.

{
    str_ = x.__str__();
}

bvisit() [52/81]

void SymEngine::StrPrinter::bvisit

(

const Or &

x

)

Definition at line 147 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() [53/81]

void SymEngine::StrPrinter::bvisit

(

const Piecewise &

x

)

Definition at line 139 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() [54/81]

void SymEngine::CodePrinter::bvisit

(

const Piecewise &

x

)

Definition at line 49 of file codegen.cpp.

{
    std::ostringstream s;
    auto vec = x.get_vec();
    for (size_t i = 0;; ++i) {
        if (i == vec.size() - 1) {
            if (neq(*vec[i].second, *boolTrue)) {
                throw SymEngineException(
                    "Code generation requires a (Expr, True) at the end");
            }
            s << "(\n   " << apply(vec[i].first) << "\n";
            break;
        } else {
            s << "((";
            s << apply(vec[i].second);
            s << ") ? (\n   ";
            s << apply(vec[i].first);
            s << "\n)\n: ";
        }
    }
    for (size_t i = 0; i < vec.size(); i++) {
        s << ")";
    }
    str_ = s.str();
}

bvisit() [55/81]

void SymEngine::StrPrinter::bvisit

(

const Pow &

x

)

Definition at line 156 of file strprinter.cpp.

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

bvisit() [56/81]

void SymEngine::StrPrinter::bvisit

(

const Rational &

x

)

Definition at line 130 of file strprinter.cpp.

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

bvisit() [57/81]

void SymEngine::CodePrinter::bvisit

(

const Rational &

x

)

Definition at line 74 of file codegen.cpp.

{
    std::ostringstream o;
    double n = mp_get_d(get_num(x.as_rational_class()));
    double d = mp_get_d(get_den(x.as_rational_class()));
    o << print_double(n) << "/" << print_double(d);
    str_ = o.str();
}

bvisit() [58/81]

void SymEngine::StrPrinter::bvisit

(

const Rationals &

x

)

Definition at line 135 of file strprinter.cpp.

{
    str_ = "Rationals";
}

bvisit() [59/81]

void SymEngine::CodePrinter::bvisit

(

const Rationals &

x

)

Definition at line 86 of file codegen.cpp.

{
    throw SymEngineException("Not supported");
}

bvisit() [60/81]

void SymEngine::StrPrinter::bvisit

(

const RealDouble &

x

)

Definition at line 181 of file strprinter.cpp.

{
    str_ = print_double(x.i);
}

bvisit() [61/81]

void SymEngine::StrPrinter::bvisit

(

const Reals &

x

)

Definition at line 134 of file strprinter.cpp.

{
    str_ = "Reals";
}

bvisit() [62/81]

void SymEngine::CodePrinter::bvisit

(

const Reals &

x

)

Definition at line 82 of file codegen.cpp.

{
    throw SymEngineException("Not supported");
}

bvisit() [63/81]

void SymEngine::StrPrinter::bvisit

(

const StrictLessThan &

x

)

Definition at line 186 of file strprinter.cpp.

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

bvisit() [64/81]

void SymEngine::CodePrinter::bvisit

(

const StrictLessThan &

x

)

Definition at line 198 of file codegen.cpp.

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

bvisit() [65/81]

void SymEngine::StrPrinter::bvisit

(

const Subs &

x

)

Definition at line 180 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() [66/81]

void SymEngine::CodePrinter::bvisit

(

const Subs &

x

)

Definition at line 212 of file codegen.cpp.

{
    throw SymEngineException("Not supported");
}

bvisit() [67/81]

void SymEngine::StrPrinter::bvisit

(

const Symbol &

x

)

Definition at line 128 of file strprinter.cpp.

{
    str_ = x.get_name();
}

bvisit() [68/81]

void SymEngine::CodePrinter::bvisit

(

const Truncate &

x

)

Definition at line 118 of file codegen.cpp.

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

bvisit() [69/81]

void SymEngine::StrPrinter::bvisit

(

const Tuple &

x

)

Definition at line 194 of file strprinter.cpp.

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

bvisit() [70/81]

void SymEngine::StrPrinter::bvisit

(

const UExprPoly &

x

)

Definition at line 164 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() [71/81]

void SymEngine::StrPrinter::bvisit

(

const UIntPoly &

x

)

Definition at line 157 of file strprinter.cpp.

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

bvisit() [72/81]

void SymEngine::StrPrinter::bvisit

(

const Unequality &

x

)

Definition at line 184 of file strprinter.cpp.

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

bvisit() [73/81]

void SymEngine::CodePrinter::bvisit

(

const Unequality &

x

)

Definition at line 186 of file codegen.cpp.

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

bvisit() [74/81]

void SymEngine::StrPrinter::bvisit

(

const Union &

x

)

Definition at line 150 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() [75/81]

void SymEngine::StrPrinter::bvisit

(

const UnivariateSeries &

x

)

Definition at line 169 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() [76/81]

void SymEngine::CodePrinter::bvisit

(

const UnivariateSeries &

x

)

Definition at line 204 of file codegen.cpp.

{
    throw SymEngineException("Not supported");
}

bvisit() [77/81]

void SymEngine::StrPrinter::bvisit

(

const UniversalSet &

x

)

Definition at line 142 of file strprinter.cpp.

{
    str_ = "UniversalSet";
}

bvisit() [78/81]

void SymEngine::CodePrinter::bvisit

(

const UniversalSet &

x

)

Definition at line 102 of file codegen.cpp.

{
    throw SymEngineException("Not supported");
}

bvisit() [79/81]

void SymEngine::StrPrinter::bvisit

(

const URatPoly &

x

)

Definition at line 159 of file strprinter.cpp.

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

bvisit() [80/81]

void SymEngine::StrPrinter::bvisit

(

const Xor &

x

)

Definition at line 148 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() [81/81]

void SymEngine::StrPrinter::bvisit

(

const ZeroMatrix &

x

)

Definition at line 196 of file strprinter.cpp.

{
    str_ = "0";
}

Field Documentation

str_

std::string SymEngine::StrPrinter::str_

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/codegen.h
• /home/runner/work/symengine/symengine/symengine/printers/codegen.cpp