48 const
ex & f4, const
ex & f5);
50 const
ex & f4, const
ex & f5, const
ex & f6);
57 bool info(
unsigned inf)
const override;
58 int degree(
const ex & s)
const override;
60 ex expand(
unsigned options=0)
const override;
61 ex coeff(
const ex & s,
int n=1)
const override;
Archiving of GiNaC expressions.
Lightweight wrapper for GiNaC's symbolic objects.
Non-commutative product of expressions.
unsigned precedence() const override
Return relative operator precedence (for parenthezing output).
friend ex reeval_ncmul(const exvector &v)
void append_factors(exvector &v, const ex &e) const
exvector get_free_indices() const override
Return a vector containing the free indices of an expression.
return_type_t return_type_tinfo() const override
void do_print(const print_context &c, unsigned level) const
exvector expandchildren(unsigned options) const
ncmul(const ex &lh, const ex &rh)
void do_print_csrc(const print_context &c, unsigned level) const
friend ex hold_ncmul(const exvector &v)
ex derivative(const symbol &s) const override
Implementation of ex::diff() for a non-commutative product.
unsigned return_type() const override
bool info(unsigned inf) const override
Information about the object.
const exvector & get_factors() const
size_t count_factors(const ex &e) const
ex thiscontainer(const exvector &v) const override
Similar to duplicate(), but with a preset sequence.
Base class for print_contexts.
Definition of GiNaC's exprseq.
ex hold_ncmul(const exvector &v)
ex real_part(const ex &thisex)
ex reeval_ncmul(const exvector &v)
GINAC_DECLARE_UNARCHIVER(add)
ex conjugate(const ex &thisex)
ex eval(const ex &thisex)
int degree(const ex &thisex, const ex &s)
int ldegree(const ex &thisex, const ex &s)
ex coeff(const ex &thisex, const ex &s, int n=1)
ex evalm(const ex &thisex)
std::vector< ex > exvector
ex imag_part(const ex &thisex)
container< std::vector > exprseq
ex expand(const ex &thisex, unsigned options=0)
#define GINAC_DECLARE_REGISTERED_CLASS(classname, supername)
Macro for inclusion in the declaration of each registered class.
To distinguish between different kinds of non-commutative objects.