]> www.ginac.de Git - ginac.git/blobdiff - ginac/utils.cpp
- removed manual basepointer-fiddling in construct-on-first-use objects
[ginac.git] / ginac / utils.cpp
index 49edabee177ae8a6a05aae870f5e20ce267a4062..d5d7ab6218029dca9414674be4abe0b16bf95972 100644 (file)
@@ -4,7 +4,7 @@
  *  but not of any interest to the user of the library. */
 
 /*
- *  GiNaC Copyright (C) 1999-2000 Johannes Gutenberg University Mainz, Germany
+ *  GiNaC Copyright (C) 1999-2001 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
 #include "ex.h"
 #include "numeric.h"
 #include "utils.h"
+#include "version.h"
 
-#ifndef NO_NAMESPACE_GINAC
 namespace GiNaC {
-#endif // ndef NO_NAMESPACE_GINAC
+
+/* Version information buried into the library */
+const int version_major = GINACLIB_MAJOR_VERSION;
+const int version_minor = GINACLIB_MINOR_VERSION;
+const int version_micro = GINACLIB_MICRO_VERSION;
+
 
 /** ctor for pole_error exception class. */
 pole_error::pole_error(const std::string& what_arg, int degree)
-  : domain_error(what_arg)
-{
-       deg = degree;
-}
+       : domain_error(what_arg), deg(degree) { }
 
 /** Return the degree of the pole_error exception class. */
 int pole_error::degree(void) const
@@ -48,23 +50,12 @@ int pole_error::degree(void) const
 unsigned log2(unsigned n)
 {
        unsigned k;
-       for (k = 0; n > 1; n >>= 1) ++k;
+       for (k = 0; n > 1; n >>= 1)
+               ++k;
        return k;
 }
 #endif
 
-/** Compare two pointers (just to establish some sort of canonical order).
- *  @return -1, 0, or 1 */
-int compare_pointers(const void * a, const void * b)
-{
-       if (a<b) {
-               return -1;
-       } else if (a>b) {
-               return 1;
-       }
-       return 0;
-}
-
 //////////
 // `construct on first use' chest of numbers
 //////////
