+ // substitutions
+ ex subs(const exmap & m, unsigned options = 0) const { return inherited::subs(m, options); }
+
+ // function mapping
+ ex map(map_function & f) const { return inherited::map(f); }
+
+ // degree/coeff
+ int degree(const ex & s) const { return inherited::degree(s); }
+ int ldegree(const ex & s) const { return inherited::ldegree(s); }
+ ex coeff(const ex & s, int n = 1) const { return inherited::coeff(s, n); }
+
+ // expand/collect
+ ex expand(unsigned options = 0) const { return inherited::expand(options); }
+ ex collect(const ex & s, bool distributed = false) const { return inherited::collect(s, distributed); }
+
+ // differentiation and series expansion
+protected:
+ ex derivative(const symbol & s) const { return inherited::derivative(s); }
+public:
+ ex series(const relational & r, int order, unsigned options = 0) const { return inherited::series(r, order, options); }
+
+ // rational functions
+ ex normal(exmap & repl, exmap & rev_lookup, int level = 0) const { return inherited::normal(repl, rev_lookup, level); }
+ ex to_rational(exmap & repl) const { return inherited::to_rational(repl); }
+ ex to_polynomial(exmap & repl) const { return inherited::to_polynomial(repl); }
+
+ // polynomial algorithms
+ numeric integer_content() const { return 1; }
+ ex smod(const numeric & xi) const { return *this; }
+ numeric max_coefficient() const { return 1; }
+
+ // indexed objects
+ exvector get_free_indices() const { return exvector(); }
+ ex add_indexed(const ex & self, const ex & other) const { return self + other; }
+ ex scalar_mul_indexed(const ex & self, const numeric & other) const { return self * ex(other); }
+ bool contract_with(exvector::iterator self, exvector::iterator other, exvector & v) const { return false; }
+
+ // noncommutativity
+ unsigned return_type() const { return return_types::commutative; }
+ tinfo_t return_type_tinfo() const { return this; }
+
+protected:
+ bool is_equal_same_type(const basic & other) const
+ {
+ GINAC_ASSERT(is_a<structure>(other));
+ const structure & o = static_cast<const structure &>(other);