share/integer_sequence/rtest_sequence.mac

   1 (load("integer_sequence"),0);
   2 0$
   3
   4 args(a .. b);
   5 [a,b]$
   6
   7 args(a .. b .. c);
   8 [a,b,c]$
   9
  10 a .. 1 .. b;
  11 a .. b$
  12
  13 0 .. 0;
  14 [0]$
  15
  16 0 .. 1;
  17 [0,1]$
  18
  19 -1 .. -1;
  20 [-1]$
  21
  22 -1 .. 1;
  23 [-1,0,1]$
  24
  25 1/2 .. 3;
  26 [1/2,3/2,5/2]$
  27
  28 0 .. 22/7;
  29 [0,1,2,3]$
  30
  31 %i .. %i + 2;
  32 [%i,%i+1,%i+2]$
  33
  34 a .. a;
  35 [a]$
  36
  37 args(w .. g .. w);
  38 [w,g,w]$
  39
  40 (assume(notequal(g,0)),0);
  41 0$
  42
  43 args(w .. g .. w);
  44 [w]$
  45
  46 (forget(notequal(g,0)),0);
  47 0$
  48
  49 a .. a - 1;
  50 []$
  51
  52 1 .. 2 .. 1;
  53 [1]$
  54
  55 x .. x;
  56 [x]$
  57
  58 x .. 1 .. x;
  59 [x]$
  60
  61 x .. -1 .. x;
  62 [x]$
  63
  64 x .. x + 1;
  65 [x,x+1]$
  66
  67 x .. x - 1;
  68 []$
  69
  70 x .. -1 .. x-1;
  71 [x,x-1]$
  72
  73 sqrt(2) .. 3;
  74 [sqrt(2), sqrt(2) + 1]$
  75
  76 1.0 .. 5.1;
  77 [1.0, 2.0, 3.0, 4.0, 5.0]$
  78
  79 1.0 .. 5.1b0;
  80 [1.0, 2.0, 3.0, 4.0, 5.0]$
  81
  82 1.0b0 .. 5.1b0;
  83 [1.0b0, 2.0b0, 3.0b0, 4.0b0, 5.0b0]$
  84
  85 42.0 .. 45.0;
  86 [42.0,43.0,44.0,45.0]$
  87
  88 args(x .. inf);
  89 [x,inf]$
  90
  91 args(minf .. inf);
  92 [minf,inf]$
  93
  94 args(%i .. 2 * %i);
  95 [%i, 2*%i]$
  96
  97 ratsubst(1, a, a .. a + 1);
  98 [1,2]$
  99
 100 ratsubst(2, h, 0 .. h .. 5);
 101 [0,2,4]$
 102
 103 subst(1, a, a .. a + 1);
 104 [1,2]$
 105
 106 subst(2, h, 0 .. h .. 5);
 107 [0,2,4]$
 108
 109 (assume(big > small),0);
 110 0$
 111
 112 big .. small;
 113 []$
 114
 115 big .. 2 .. small;
 116 []$
 117
 118 args(big .. -1 .. small);
 119 [big,-1,small]$
 120
 121 (forget(big > small),0);
 122 0$
 123
 124 (assume(equal(a,b)),0);
 125 0$
 126
 127 a .. b;
 128 [a]$
 129
 130 (forget(equal(a,b)),0);
 131 0$
 132
 133 args(a .. %i .. a+1);
 134 [a,%i,a + 1]$
 135
 136 errcatch(a .. b .. c .. d);
 137 []$
 138
 139 errcatch(a .. 0 .. b);
 140 []$
 141
 142 errcatch(".."());
 143 []$
 144
 145 errcatch(".."(a));
 146 []$
 147
 148 rat(a) ..  a;
 149 [a]$
 150
 151 a .. rat(a);
 152 [a]$
 153
 154 rat(a) .. 5 .. a;
 155 [a]$
 156
 157 args(a .. rat(h) .. b);
 158 [a,h,b]$
 159
 160 [a] .. [a];
 161 [[a]]$
 162
 163 /* Known bug(s)   */
 164
 165 /* csign(ind) ---> error, not pnz */
 166
 167 args(0 .. ind);
 168 [0,ind]$
 169
 170
 171
 172
 173
 174
 175
 176
 177
 178
 179
 180
 181
 182
 183
 184
 185
 186
 187
 188