X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?a=blobdiff_plain;ds=sidebyside;f=ginac%2Fncmul.h;h=67d381bc473ac6b13d9256c18a209ba2dfd16221;hb=ed58700a9b0dd302f28203c6ac7eee95e8d34d8a;hp=a604eead140b3ee536e76622cc181955dedc8e7d;hpb=e58227e1112f989f3b5417e497a61d53fc2971fa;p=ginac.git diff --git a/ginac/ncmul.h b/ginac/ncmul.h index a604eead..67d381bc 100644 --- a/ginac/ncmul.h +++ b/ginac/ncmul.h @@ -25,9 +25,7 @@ #include "exprseq.h" -#ifndef NO_NAMESPACE_GINAC namespace GiNaC { -#endif // ndef NO_NAMESPACE_GINAC /** Non-commutative product of expressions. */ class ncmul : public exprseq @@ -40,16 +38,6 @@ class ncmul : public exprseq // member functions - // default constructor, destructor, copy constructor assignment operator and helpers -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 public: ncmul(const ex & lh, const ex & rh); @@ -63,25 +51,22 @@ public: ncmul(const exvector & v, bool discardable=false); ncmul(exvector * vp); // vp will be deleted - // 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; + void print(const print_context & c, unsigned level = 0) const; + unsigned precedence(void) const {return 50;} bool info(unsigned inf) const; - int degree(const symbol & s) const; - int ldegree(const symbol & s) const; + int degree(const ex & s) const; + int ldegree(const ex & s) const; ex expand(unsigned options=0) const; - ex coeff(const symbol & s, int n=1) const; + ex coeff(const ex & 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 evalm(void) const; + exvector get_free_indices(void) const; ex thisexprseq(const exvector & v) const; ex thisexprseq(exvector * vp) const; 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; @@ -95,11 +80,6 @@ protected: exvector expandchildren(unsigned options) const; public: const exvector & get_factors(void) const; - -// member variables - -protected: - static unsigned precedence; }; // friend funtions @@ -108,13 +88,20 @@ ex nonsimplified_ncmul(const exvector & v); ex simplified_ncmul(const exvector & v); // utility functions + +/** Return the ncmul object handled by an ex. Deprecated: use ex_to(). + * This is unsafe: you need to check the type first. */ inline const ncmul &ex_to_ncmul(const ex &e) { return static_cast (*e.bp); } -#ifndef NO_NAMESPACE_GINAC +/** Specialization of is_exactly_a(obj) for ncmul objects. */ +template<> inline bool is_exactly_a(const basic & obj) +{ + return obj.tinfo()==TINFO_ncmul; +} + } // namespace GiNaC -#endif // ndef NO_NAMESPACE_GINAC #endif // ndef __GINAC_NCMUL_H__