X-Git-Url: https://ginac.de/ginac.git//ginac.git?a=blobdiff_plain;f=ginac%2Fexpair.h;h=b9006848d1953253a88df2ff0fe1759d437b186e;hb=ed62b717aa0383e08b4a2642cd923498898e1a18;hp=372091db3602846a9c743678ca87622c247a98a6;hpb=66c0f31c678e6c1938d637636b230ea376c157c1;p=ginac.git diff --git a/ginac/expair.h b/ginac/expair.h index 372091db..b9006848 100644 --- a/ginac/expair.h +++ b/ginac/expair.h @@ -1,6 +1,9 @@ /** @file expair.h * - * GiNaC Copyright (C) 1999 Johannes Gutenberg University Mainz, Germany + * Definition of expression pairs (building blocks of expairseq). */ + +/* + * 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 @@ -23,6 +26,10 @@ #include #include +#ifndef NO_GINAC_NAMESPACE +namespace GiNaC { +#endif // ndef NO_GINAC_NAMESPACE + /** A pair of expressions. * This similar to, but slightly extended STL's pair<> but we need to account * for methods like .compare() */ @@ -33,7 +40,7 @@ public: ~expair() {} expair(expair const & other) : rest(other.rest), coeff(other.coeff) { - ASSERT(is_ex_exactly_of_type(coeff,numeric)); + GINAC_ASSERT(is_ex_exactly_of_type(coeff,numeric)); } expair const & operator=(expair const & other) { @@ -45,14 +52,14 @@ public: } expair(ex const & r, ex const & c) : rest(r), coeff(c) { - ASSERT(is_ex_exactly_of_type(coeff,numeric)); + GINAC_ASSERT(is_ex_exactly_of_type(coeff,numeric)); } bool is_numeric_with_coeff_1(void) const { - ASSERT(is_ex_exactly_of_type(coeff,numeric)); + GINAC_ASSERT(is_ex_exactly_of_type(coeff,numeric)); return is_ex_exactly_of_type(rest,numeric) && - (ex_to_numeric(coeff).compare(numONE())==0); + (coeff.is_equal(ex(1))); } bool is_equal(expair const & other) const @@ -94,14 +101,14 @@ public: */ if (is_ex_exactly_of_type(rest,numeric) && is_ex_exactly_of_type(other.rest,numeric)) { - if (ex_to_numeric(coeff).compare(numONE())==0) { - if (ex_to_numeric(other.coeff).compare(numONE())==0) { + if (coeff.is_equal(ex(1))) { + if ((other.coeff).is_equal(ex(1))) { // both have coeff 1: compare rests return rest.compare(other.rest)<0; } // only this has coeff 1: > return false; - } else if (ex_to_numeric(other.coeff).compare(numONE())==0) { + } else if ((other.coeff).is_equal(ex(1))) { // only other has coeff 1: < return true; } @@ -115,14 +122,14 @@ public: { if (is_ex_exactly_of_type(rest,numeric) && is_ex_exactly_of_type(other.rest,numeric)) { - if (ex_to_numeric(coeff).compare(numONE())==0) { - if (ex_to_numeric(other.coeff).compare(numONE())==0) { + if ((coeff).is_equal(ex(1))) { + if ((other.coeff).is_equal(ex(1))) { // both have coeff 1: compare rests return rest.compare(other.rest); } // only this has coeff 1: > return 1; - } else if (ex_to_numeric(other.coeff).compare(numONE())==0) { + } else if ((other.coeff).is_equal(ex(1))) { // only other has coeff 1: < return -1; } @@ -192,4 +199,8 @@ public: } }; +#ifndef NO_GINAC_NAMESPACE +} // namespace GiNaC +#endif // ndef NO_GINAC_NAMESPACE + #endif // ndef __GINAC_EXPAIR_H__