@@ -73,8 +64,8 @@ int compare_pointers(const void * a, const void * b)
 const numeric & _num_120(void)
 {
        const static ex e = ex(numeric(-120));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_120(void)
@@ -87,8 +78,8 @@ const ex & _ex_120(void)
 const numeric & _num_60(void)
 {
        const static ex e = ex(numeric(-60));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_60(void)
@@ -101,8 +92,8 @@ const ex & _ex_60(void)
 const numeric & _num_48(void)
 {
        const static ex e = ex(numeric(-48));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_48(void)
@@ -115,8 +106,8 @@ const ex & _ex_48(void)
 const numeric & _num_30(void)
 {
        const static ex e = ex(numeric(-30));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_30(void)
@@ -129,8 +120,8 @@ const ex & _ex_30(void)
 const numeric & _num_25(void)
 {
        const static ex e = ex(numeric(-25));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_25(void)
@@ -143,8 +134,8 @@ const ex & _ex_25(void)
 const numeric & _num_24(void)
 {
        const static ex e = ex(numeric(-24));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_24(void)
@@ -157,8 +148,8 @@ const ex & _ex_24(void)
 const numeric & _num_20(void)
 {
        const static ex e = ex(numeric(-20));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_20(void)
@@ -171,8 +162,8 @@ const ex & _ex_20(void)
 const numeric & _num_18(void)
 {
        const static ex e = ex(numeric(-18));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_18(void)
@@ -185,8 +176,8 @@ const ex & _ex_18(void)
 const numeric & _num_15(void)
 {
        const static ex e = ex(numeric(-15));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_15(void)
@@ -199,8 +190,8 @@ const ex & _ex_15(void)
 const numeric & _num_12(void)
 {
        const static ex e = ex(numeric(-12));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_12(void)
@@ -213,8 +204,8 @@ const ex & _ex_12(void)
 const numeric & _num_11(void)
 {
        const static ex e = ex(numeric(-11));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_11(void)
@@ -227,8 +218,8 @@ const ex & _ex_11(void)
 const numeric & _num_10(void)
 {
        const static ex e = ex(numeric(-10));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_10(void)
@@ -241,8 +232,8 @@ const ex & _ex_10(void)
 const numeric & _num_9(void)
 {
        const static ex e = ex(numeric(-9));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_9(void)
@@ -255,8 +246,8 @@ const ex & _ex_9(void)
 const numeric & _num_8(void)
 {
        const static ex e = ex(numeric(-8));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_8(void)
@@ -269,8 +260,8 @@ const ex & _ex_8(void)
 const numeric & _num_7(void)
 {
        const static ex e = ex(numeric(-7));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_7(void)
@@ -283,8 +274,8 @@ const ex & _ex_7(void)
 const numeric & _num_6(void)
 {
        const static ex e = ex(numeric(-6));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_6(void)
@@ -297,8 +288,8 @@ const ex & _ex_6(void)
 const numeric & _num_5(void)
 {
        const static ex e = ex(numeric(-5));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_5(void)
@@ -311,8 +302,8 @@ const ex & _ex_5(void)
 const numeric & _num_4(void)
 {
        const static ex e = ex(numeric(-4));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_4(void)
@@ -325,8 +316,8 @@ const ex & _ex_4(void)
 const numeric & _num_3(void)
 {
        const static ex e = ex(numeric(-3));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_3(void)
@@ -339,8 +330,8 @@ const ex & _ex_3(void)
 const numeric & _num_2(void)
 {
        const static ex e = ex(numeric(-2));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_2(void)
@@ -353,8 +344,8 @@ const ex & _ex_2(void)
 const numeric & _num_1(void)
 {
        const static ex e = ex(numeric(-1));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_1(void)
@@ -367,8 +358,8 @@ const ex & _ex_1(void)
 const numeric & _num_1_2(void)
 {
        const static ex e = ex(numeric(-1,2));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_1_2(void)
@@ -381,8 +372,8 @@ const ex & _ex_1_2(void)
 const numeric & _num_1_3(void)
 {
        const static ex e = ex(numeric(-1,3));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_1_3(void)
@@ -395,8 +386,8 @@ const ex & _ex_1_3(void)
 const numeric & _num_1_4(void)
 {
        const static ex e = ex(numeric(-1,4));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex_1_4(void)
@@ -409,8 +400,8 @@ const ex & _ex_1_4(void)
 const numeric & _num0(void)
 {
        const static ex e = ex(numeric(0));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex0(void)
@@ -423,8 +414,8 @@ const ex & _ex0(void)
 const numeric & _num1_4(void)
 {
        const static ex e = ex(numeric(1,4));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex1_4(void)
@@ -437,8 +428,8 @@ const ex & _ex1_4(void)
 const numeric & _num1_3(void)
 {
        const static ex e = ex(numeric(1,3));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex1_3(void)
@@ -451,8 +442,8 @@ const ex & _ex1_3(void)
 const numeric & _num1_2(void)
 {
        const static ex e = ex(numeric(1,2));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex1_2(void)
@@ -465,8 +456,8 @@ const ex & _ex1_2(void)
 const numeric & _num1(void)
 {
        const static ex e = ex(numeric(1));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex1(void)
@@ -479,8 +470,8 @@ const ex & _ex1(void)
 const numeric & _num2(void)
 {
        const static ex e = ex(numeric(2));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex2(void)
@@ -493,8 +484,8 @@ const ex & _ex2(void)
 const numeric & _num3(void)
 {
        const static ex e = ex(numeric(3));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex3(void)
@@ -507,8 +498,8 @@ const ex & _ex3(void)
 const numeric & _num4(void)
 {
        const static ex e = ex(numeric(4));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex4(void)
@@ -521,8 +512,8 @@ const ex & _ex4(void)
 const numeric & _num5(void)
 {
        const static ex e = ex(numeric(5));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex5(void)
@@ -535,8 +526,8 @@ const ex & _ex5(void)
 const numeric & _num6(void)
 {
        const static ex e = ex(numeric(6));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex6(void)
@@ -549,8 +540,8 @@ const ex & _ex6(void)
 const numeric & _num7(void)
 {
        const static ex e = ex(numeric(7));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex7(void)
@@ -563,8 +554,8 @@ const ex & _ex7(void)
 const numeric & _num8(void)
 {
        const static ex e = ex(numeric(8));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex8(void)
@@ -577,8 +568,8 @@ const ex & _ex8(void)
 const numeric & _num9(void)
 {
        const static ex e = ex(numeric(9));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex9(void)
@@ -591,8 +582,8 @@ const ex & _ex9(void)
 const numeric & _num10(void)
 {
        const static ex e = ex(numeric(10));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex10(void)
@@ -605,8 +596,8 @@ const ex & _ex10(void)
 const numeric & _num11(void)
 {
        const static ex e = ex(numeric(11));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex11(void)
@@ -619,8 +610,8 @@ const ex & _ex11(void)
 const numeric & _num12(void)
 {
        const static ex e = ex(numeric(12));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex12(void)
@@ -633,8 +624,8 @@ const ex & _ex12(void)
 const numeric & _num15(void)
 {
        const static ex e = ex(numeric(15));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex15(void)
@@ -647,8 +638,8 @@ const ex & _ex15(void)
 const numeric & _num18(void)
 {
        const static ex e = ex(numeric(18));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex18(void)
@@ -661,8 +652,8 @@ const ex & _ex18(void)
 const numeric & _num20(void)
 {
        const static ex e = ex(numeric(20));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex20(void)
@@ -675,8 +666,8 @@ const ex & _ex20(void)
 const numeric & _num24(void)
 {
        const static ex e = ex(numeric(24));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex24(void)
@@ -689,8 +680,8 @@ const ex & _ex24(void)
 const numeric & _num25(void)
 {
        const static ex e = ex(numeric(25));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex25(void)
@@ -703,8 +694,8 @@ const ex & _ex25(void)
 const numeric & _num30(void)
 {
        const static ex e = ex(numeric(30));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex30(void)
@@ -717,8 +708,8 @@ const ex & _ex30(void)
 const numeric & _num48(void)
 {
        const static ex e = ex(numeric(48));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex48(void)
@@ -731,8 +722,8 @@ const ex & _ex48(void)
 const numeric & _num60(void)
 {
        const static ex e = ex(numeric(60));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex60(void)
@@ -745,8 +736,8 @@ const ex & _ex60(void)
 const numeric & _num120(void)
 {
        const static ex e = ex(numeric(120));
-       const static numeric * n = static_cast<const numeric *>(e.bp);
-       return *n;
+       const static numeric &n = ex_to<numeric>(e);
+       return n;
 }
 
 const ex & _ex120(void)
@@ -760,13 +751,13 @@ const ex & _ex120(void)
 
 // member functions
 
-       // default constructor, destructor, copy constructor assignment operator and helpers
+       // default ctor, dtor, copy ctor assignment operator and helpers
        // none
 
-       // other constructors
+       // other ctors
        // none
 
-       // functions overriding virtual functions from bases classes
+       // functions overriding virtual functions from base classes
        // none
        
        // new virtual functions which can be overridden by derived classes
@@ -784,21 +775,21 @@ const ex & _ex120(void)
 
 
 //////////
-// default constructor, destructor, copy constructor assignment operator and helpers
+// default ctor, dtor, copy ctor assignment operator and helpers
 //////////
 
 // public
 // protected
 
 //////////
-// other constructors
+// other ctors
 //////////
 
 // public
 // none
 
 //////////
-// functions overriding virtual functions from bases classes
+// functions overriding virtual functions from base classes
 //////////
 
 // public
@@ -830,6 +821,4 @@ const ex & _ex120(void)
 // none
 
 
-#ifndef NO_NAMESPACE_GINAC
 } // namespace GiNaC
-#endif // ndef NO_NAMESPACE_GINAC