X-Git-Url: https://ginac.de/ginac.git//ginac.git?a=blobdiff_plain;ds=inline;f=ginac%2Fpseries.h;h=b3d27160c46424c415e3964616905eb0eeba405c;hb=b4b302fe5d54720b58a23568a4270e04ee1ca216;hp=17ed024dee7d157645c5d0d12209bbd2be903e2d;hpb=68fdf425abf14d016d5f95ee7b9d06a19a3c5926;p=ginac.git diff --git a/ginac/pseries.h b/ginac/pseries.h index 17ed024d..b3d27160 100644 --- a/ginac/pseries.h +++ b/ginac/pseries.h @@ -3,7 +3,7 @@ * Interface to class for extended truncated power series. */ /* - * GiNaC Copyright (C) 1999-2003 Johannes Gutenberg University Mainz, Germany + * GiNaC Copyright (C) 1999-2008 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 @@ -17,7 +17,7 @@ * * You should have received a copy of the GNU General Public License * along with this program; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA */ #ifndef __GINAC_SERIES_H__ @@ -42,7 +42,6 @@ public: // functions overriding virtual functions from base classes public: - void print(const print_context & c, unsigned level = 0) const; unsigned precedence() const {return 38;} // for clarity just below add::precedence size_t nops() const; ex op(size_t i) const; @@ -53,9 +52,14 @@ public: ex eval(int level=0) const; ex evalf(int level=0) const; ex series(const relational & r, int order, unsigned options = 0) const; - ex subs(const lst & ls, const lst & lr, unsigned options = 0) const; - ex normal(lst &sym_lst, lst &repl_lst, int level = 0) const; + ex subs(const exmap & m, unsigned options = 0) const; + ex normal(exmap & repl, exmap & rev_lookup, int level = 0) const; ex expand(unsigned options = 0) const; + ex conjugate() const; + ex real_part() const; + ex imag_part() const; + ex eval_integ() const; + ex evalm() const; protected: ex derivative(const symbol & s) const; @@ -83,12 +87,24 @@ public: * false otherwise. */ bool is_terminating() const; + /** Get coefficients and exponents. */ + ex coeffop(size_t i) const; + ex exponop(size_t i) const; + ex add_series(const pseries &other) const; ex mul_const(const numeric &other) const; ex mul_series(const pseries &other) const; ex power_const(const numeric &p, int deg) const; pseries shift_exponents(int deg) const; +protected: + void print_series(const print_context & c, const char *openbrace, const char *closebrace, const char *mul_sym, const char *pow_sym, unsigned level) const; + void do_print(const print_context & c, unsigned level) const; + void do_print_latex(const print_latex & c, unsigned level) const; + void do_print_tree(const print_tree & c, unsigned level) const; + void do_print_python(const print_python & c, unsigned level) const; + void do_print_python_repr(const print_python_repr & c, unsigned level) const; + protected: /** Vector of {coefficient, power} pairs */ epvector seq; @@ -103,12 +119,6 @@ protected: // utility functions -/** Specialization of is_exactly_a(obj) for pseries objects. */ -template<> inline bool is_exactly_a(const basic & obj) -{ - return obj.tinfo()==TINFO_pseries; -} - /** Convert the pseries object embedded in an expression to an ordinary * polynomial in the expansion variable. The result is undefined if the * expression does not contain a pseries object at its top level.