X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Fncmul.h;h=efb750f0da1bc7d714b8a3a2407abe11d2cc5d7a;hp=a4a77eb027e5423becdf5aff1f7dd437336ec38c;hb=8cffcdf13d817a47f217f1a1043317d95969e070;hpb=e5362a33f72613b324b3714524a8c2e5f7b7f46f diff --git a/ginac/ncmul.h b/ginac/ncmul.h index a4a77eb0..efb750f0 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-2001 Johannes Gutenberg University Mainz, Germany + * GiNaC Copyright (C) 1999-2019 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,17 +17,16 @@ * * 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_NAMESPACE_GINAC namespace GiNaC { -#endif // ndef NO_NAMESPACE_GINAC /** Non-commutative product of expressions. */ class ncmul : public exprseq @@ -35,8 +34,8 @@ class ncmul : public 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 ex reeval_ncmul(const exvector & v); + friend ex hold_ncmul(const exvector & v); // member functions @@ -50,61 +49,51 @@ public: 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 + ncmul(const exvector & v); + ncmul(exvector && v); - // functions overriding virtual functions from bases classes + // functions overriding virtual functions from base classes public: - basic * duplicate() const; - void print(std::ostream & os, unsigned upper_precedence) const; - void printraw(std::ostream & os) const; - void printcsrc(std::ostream & os, unsigned type, unsigned upper_precedence = 0) 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 subs(const lst & ls, const lst & lr) const; - exvector get_indices(void) const; - ex thisexprseq(const exvector & v) const; - ex thisexprseq(exvector * vp) const; + unsigned precedence() const override {return 50;} + bool info(unsigned inf) const override; + int degree(const ex & s) const override; + int ldegree(const ex & s) const override; + ex expand(unsigned options=0) const override; + ex coeff(const ex & s, int n=1) const override; + ex eval() const override; + ex evalm() const override; + exvector get_free_indices() const override; + ex thiscontainer(const exvector & v) const override; + ex thiscontainer(exvector && v) const override; + ex conjugate() const override; + ex real_part() const override; + ex imag_part() const override; + protected: - ex derivative(const symbol & s) const; - int compare_same_type(const basic & other) const; - unsigned return_type(void) const; - unsigned return_type_tinfo(void) const; + ex derivative(const symbol & s) const override; + unsigned return_type() const override; + return_type_t return_type_tinfo() const override; // 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 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; exvector expandchildren(unsigned options) const; public: - const exvector & get_factors(void) const; - -// member variables - -protected: - static unsigned precedence; + const exvector & get_factors() const; }; +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_NAMESPACE_GINAC } // namespace GiNaC -#endif // ndef NO_NAMESPACE_GINAC -#endif // ndef __GINAC_NCMUL_H__ +#endif // ndef GINAC_NCMUL_H