X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Fncmul.h;h=f8ba628453388ec1ebe2b30344653ef735503da0;hp=fac40b6fabecf335fb79b920346960b8c2b266a2;hb=2c3ef3ce66bd2223c756d0fa90fc9f2f188c053d;hpb=9e2d60e206395fc9908e1f9025e50c76b3d7c182 diff --git a/ginac/ncmul.h b/ginac/ncmul.h index fac40b6f..f8ba6284 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-2002 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 @@ -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,31 +80,21 @@ protected: exvector expandchildren(unsigned options) const; public: const exvector & get_factors(void) const; - -// member variables - -protected: - static unsigned precedence; }; -// global constants - -extern const ncmul some_ncmul; -extern const std::type_info & typeid_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) + +/** Specialization of is_exactly_a(obj) for ncmul objects. */ +template<> inline bool is_exactly_a(const basic & obj) { - return static_cast (*e.bp); + return obj.tinfo()==TINFO_ncmul; } -#ifndef NO_NAMESPACE_GINAC } // namespace GiNaC -#endif // ndef NO_NAMESPACE_GINAC #endif // ndef __GINAC_NCMUL_H__