]> www.ginac.de Git - ginac.git/blobdiff - ginac/add.h
Improved dummy index renaming.
[ginac.git] / ginac / add.h
index ca7b9d57d706c61cca10556be7644af8a206c831..ed989f4f85a6a1776232e83d65a59f0e8441b475 100644 (file)
@@ -3,7 +3,7 @@
  *  Interface to GiNaC's sums of expressions. */
 
 /*
- *  GiNaC Copyright (C) 1999-2005 Johannes Gutenberg University Mainz, Germany
+ *  GiNaC Copyright (C) 1999-2006 Johannes Gutenberg University Mainz, Germany
  *
  *  This program is free software; you can redistribute it and/or modify
  *  it under the terms of the GNU General Public License as published by
@@ -58,14 +58,16 @@ public:
        ex smod(const numeric &xi) const;
        numeric max_coefficient() const;
        ex conjugate() const;
+       ex real_part() const;
+       ex imag_part() const;
        exvector get_free_indices() const;
        ex eval_ncmul(const exvector & v) const;
 protected:
        ex derivative(const symbol & s) const;
        unsigned return_type() const;
-       unsigned return_type_tinfo() const;
-       ex thisexpairseq(const epvector & v, const ex & oc) const;
-       ex thisexpairseq(std::auto_ptr<epvector> vp, const ex & oc) const;
+       tinfo_t return_type_tinfo() 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;
@@ -83,14 +85,6 @@ protected:
        void do_print_python_repr(const print_python_repr & c, unsigned level) const;
 };
 
-// utility functions
-
-/** Specialization of is_exactly_a<add>(obj) for add objects. */
-template<> inline bool is_exactly_a<add>(const basic & obj)
-{
-       return obj.tinfo()==TINFO_add;
-}
-
 } // namespace GiNaC
 
 #endif // ndef __GINAC_ADD_H__