Changes needed for compilation with -DDO_GINAC_ASSERT:

* basic.cpp: if needed, #include <typeinfo>,
* mul.h: mul::print() needed a default for 2nd arg.
Hey, Cebix, could you please have a look at the assertions of type
basis.return_type()==return_types::commutative in power.cpp ctors?
Watch out, though: they are not just bogus because of the rule
(x*y)^2 -> x^2*y^2 in power::eval().

diff --git a/ginac/basic.cpp b/ginac/basic.cpp
index 5b66a04d14bbf1fcb32be4008f294d903e8a2d3d..a92dd9ede24b8e7f2ae37657aa3e082b031c7115 100644 (file)
--- a/ginac/basic.cpp
+++ b/ginac/basic.cpp
@@ -22,6 +22,9 @@
 
 #include <iostream>
 #include <stdexcept>
+#ifdef DO_GINAC_ASSERT
+#  include <typeinfo>
+#endif
 
 #include "basic.h"
 #include "ex.h"

diff --git a/ginac/mul.h b/ginac/mul.h
index affef3ba0c7ba5f024af2d51b418c8c1de8aef52..8009d78410424e7d304303fa2de2a6f485f14751 100644 (file)
--- a/ginac/mul.h
+++ b/ginac/mul.h
@@ -47,7 +47,7 @@ public:
        
        // functions overriding virtual functions from bases classes
 public:
-       void print(const print_context & c, unsigned level) const;
+       void print(const print_context & c, unsigned level = 0) const;
        bool info(unsigned inf) const;
        int degree(const ex & s) const;
        int ldegree(const ex & s) const;