*
* Implementation of GiNaC's non-commutative products of expressions. */
+/*
+ * GiNaC Copyright (C) 1999-2000 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
+ * the Free Software Foundation; either version 2 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License for more details.
+ *
+ * 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
+ */
+
#include <algorithm>
#include <iostream>
#include <stdexcept>
-#include "ginac.h"
+#include "ncmul.h"
+#include "ex.h"
+#include "add.h"
+#include "mul.h"
+#include "archive.h"
+#include "debugmsg.h"
+#include "utils.h"
+
+#ifndef NO_NAMESPACE_GINAC
+namespace GiNaC {
+#endif // ndef NO_NAMESPACE_GINAC
+
+GINAC_IMPLEMENT_REGISTERED_CLASS(ncmul, exprseq)
//////////
// default constructor, destructor, copy constructor assignment operator and helpers
ncmul::ncmul()
{
debugmsg("ncmul default constructor",LOGLEVEL_CONSTRUCT);
- tinfo_key = TINFO_NCMUL;
+ tinfo_key = TINFO_ncmul;
}
ncmul::~ncmul()
destroy(0);
}
-ncmul::ncmul(ncmul const & other)
+ncmul::ncmul(const ncmul & other)
{
debugmsg("ncmul copy constructor",LOGLEVEL_CONSTRUCT);
copy(other);
}
-ncmul const & ncmul::operator=(ncmul const & other)
+const ncmul & ncmul::operator=(const ncmul & other)
{
debugmsg("ncmul operator=",LOGLEVEL_ASSIGNMENT);
if (this != &other) {
// protected
-void ncmul::copy(ncmul const & other)
+void ncmul::copy(const ncmul & other)
{
- exprseq::copy(other);
+ inherited::copy(other);
}
void ncmul::destroy(bool call_parent)
{
- if (call_parent) exprseq::destroy(call_parent);
+ if (call_parent) inherited::destroy(call_parent);
}
//////////
// public
-ncmul::ncmul(ex const & lh, ex const & rh) :
- exprseq(lh,rh)
+ncmul::ncmul(const ex & lh, const ex & rh) :
+ inherited(lh,rh)
{
debugmsg("ncmul constructor from ex,ex",LOGLEVEL_CONSTRUCT);
- tinfo_key = TINFO_NCMUL;
+ tinfo_key = TINFO_ncmul;
}
-ncmul::ncmul(ex const & f1, ex const & f2, ex const & f3) :
- exprseq(f1,f2,f3)
+ncmul::ncmul(const ex & f1, const ex & f2, const ex & f3) :
+ inherited(f1,f2,f3)
{
debugmsg("ncmul constructor from 3 ex",LOGLEVEL_CONSTRUCT);
- tinfo_key = TINFO_NCMUL;
+ tinfo_key = TINFO_ncmul;
}
-ncmul::ncmul(ex const & f1, ex const & f2, ex const & f3,
- ex const & f4) : exprseq(f1,f2,f3,f4)
+ncmul::ncmul(const ex & f1, const ex & f2, const ex & f3,
+ const ex & f4) : inherited(f1,f2,f3,f4)
{
debugmsg("ncmul constructor from 4 ex",LOGLEVEL_CONSTRUCT);
- tinfo_key = TINFO_NCMUL;
+ tinfo_key = TINFO_ncmul;
}
-ncmul::ncmul(ex const & f1, ex const & f2, ex const & f3,
- ex const & f4, ex const & f5) : exprseq(f1,f2,f3,f4,f5)
+ncmul::ncmul(const ex & f1, const ex & f2, const ex & f3,
+ const ex & f4, const ex & f5) : inherited(f1,f2,f3,f4,f5)
{
debugmsg("ncmul constructor from 5 ex",LOGLEVEL_CONSTRUCT);
- tinfo_key = TINFO_NCMUL;
+ tinfo_key = TINFO_ncmul;
}
-ncmul::ncmul(ex const & f1, ex const & f2, ex const & f3,
- ex const & f4, ex const & f5, ex const & f6) :
- exprseq(f1,f2,f3,f4,f5,f6)
+ncmul::ncmul(const ex & f1, const ex & f2, const ex & f3,
+ const ex & f4, const ex & f5, const ex & f6) :
+ inherited(f1,f2,f3,f4,f5,f6)
{
debugmsg("ncmul constructor from 6 ex",LOGLEVEL_CONSTRUCT);
- tinfo_key = TINFO_NCMUL;
+ tinfo_key = TINFO_ncmul;
}
-ncmul::ncmul(exvector const & v, bool discardable) : exprseq(v,discardable)
+ncmul::ncmul(const exvector & v, bool discardable) : inherited(v,discardable)
{
debugmsg("ncmul constructor from exvector,bool",LOGLEVEL_CONSTRUCT);
- tinfo_key = TINFO_NCMUL;
+ tinfo_key = TINFO_ncmul;
}
-ncmul::ncmul(exvector * vp) : exprseq(vp)
+ncmul::ncmul(exvector * vp) : inherited(vp)
{
debugmsg("ncmul constructor from exvector *",LOGLEVEL_CONSTRUCT);
- tinfo_key = TINFO_NCMUL;
+ tinfo_key = TINFO_ncmul;
+}
+
+//////////
+// archiving
+//////////
+
+/** Construct object from archive_node. */
+ncmul::ncmul(const archive_node &n, const lst &sym_lst) : inherited(n, sym_lst)
+{
+ debugmsg("ncmul constructor from archive_node", LOGLEVEL_CONSTRUCT);
+}
+
+/** Unarchive the object. */
+ex ncmul::unarchive(const archive_node &n, const lst &sym_lst)
+{
+ return (new ncmul(n, sym_lst))->setflag(status_flags::dynallocated);
}
+
+/** Archive the object. */
+void ncmul::archive(archive_node &n) const
+{
+ inherited::archive(n);
+}
+
//////////
// functions overriding virtual functions from bases classes
return new ncmul(*this);
}
+void ncmul::print(ostream & os, unsigned upper_precedence) const
+{
+ debugmsg("ncmul print",LOGLEVEL_PRINT);
+ printseq(os,'(','%',')',precedence,upper_precedence);
+}
+
+void ncmul::printraw(ostream & os) const
+{
+ debugmsg("ncmul printraw",LOGLEVEL_PRINT);
+
+ os << "%(";
+ for (exvector::const_iterator it=seq.begin(); it!=seq.end(); ++it) {
+ (*it).bp->printraw(os);
+ os << ",";
+ }
+ os << ",hash=" << hashvalue << ",flags=" << flags;
+ os << ")";
+}
+
+void ncmul::printcsrc(ostream & os, unsigned upper_precedence) const
+{
+ debugmsg("ncmul print csrc",LOGLEVEL_PRINT);
+ exvector::const_iterator it;
+ exvector::const_iterator itend = seq.end()-1;
+ os << "ncmul(";
+ for (it=seq.begin(); it!=itend; ++it) {
+ (*it).bp->printcsrc(os,precedence);
+ os << ",";
+ }
+ (*it).bp->printcsrc(os,precedence);
+ os << ")";
+}
+
bool ncmul::info(unsigned inf) const
{
throw(std::logic_error("which flags have to be implemented in ncmul::info()?"));
for (exvector::const_iterator cit=expanded_seq.begin(); cit!=last; ++cit) {
if (is_ex_exactly_of_type((*cit),add)) {
positions_of_adds[number_of_adds]=current_position;
- add const & expanded_addref=ex_to_add(*cit);
+ const add & expanded_addref=ex_to_add(*cit);
number_of_add_operands[number_of_adds]=expanded_addref.seq.size();
number_of_expanded_terms *= expanded_addref.seq.size();
number_of_adds++;
exvector term;
term=expanded_seq;
for (l=0; l<number_of_adds; l++) {
- ASSERT(is_ex_exactly_of_type(expanded_seq[positions_of_adds[l]],add));
- add const & addref=ex_to_add(expanded_seq[positions_of_adds[l]]);
+ GINAC_ASSERT(is_ex_exactly_of_type(expanded_seq[positions_of_adds[l]],add));
+ const add & addref=ex_to_add(expanded_seq[positions_of_adds[l]]);
term[positions_of_adds[l]]=addref.recombine_pair_to_ex(addref.seq[k[l]]);
}
distrseq.push_back((new ncmul(term,1))->setflag(status_flags::dynallocated |
status_flags::expanded);
}
-int ncmul::degree(symbol const & s) const
+int ncmul::degree(const symbol & s) const
{
int deg_sum=0;
for (exvector::const_iterator cit=seq.begin(); cit!=seq.end(); ++cit) {
return deg_sum;
}
-int ncmul::ldegree(symbol const & s) const
+int ncmul::ldegree(const symbol & s) const
{
int deg_sum=0;
for (exvector::const_iterator cit=seq.begin(); cit!=seq.end(); ++cit) {
return deg_sum;
}
-ex ncmul::coeff(symbol const & s, int const n) const
+ex ncmul::coeff(const symbol & s, int n) const
{
exvector coeffseq;
coeffseq.reserve(seq.size());
if (coeff_found) return (new ncmul(coeffseq,1))->setflag(status_flags::dynallocated);
- return exZERO();
+ return _ex0();
}
-unsigned ncmul::count_factors(ex const & e) const
+unsigned ncmul::count_factors(const ex & e) const
{
if ((is_ex_exactly_of_type(e,mul)&&(e.return_type()!=return_types::commutative))||
(is_ex_exactly_of_type(e,ncmul))) {
unsigned factors=0;
- for (int i=0; i<e.nops(); i++) {
+ for (unsigned i=0; i<e.nops(); i++)
factors += count_factors(e.op(i));
- }
+
return factors;
}
return 1;
}
-void ncmul::append_factors(exvector & v, ex const & e) const
+void ncmul::append_factors(exvector & v, const ex & e) const
{
if ((is_ex_exactly_of_type(e,mul)&&(e.return_type()!=return_types::commutative))||
(is_ex_exactly_of_type(e,ncmul))) {
- for (int i=0; i<e.nops(); i++) {
+ for (unsigned i=0; i<e.nops(); i++)
append_factors(v,e.op(i));
- }
+
return;
}
v.push_back(e);
if (assocseq.size()==1) return *(seq.begin());
// ncmul() -> 1
- if (assocseq.size()==0) return exONE();
+ if (assocseq.size()==0) return _ex1();
// determine return types
unsignedvector rettypes;
}
++i;
}
- ASSERT(count_commutative+count_noncommutative+count_noncommutative_composite==assocseq.size());
+ GINAC_ASSERT(count_commutative+count_noncommutative+count_noncommutative_composite==assocseq.size());
// ncmul(...,c1,...,c2,...) ->
// *(c1,c2,ncmul(...)) (pull out commutative elements)
if (count_noncommutative_composite==0) {
// there are neither commutative nor noncommutative_composite
// elements in assocseq
- ASSERT(count_commutative==0);
+ GINAC_ASSERT(count_commutative==0);
exvectorvector evv;
unsignedvector rttinfos;
}
}
-#ifdef DOASSERT
- ASSERT(evv.size()==rttinfos.size());
- ASSERT(evv.size()>0);
+#ifdef DO_GINAC_ASSERT
+ GINAC_ASSERT(evv.size()==rttinfos.size());
+ GINAC_ASSERT(evv.size()>0);
unsigned s=0;
for (i=0; i<evv.size(); ++i) {
s += evv[i].size();
}
- ASSERT(s==assocseq.size());
-#endif // def DOASSERT
+ GINAC_ASSERT(s==assocseq.size());
+#endif // def DO_GINAC_ASSERT
// if all elements are of same type, simplify the string
if (evv.size()==1) {
return iv;
}
-ex ncmul::subs(lst const & ls, lst const & lr) const
+ex ncmul::subs(const lst & ls, const lst & lr) const
{
return ncmul(subschildren(ls, lr));
}
-ex ncmul::thisexprseq(exvector const & v) const
+ex ncmul::thisexprseq(const exvector & v) const
{
return (new ncmul(v))->setflag(status_flags::dynallocated);
}
// protected
-int ncmul::compare_same_type(basic const & other) const
+/** Implementation of ex::diff() for a non-commutative product. It always returns 0.
+ * @see ex::diff */
+ex ncmul::derivative(const symbol & s) const
{
- return exprseq::compare_same_type(other);
+ return _ex0();
+}
+
+int ncmul::compare_same_type(const basic & other) const
+{
+ return inherited::compare_same_type(other);
}
unsigned ncmul::return_type(void) const
}
}
// all factors checked
- ASSERT(!all_commutative); // not all factors should commute, because this is a ncmul();
+ GINAC_ASSERT(!all_commutative); // not all factors should commute, because this is a ncmul();
return all_commutative ? return_types::commutative : return_types::noncommutative;
}
return s;
}
-exvector const & ncmul::get_factors(void) const
+const exvector & ncmul::get_factors(void) const
{
return seq;
}
//////////
const ncmul some_ncmul;
-type_info const & typeid_ncmul=typeid(some_ncmul);
+const type_info & typeid_ncmul=typeid(some_ncmul);
//////////
// friend functions
//////////
-ex nonsimplified_ncmul(exvector const & v)
+ex nonsimplified_ncmul(const exvector & v)
{
return (new ncmul(v))->setflag(status_flags::dynallocated);
}
-ex simplified_ncmul(exvector const & v)
+ex simplified_ncmul(const exvector & v)
{
if (v.size()==0) {
- return exONE();
+ return _ex1();
} else if (v.size()==1) {
return v[0];
}
status_flags::evaluated);
}
-
+#ifndef NO_NAMESPACE_GINAC
+} // namespace GiNaC
+#endif // ndef NO_NAMESPACE_GINAC