share/algebra/charsets/rtestflatten.mac

   1 (kill(all), load("charsets_flatten.lisp"), 0);
   2 0$
   3
   4 charsets_flatten(3);
   5 3$
   6
   7 charsets_flatten(-3);
   8 -3$
   9
  10 charsets_flatten(2/3);
  11 2/3$
  12
  13 charsets_flatten(-2/3);
  14 -2/3$
  15
  16 charsets_flatten(1.4d2);
  17 1.4d2$
  18
  19 charsets_flatten(-3.4d0);
  20 -3.4d0$
  21
  22 charsets_flatten(x);
  23 x$
  24
  25 charsets_flatten(abc);
  26 abc$
  27
  28 charsets_flatten(%pi);
  29 %pi$
  30
  31 charsets_flatten(rat(x));
  32 x$
  33
  34 charsets_flatten(x[5]);
  35 x[5]$
  36
  37 charsets_flatten(x[8,32]);
  38 x[8,32]$
  39
  40 charsets_flatten(-x);
  41 -x$
  42
  43 charsets_flatten(rat(-x));
  44 -x$
  45
  46 charsets_flatten(a+b);
  47 a+b$
  48
  49 charsets_flatten(rat(a+b));
  50 a+b$
  51
  52 charsets_flatten(a*b);
  53 a*b$
  54
  55 charsets_flatten(a/b);
  56 a/b$
  57
  58 charsets_flatten(a*b*c);
  59 a*b*c$
  60
  61 charsets_flatten(a^b);
  62 a^b$
  63
  64 charsets_flatten(a^(a^b));
  65 a^(a^b)$
  66
  67 charsets_flatten([]);
  68 []$
  69
  70 charsets_flatten([[]]);
  71 []$
  72
  73 charsets_flatten([x]);
  74 [x]$
  75
  76 charsets_flatten([[x]]);
  77 [x]$
  78
  79 charsets_flatten(f(g(f(f(x)))));
  80 f(g(f(f(x))))$
  81
  82 charsets_flatten(f(f(g(f(x)))));
  83 f(g(f(x)))$
  84
  85 /* Examples from Macsyma 422 */
  86
  87 charsets_flatten([a,b,[c,[d]],e,[[f],g,h]]);
  88 [a,b,c,d,e,f,g,h]$
  89
  90 charsets_flatten([a,b([c]),[d]]);
  91 [a,b([c]),d]$
  92
  93 charsets_flatten(f(f(a,b), f(c,d)));
  94 f(a,b,c,d)$
  95
  96 charsets_flatten(f[1](f[1](a,b), f[1](c,d)));
  97 f[1](a,b,c,d)$
  98
  99
 100 /* every tests */
 101 charsets_every([]);
 102 false$
 103 charsets_every([false]);
 104 false$
 105 charsets_every([false,false]);
 106 false$
 107 charsets_every(false);
 108 false$
 109 charsets_every(false,false);
 110 false$
 111 charsets_every(true);
 112 true$
 113 charsets_every([true]);
 114 true$
 115 charsets_every([true,true]);
 116 true$
 117 charsets_every(true,true);
 118 true$
 119 charsets_every([true,false]);
 120 false$
 121 charsets_every(true,false);
 122 false$