-
-numeric const & _num_12(void); // -12
-numeric const & _num_11(void); // -11
-numeric const & _num_10(void); // -10
-numeric const & _num_9(void); // -9
-numeric const & _num_8(void); // -8
-numeric const & _num_7(void); // -7
-numeric const & _num_6(void); // -6
-numeric const & _num_5(void); // -5
-numeric const & _num_4(void); // -4
-numeric const & _num_3(void); // -3
-numeric const & _num_2(void); // -2
-numeric const & _num_1(void); // -1
-numeric const & _num_1_2(void); // -1/2
-numeric const & _num_1_3(void); // -1/3
-numeric const & _num0(void); // 0
-numeric const & _num1_3(void); // 1/3
-numeric const & _num1_2(void); // 1/2
-numeric const & _num1(void); // 1
-numeric const & _num2(void); // 2
-numeric const & _num3(void); // 3
-numeric const & _num4(void); // 4
-numeric const & _num5(void); // 5
-numeric const & _num6(void); // 6
-numeric const & _num7(void); // 7
-numeric const & _num8(void); // 8
-numeric const & _num9(void); // 9
-numeric const & _num10(void); // 10
-numeric const & _num11(void); // 11
-numeric const & _num12(void); // 12
-ex const & _ex_12(void); // -12
-ex const & _ex_11(void); // -11
-ex const & _ex_10(void); // -10
-ex const & _ex_9(void); // -9
-ex const & _ex_8(void); // -8
-ex const & _ex_7(void); // -7
-ex const & _ex_6(void); // -6
-ex const & _ex_5(void); // -5
-ex const & _ex_4(void); // -4
-ex const & _ex_3(void); // -3
-ex const & _ex_2(void); // -2
-ex const & _ex_1(void); // -1
-ex const & _ex_1_2(void); // -1/2
-ex const & _ex_1_3(void); // -1/3
-ex const & _ex0(void); // 0
-ex const & _ex1_3(void); // 1/3
-ex const & _ex1_2(void); // 1/2
-ex const & _ex1(void); // 1
-ex const & _ex2(void); // 2
-ex const & _ex3(void); // 3
-ex const & _ex4(void); // 4
-ex const & _ex5(void); // 5
-ex const & _ex6(void); // 6
-ex const & _ex7(void); // 7
-ex const & _ex8(void); // 8
-ex const & _ex9(void); // 9
-ex const & _ex10(void); // 10
-ex const & _ex11(void); // 11
-ex const & _ex12(void); // 12
-
-#ifndef NO_GINAC_NAMESPACE
+
+extern const numeric *_num_120_p;
+extern const numeric &_num_120;
+extern const ex _ex_120;
+extern const numeric *_num_60_p;
+extern const numeric &_num_60;
+extern const ex _ex_60;
+extern const numeric *_num_48_p;
+extern const numeric &_num_48;
+extern const ex _ex_48;
+extern const numeric *_num_30_p;
+extern const numeric &_num_30;
+extern const ex _ex_30;
+extern const numeric *_num_25_p;
+extern const numeric &_num_25;
+extern const ex _ex_25;
+extern const numeric *_num_24_p;
+extern const numeric &_num_24;
+extern const ex _ex_24;
+extern const numeric *_num_20_p;
+extern const numeric &_num_20;
+extern const ex _ex_20;
+extern const numeric *_num_18_p;
+extern const numeric &_num_18;
+extern const ex _ex_18;
+extern const numeric *_num_15_p;
+extern const numeric &_num_15;
+extern const ex _ex_15;
+extern const numeric *_num_12_p;
+extern const numeric &_num_12;
+extern const ex _ex_12;
+extern const numeric *_num_11_p;
+extern const numeric &_num_11;
+extern const ex _ex_11;
+extern const numeric *_num_10_p;
+extern const numeric &_num_10;
+extern const ex _ex_10;
+extern const numeric *_num_9_p;
+extern const numeric &_num_9;
+extern const ex _ex_9;
+extern const numeric *_num_8_p;
+extern const numeric &_num_8;
+extern const ex _ex_8;
+extern const numeric *_num_7_p;
+extern const numeric &_num_7;
+extern const ex _ex_7;
+extern const numeric *_num_6_p;
+extern const numeric &_num_6;
+extern const ex _ex_6;
+extern const numeric *_num_5_p;
+extern const numeric &_num_5;
+extern const ex _ex_5;
+extern const numeric *_num_4_p;
+extern const numeric &_num_4;
+extern const ex _ex_4;
+extern const numeric *_num_3_p;
+extern const numeric &_num_3;
+extern const ex _ex_3;
+extern const numeric *_num_2_p;
+extern const numeric &_num_2;
+extern const ex _ex_2;
+extern const numeric *_num_1_p;
+extern const numeric &_num_1;
+extern const ex _ex_1;
+extern const numeric *_num_1_2_p;
+extern const numeric &_num_1_2;
+extern const ex _ex_1_2;
+extern const numeric *_num_1_3_p;
+extern const numeric &_num_1_3;
+extern const ex _ex_1_3;
+extern const numeric *_num_1_4_p;
+extern const numeric &_num_1_4;
+extern const ex _ex_1_4;
+extern const numeric *_num0_p;
+extern const basic *_num0_bp;
+extern const numeric &_num0;
+extern const ex _ex0;
+extern const numeric *_num1_4_p;
+extern const numeric &_num1_4;
+extern const ex _ex1_4;
+extern const numeric *_num1_3_p;
+extern const numeric &_num1_3;
+extern const ex _ex1_3;
+extern const numeric *_num1_2_p;
+extern const numeric &_num1_2;
+extern const ex _ex1_2;
+extern const numeric *_num1_p;
+extern const numeric &_num1;
+extern const ex _ex1;
+extern const numeric *_num2_p;
+extern const numeric &_num2;
+extern const ex _ex2;
+extern const numeric *_num3_p;
+extern const numeric &_num3;
+extern const ex _ex3;
+extern const numeric *_num4_p;
+extern const numeric &_num4;
+extern const ex _ex4;
+extern const numeric *_num5_p;
+extern const numeric &_num5;
+extern const ex _ex5;
+extern const numeric *_num6_p;
+extern const numeric &_num6;
+extern const ex _ex6;
+extern const numeric *_num7_p;
+extern const numeric &_num7;
+extern const ex _ex7;
+extern const numeric *_num8_p;
+extern const numeric &_num8;
+extern const ex _ex8;
+extern const numeric *_num9_p;
+extern const numeric &_num9;
+extern const ex _ex9;
+extern const numeric *_num10_p;
+extern const numeric &_num10;
+extern const ex _ex10;
+extern const numeric *_num11_p;
+extern const numeric &_num11;
+extern const ex _ex11;
+extern const numeric *_num12_p;
+extern const numeric &_num12;
+extern const ex _ex12;
+extern const numeric *_num15_p;
+extern const numeric &_num15;
+extern const ex _ex15;
+extern const numeric *_num18_p;
+extern const numeric &_num18;
+extern const ex _ex18;
+extern const numeric *_num20_p;
+extern const numeric &_num20;
+extern const ex _ex20;
+extern const numeric *_num24_p;
+extern const numeric &_num24;
+extern const ex _ex24;
+extern const numeric *_num25_p;
+extern const numeric &_num25;
+extern const ex _ex25;
+extern const numeric *_num30_p;
+extern const numeric &_num30;
+extern const ex _ex30;
+extern const numeric *_num48_p;
+extern const numeric &_num48;
+extern const ex _ex48;
+extern const numeric *_num60_p;
+extern const numeric &_num60;
+extern const ex _ex60;
+extern const numeric *_num120_p;
+extern const numeric &_num120;
+extern const ex _ex120;
+
+
+// Helper macros for class implementations (mostly useful for trivial classes)
+
+#define DEFAULT_CTOR(classname) \
+classname::classname() : inherited(TINFO_##classname) {}
+
+#define DEFAULT_UNARCHIVE(classname) \
+ex classname::unarchive(const archive_node &n, lst &sym_lst) \
+{ \
+ return (new classname(n, sym_lst))->setflag(status_flags::dynallocated); \
+}
+
+#define DEFAULT_ARCHIVING(classname) \
+classname::classname(const archive_node &n, lst &sym_lst) : inherited(n, sym_lst) {} \
+DEFAULT_UNARCHIVE(classname) \
+void classname::archive(archive_node &n) const \
+{ \
+ inherited::archive(n); \
+}
+
+#define DEFAULT_COMPARE(classname) \
+int classname::compare_same_type(const basic & other) const \
+{ \
+ /* by default, the objects are always identical */ \
+ return 0; \
+}
+
+#define DEFAULT_PRINT(classname, text) \
+void classname::do_print(const print_context & c, unsigned level) const \
+{ \
+ c.s << text; \
+}
+
+#define DEFAULT_PRINT_LATEX(classname, text, latex) \
+DEFAULT_PRINT(classname, text) \
+void classname::do_print_latex(const print_latex & c, unsigned level) const \
+{ \
+ c.s << latex; \
+}
+