#include <iostream>
#include <stdexcept>
-#if defined(VERBOSE)
-# define GINAC_CONDITIONAL_INLINE
-# include "ex.h"
-# undef GINAC_CONDITIONAL_INLINE
-#else
-# include "ex.h"
-#endif
-
+#include "ex.h"
#include "add.h"
#include "mul.h"
#include "ncmul.h"
other.bp = tmpbp;
}
-/** Output formatted to be useful as ginsh input. */
-void ex::print(std::ostream & os, unsigned upper_precedence) const
-{
- debugmsg("ex print",LOGLEVEL_PRINT);
- GINAC_ASSERT(bp!=0);
- bp->print(os,upper_precedence);
-}
-
-/** Unreadable output with detailed type information. */
-void ex::printraw(std::ostream & os) const
+/** Print expression to stream. The formatting of the output is determined
+ * by the kind of print_context object that is passed. Possible formattings
+ * include ginsh-parsable output (the default), tree-like output for
+ * debugging, and C++ source.
+ * @see print_context */
+void ex::print(const print_context & c, unsigned level) const
{
- debugmsg("ex printraw",LOGLEVEL_PRINT);
+ debugmsg("ex print", LOGLEVEL_PRINT);
GINAC_ASSERT(bp!=0);
- os << "ex(";
- bp->printraw(os);
- os << ")";
+ bp->print(c, level);
}
-/** Very detailed and unreadable output with type information and all this. */
-void ex::printtree(std::ostream & os, unsigned indent) const
+/** Print expression to stream in a tree-like format suitable for debugging. */
+void ex::printtree(std::ostream & os) const
{
- debugmsg("ex printtree",LOGLEVEL_PRINT);
+ debugmsg("ex printtree", LOGLEVEL_PRINT);
GINAC_ASSERT(bp!=0);
- // os << "refcount=" << bp->refcount << " ";
- bp->printtree(os,indent);
-}
-
-/** Print expression as a C++ statement. The output looks like
- * "<type> <var_name> = <expression>;". The "type" parameter has an effect
- * on how number literals are printed.
- *
- * @param os output stream
- * @param type variable type (one of the csrc_types)
- * @param var_name variable name to be printed */
-void ex::printcsrc(std::ostream & os, unsigned type, const char *var_name) const
-{
- debugmsg("ex print csrc", LOGLEVEL_PRINT);
- GINAC_ASSERT(bp!=0);
- switch (type) {
- case csrc_types::ctype_float:
- os << "float ";
- break;
- case csrc_types::ctype_double:
- os << "double ";
- break;
- case csrc_types::ctype_cl_N:
- os << "cl_N ";
- break;
- }
- os << var_name << " = ";
- bp->printcsrc(os, type, 0);
- os << ";\n";
+ bp->print(print_tree(os));
}
/** Little wrapper arount print to be called within a debugger. */
void ex::dbgprint(void) const
{
- debugmsg("ex dbgprint",LOGLEVEL_PRINT);
+ debugmsg("ex dbgprint", LOGLEVEL_PRINT);
GINAC_ASSERT(bp!=0);
bp->dbgprint();
}
/** Little wrapper arount printtree to be called within a debugger. */
void ex::dbgprinttree(void) const
{
- debugmsg("ex dbgprinttree",LOGLEVEL_PRINT);
+ debugmsg("ex dbgprinttree", LOGLEVEL_PRINT);
GINAC_ASSERT(bp!=0);
bp->dbgprinttree();
}
-bool ex::info(unsigned inf) const
-{
- return bp->info(inf);
-}
-
-unsigned ex::nops() const
-{
- GINAC_ASSERT(bp!=0);
- return bp->nops();
-}
-
ex ex::expand(unsigned options) const
{
GINAC_ASSERT(bp!=0);
return bp->expand(options);
}
-bool ex::has(const ex & other) const
-{
- GINAC_ASSERT(bp!=0);
- return bp->has(other);
-}
-
-int ex::degree(const symbol & s) const
-{
- GINAC_ASSERT(bp!=0);
- return bp->degree(s);
-}
-
-int ex::ldegree(const symbol & s) const
-{
- GINAC_ASSERT(bp!=0);
- return bp->ldegree(s);
-}
-
-ex ex::coeff(const symbol & s, int n) const
-{
- GINAC_ASSERT(bp!=0);
- return bp->coeff(s,n);
-}
-
-ex ex::collect(const symbol & s) const
-{
- GINAC_ASSERT(bp!=0);
- return bp->collect(s);
-}
-
-ex ex::eval(int level) const
-{
- GINAC_ASSERT(bp!=0);
- return bp->eval(level);
-}
-
-ex ex::evalf(int level) const
-{
- GINAC_ASSERT(bp!=0);
- return bp->evalf(level);
-}
-
/** Compute partial derivative of an expression.
*
* @param s symbol by which the expression is derived
return bp->diff(s, nth);
}
-ex ex::subs(const lst & ls, const lst & lr) const
-{
- GINAC_ASSERT(bp!=0);
- return bp->subs(ls,lr);
-}
-
-ex ex::subs(const ex & e) const
-{
- GINAC_ASSERT(bp!=0);
- return bp->subs(e);
-}
-
-/** Return a vector containing the free indices of the object. */
-exvector ex::get_free_indices(void) const
-{
- GINAC_ASSERT(bp!=0);
- return bp->get_free_indices();
-}
-
/** Simplify/canonicalize expression containing indexed objects. This
* performs contraction of dummy indices where possible and checks whether
* the free indices in sums are consistent.
return GiNaC::simplify_indexed(*this, sp);
}
-ex ex::simplify_ncmul(const exvector & v) const
-{
- GINAC_ASSERT(bp!=0);
- return bp->simplify_ncmul(v);
-}
-
ex ex::operator[](const ex & index) const
{
debugmsg("ex operator[ex]",LOGLEVEL_OPERATOR);
return (*bp)[i];
}
-/** Return operand/member at position i. */
-ex ex::op(int i) const
-{
- debugmsg("ex op()",LOGLEVEL_MEMBER_FUNCTION);
- GINAC_ASSERT(bp!=0);
- return bp->op(i);
-}
-
/** Return modifyable operand/member at position i. */
ex & ex::let_op(int i)
{
ex ex::lhs(void) const
{
debugmsg("ex lhs()",LOGLEVEL_MEMBER_FUNCTION);
- GINAC_ASSERT(is_ex_of_type(*this,relational));
+ if (!is_ex_of_type(*this,relational))
+ throw std::runtime_error("ex::lhs(): not a relation");
return (*static_cast<relational *>(bp)).lhs();
}
ex ex::rhs(void) const
{
debugmsg("ex rhs()",LOGLEVEL_MEMBER_FUNCTION);
- GINAC_ASSERT(is_ex_of_type(*this,relational));
+ if (!is_ex_of_type(*this,relational))
+ throw std::runtime_error("ex::rhs(): not a relation");
return (*static_cast<relational *>(bp)).rhs();
}
-unsigned ex::return_type(void) const
-{
- GINAC_ASSERT(bp!=0);
- return bp->return_type();
-}
-
-unsigned ex::return_type_tinfo(void) const
-{
- GINAC_ASSERT(bp!=0);
- return bp->return_type_tinfo();
-}
-
-unsigned ex::gethash(void) const
-{
- GINAC_ASSERT(bp!=0);
- return bp->gethash();
-}
-
+/** Used internally by operator+() to add two ex objects together. */
ex ex::exadd(const ex & rh) const
{
return (new add(*this,rh))->setflag(status_flags::dynallocated);
}
+/** Used internally by operator*() to multiply two ex objects together. */
ex ex::exmul(const ex & rh) const
{
- return (new mul(*this,rh))->setflag(status_flags::dynallocated);
-}
-
-ex ex::exncmul(const ex & rh) const
-{
- return (new ncmul(*this,rh))->setflag(status_flags::dynallocated);
+ // Check if we are constructing a mul object or a ncmul object. Due to
+ // ncmul::eval()'s rule to pull out commutative elements we need to check
+ // only one of the elements.
+ if (rh.bp->return_type()==return_types::commutative ||
+ bp->return_type()==return_types::commutative)
+ return (new mul(*this,rh))->setflag(status_flags::dynallocated);
+ else
+ return (new ncmul(*this,rh))->setflag(status_flags::dynallocated);
}
// private
bp->setflag(status_flags::dynallocated);
}
GINAC_ASSERT(bp!=0);
- // bp->clearflag(status_flags::evaluated);
++bp->refcount;
}
GINAC_ASSERT(bp!=0);
git://www.ginac.de / ginac.git / blobdiff