X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Fncmul.h;h=1e0b68eb506fe20b6cd203677b8ef292b6345d65;hp=cba21283e5168f63119b57d2e74f7e41230903f6;hb=cca88b51436e4b654d16a4d60cd0d1c66fcf5dd6;hpb=dbb36db8d02b2c25af6bbfff8135112637936e1f diff --git a/ginac/ncmul.h b/ginac/ncmul.h index cba21283..1e0b68eb 100644 --- a/ginac/ncmul.h +++ b/ginac/ncmul.h @@ -3,7 +3,7 @@ * Interface to GiNaC's non-commutative products of expressions. */ /* - * GiNaC Copyright (C) 1999-2000 Johannes Gutenberg University Mainz, Germany + * GiNaC Copyright (C) 1999-2014 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,109 +17,83 @@ * * 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_NCMUL_H__ -#define __GINAC_NCMUL_H__ +#ifndef GINAC_NCMUL_H +#define GINAC_NCMUL_H #include "exprseq.h" +#include "archive.h" -#ifndef NO_GINAC_NAMESPACE namespace GiNaC { -#endif // ndef NO_GINAC_NAMESPACE /** Non-commutative product of expressions. */ class ncmul : public exprseq { - GINAC_DECLARE_REGISTERED_CLASS(ncmul, exprseq) + GINAC_DECLARE_REGISTERED_CLASS(ncmul, exprseq) - friend class power; - friend ex nonsimplified_ncmul(const exvector & v); - friend ex simplified_ncmul(const exvector & v); + friend class power; + friend ex reeval_ncmul(const exvector & v); + friend ex hold_ncmul(const exvector & v); // member functions - // default constructor, destructor, copy constructor assignment operator and helpers + // other constructors public: - ncmul(); - ~ncmul(); - ncmul(const ncmul & other); - const ncmul & operator=(const ncmul & other); -protected: - void copy(const ncmul & other); - void destroy(bool call_parent); - - // other constructors + ncmul(const ex & lh, const ex & rh); + ncmul(const ex & f1, const ex & f2, const ex & f3); + ncmul(const ex & f1, const ex & f2, const ex & f3, + const ex & f4); + ncmul(const ex & f1, const ex & f2, const ex & f3, + const ex & f4, const ex & f5); + ncmul(const ex & f1, const ex & f2, const ex & f3, + const ex & f4, const ex & f5, const ex & f6); + ncmul(const exvector & v, bool discardable=false); + ncmul(std::auto_ptr vp); + + // functions overriding virtual functions from base classes public: - ncmul(const ex & lh, const ex & rh); - ncmul(const ex & f1, const ex & f2, const ex & f3); - ncmul(const ex & f1, const ex & f2, const ex & f3, - const ex & f4); - ncmul(const ex & f1, const ex & f2, const ex & f3, - const ex & f4, const ex & f5); - ncmul(const ex & f1, const ex & f2, const ex & f3, - const ex & f4, const ex & f5, const ex & f6); - ncmul(const exvector & v, bool discardable=false); - ncmul(exvector * vp); // vp will be deleted + unsigned precedence() const {return 50;} + bool info(unsigned inf) const; + int degree(const ex & s) const; + int ldegree(const ex & s) const; + ex expand(unsigned options=0) const; + ex coeff(const ex & s, int n=1) const; + ex eval(int level=0) const; + ex evalm() const; + exvector get_free_indices() const; + ex thiscontainer(const exvector & v) const; + ex thiscontainer(std::auto_ptr vp) const; + ex conjugate() const; + ex real_part() const; + ex imag_part() const; - // functions overriding virtual functions from bases classes -public: - basic * duplicate() const; - void print(ostream & os, unsigned upper_precedence) const; - void printraw(ostream & os) const; - void printcsrc(ostream & os, unsigned upper_precedence) const; - bool info(unsigned inf) const; - int degree(const symbol & s) const; - int ldegree(const symbol & s) const; - ex expand(unsigned options=0) const; - ex coeff(const symbol & s, int n=1) const; - ex eval(int level=0) const; - ex diff(const symbol & s) const; - ex subs(const lst & ls, const lst & lr) const; - exvector get_indices(void) const; - ex thisexprseq(const exvector & v) const; - ex thisexprseq(exvector * vp) const; protected: - int compare_same_type(const basic & other) const; - unsigned return_type(void) const; - unsigned return_type_tinfo(void) const; - - // new virtual functions which can be overridden by derived classes - // none - - // non-virtual functions in this class + ex derivative(const symbol & s) const; + unsigned return_type() const; + return_type_t return_type_tinfo() const; + + // new virtual functions which can be overridden by derived classes + // none + + // non-virtual functions in this class protected: - unsigned count_factors(const ex & e) const; - void append_factors(exvector & v, const ex & e) const; - exvector expandchildren(unsigned options) const; + void do_print(const print_context & c, unsigned level) const; + void do_print_csrc(const print_context & c, unsigned level) const; + size_t count_factors(const ex & e) const; + void append_factors(exvector & v, const ex & e) const; + std::auto_ptr expandchildren(unsigned options) const; public: - const exvector & get_factors(void) const; - -// member variables - -protected: - static unsigned precedence; + const exvector & get_factors() const; }; - -// global constants - -extern const ncmul some_ncmul; -extern const type_info & typeid_ncmul; +GINAC_DECLARE_UNARCHIVER(ncmul); // friend funtions -ex nonsimplified_ncmul(const exvector & v); -ex simplified_ncmul(const exvector & v); - -// utility functions -inline const ncmul &ex_to_ncmul(const ex &e) -{ - return static_cast (*e.bp); -} +ex reeval_ncmul(const exvector & v); +ex hold_ncmul(const exvector & v); -#ifndef NO_GINAC_NAMESPACE } // namespace GiNaC -#endif // ndef NO_GINAC_NAMESPACE -#endif // ndef __GINAC_NCMUL_H__ +#endif // ndef GINAC_NCMUL_H