-// like merge(), but three lists with *last2<*first3
-template <class InputIterator1, class InputIterator2, class InputIterator3,
- class OutputIterator, class Compare>
-OutputIterator mymerge3(InputIterator1 first1, InputIterator1 last1,
- InputIterator2 first2, InputIterator2 last2,
- InputIterator3 first3, InputIterator3 last3,
- OutputIterator result, Compare comp) {
- while (first1 != last1 && first2 != last2) {
- if (comp(*first1, *first2)) {
- *result = *first1;
- ++first1;
- }
- else {
- *result = *first2;
- ++first2;
- }
- ++result;
- }
-
- if (first1==last1) {
- // list1 empty, copy rest of list2, then list3
- return copy(first3, last3, copy(first2, last2, result));
- } else {
- // list2 empty, merge rest of list1 with list3
- return mymerge(first1,last1,first3,last3,result,comp);
- }
+/* In-place cyclic permutation of a container (no copying, only swapping). */
+template <class It, class Swap>
+void cyclic_permutation(It first, It last, It new_first, Swap swapit)
+{
+ unsigned num = last - first;
+again:
+ if (first == new_first || num < 2)
+ return;
+
+ unsigned num1 = new_first - first, num2 = last - new_first;
+ if (num1 >= num2) {
+ It a = first, b = new_first;
+ while (b != last) {
+ swapit(*a, *b);
+ ++a; ++b;
+ }
+ if (num1 > num2) {
+ first += num2;
+ num = num1;
+ goto again;
+ }
+ } else {
+ It a = new_first, b = last;
+ do {
+ --a; --b;
+ swapit(*a, *b);
+ } while (a != first);
+ last -= num1;
+ num = num2;
+ goto again;
+ }
+}
+
+
+// Collection of `construct on first use' wrappers for safely avoiding
+// internal object replication without running into the `static
+// initialization order fiasco'. This chest of numbers helps speed up
+// the library but should not be used outside it since it is
+// potentially confusing.
+
+class ex;
+
+extern const numeric *_num_120_p;
+extern const ex _ex_120;
+extern const numeric *_num_60_p;
+extern const ex _ex_60;
+extern const numeric *_num_48_p;
+extern const ex _ex_48;
+extern const numeric *_num_30_p;
+extern const ex _ex_30;
+extern const numeric *_num_25_p;
+extern const ex _ex_25;
+extern const numeric *_num_24_p;
+extern const ex _ex_24;
+extern const numeric *_num_20_p;
+extern const ex _ex_20;
+extern const numeric *_num_18_p;
+extern const ex _ex_18;
+extern const numeric *_num_15_p;
+extern const ex _ex_15;
+extern const numeric *_num_12_p;
+extern const ex _ex_12;
+extern const numeric *_num_11_p;
+extern const ex _ex_11;
+extern const numeric *_num_10_p;
+extern const ex _ex_10;
+extern const numeric *_num_9_p;
+extern const ex _ex_9;
+extern const numeric *_num_8_p;
+extern const ex _ex_8;
+extern const numeric *_num_7_p;
+extern const ex _ex_7;
+extern const numeric *_num_6_p;
+extern const ex _ex_6;
+extern const numeric *_num_5_p;
+extern const ex _ex_5;
+extern const numeric *_num_4_p;
+extern const ex _ex_4;
+extern const numeric *_num_3_p;
+extern const ex _ex_3;
+extern const numeric *_num_2_p;
+extern const ex _ex_2;
+extern const numeric *_num_1_p;
+extern const ex _ex_1;
+extern const numeric *_num_1_2_p;
+extern const ex _ex_1_2;
+extern const numeric *_num_1_3_p;
+extern const ex _ex_1_3;
+extern const numeric *_num_1_4_p;
+extern const ex _ex_1_4;
+extern const numeric *_num0_p;
+extern const basic *_num0_bp;
+extern const ex _ex0;
+extern const numeric *_num1_4_p;
+extern const ex _ex1_4;
+extern const numeric *_num1_3_p;
+extern const ex _ex1_3;
+extern const numeric *_num1_2_p;
+extern const ex _ex1_2;
+extern const numeric *_num1_p;
+extern const ex _ex1;
+extern const numeric *_num2_p;
+extern const ex _ex2;
+extern const numeric *_num3_p;
+extern const ex _ex3;
+extern const numeric *_num4_p;
+extern const ex _ex4;
+extern const numeric *_num5_p;
+extern const ex _ex5;
+extern const numeric *_num6_p;
+extern const ex _ex6;
+extern const numeric *_num7_p;
+extern const ex _ex7;
+extern const numeric *_num8_p;
+extern const ex _ex8;
+extern const numeric *_num9_p;
+extern const ex _ex9;
+extern const numeric *_num10_p;
+extern const ex _ex10;
+extern const numeric *_num11_p;
+extern const ex _ex11;
+extern const numeric *_num12_p;
+extern const ex _ex12;
+extern const numeric *_num15_p;
+extern const ex _ex15;
+extern const numeric *_num18_p;
+extern const ex _ex18;
+extern const numeric *_num20_p;
+extern const ex _ex20;
+extern const numeric *_num24_p;
+extern const ex _ex24;
+extern const numeric *_num25_p;
+extern const ex _ex25;
+extern const numeric *_num30_p;
+extern const ex _ex30;
+extern const numeric *_num48_p;
+extern const ex _ex48;
+extern const numeric *_num60_p;
+extern const ex _ex60;
+extern const numeric *_num120_p;
+extern const ex _ex120;
+
+
+// Helper macros for class implementations (mostly useful for trivial classes)
+
+#define DEFAULT_CTOR(classname) \
+classname::classname() : inherited(TINFO_##classname) { setflag(status_flags::evaluated | status_flags::expanded); }
+
+#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; \