-#endif // ndef NO_NAMESPACE_GINAC
-
-// binary arithmetic operators ex with ex
-
-ex operator+(const ex & lh, const ex & rh)
-{
- debugmsg("operator+(ex,ex)",LOGLEVEL_OPERATOR);
- return lh.exadd(rh);
-}
-
-ex operator-(const ex & lh, const ex & rh)
-{
- debugmsg("operator-(ex,ex)",LOGLEVEL_OPERATOR);
- return lh.exadd(rh.exmul(_ex_1()));
-}