Improved dummy index renaming.
[ginac.git] / ginac / add.h
index cee93aae38bf9b03fd7a89c1972646d90f55d9c5..ed989f4f85a6a1776232e83d65a59f0e8441b475 100644 (file)
@@ -66,8 +66,8 @@ protected:
        ex derivative(const symbol & s) const;
        unsigned return_type() const;
        tinfo_t return_type_tinfo() const;
-       ex thisexpairseq(const epvector & v, const ex & oc) const;
-       ex thisexpairseq(std::auto_ptr<epvector> vp, const ex & oc) const;
+       ex thisexpairseq(const epvector & v, const ex & oc, bool do_index_renaming = false) const;
+       ex thisexpairseq(std::auto_ptr<epvector> vp, const ex & oc, bool do_index_renaming = false) const;
        expair split_ex_to_pair(const ex & e) const;
        expair combine_ex_with_coeff_to_pair(const ex & e,
                                             const ex & c) const;