tests/rtest_everysome.mac

   1 (kill (all), 0);
   2 0;
   3
   4 /* There are more tests for every and some in rtestnset; these tests mainly
   5 check these functions with matrix arguments. */
   6
   7 emptyp(matrix());
   8 true$
   9
  10 emptyp(matrix([]));
  11 true$
  12
  13 emptyp(matrix([],[]));
  14 true$
  15
  16 emptyp(matrix([9]));
  17 false$
  18
  19 every('integerp, matrix());
  20 true$
  21
  22 some('integerp, matrix());
  23 false$
  24
  25 every("<", matrix([]));
  26 true$
  27
  28 every("=", matrix([],[]));
  29 true$
  30
  31 some("<", matrix([]));
  32 false$
  33
  34 some("=", matrix([],[]));
  35 false$
  36
  37 some("=",[[x],a],[x,b]);
  38 false$
  39
  40 every("=",[[x],a],[x,b]);
  41 false$
  42
  43 some(identity, [false,true]);
  44 true$
  45
  46 every(identity, [false,true]);
  47 false$
  48
  49 every(integerp, matrix([6,2],[7,21]));
  50 true$
  51
  52 some(integerp, matrix([6,2],[7,21]));
  53 true$
  54
  55 every(integerp, matrix([6,2],[7,%pi]));
  56 false$
  57
  58 some(integerp, matrix([6,2],[7,%pi]));
  59 true$
  60
  61 every(lambda([x], x < 1), matrix([-7,0],[-5,-13]));
  62 true$
  63
  64 every(lambda([x], x < 1), matrix([-7,0],[5,13]));
  65 false$
  66
  67 some(lambda([x], x < 1), matrix([-7,0],[5,13]));
  68 true$
  69
  70 (booleanp(x) := is (x = 'true) or is (x = 'false),0);
  71 0$
  72
  73 every('booleanp, matrix([false],[true]));
  74 true$
  75
  76 every('booleanp, matrix([false],[45]));
  77 false$
  78
  79 some('booleanp, matrix([false],[true]));
  80 true$
  81
  82 some('booleanp, matrix([false],[45]));
  83 true$
  84
  85 every("=", matrix([a,b],[c,d]), matrix([a,b],[c,d]));
  86 true$
  87
  88 every("=", matrix([a,b],[c,d]), matrix([a,b],[c,29]));
  89 false$
  90
  91 every('ratnump, genmatrix(lambda([i,j],1/(i+j)),101,103));
  92 true$
  93
  94 some('integerp, genmatrix(lambda([i,j],1/(i+j)),101,92));
  95 false$
  96
  97 (allrats(x) := if mapatom(x) then ratnump(x) else every('allrats, args(x)),0);
  98 0$
  99
 100 every('allrats, matrix([matrix([4,5],[6,7]), matrix([8,9],[7,z])]));
 101 false$
 102
 103 every('allrats, [[[5,19/3],[],[1,2]]]);
 104 true$
 105
 106 (somerats(x) := if mapatom(x) then ratnump(x) else some('somerats, args(x)),0);
 107 0$
 108
 109 some('somerats, matrix([matrix([4,5],[6,7]), matrix([8,9],[7,z])]));
 110 true$
 111
 112 some('somerats, [[[u,[1/2],[],[n,k]]]]);
 113 true$
 114
 115 some('somerats, [[[u,[%pi-%e],[],[n,k]]]]);
 116 false$
 117
 118 some(listp,matrix([a]));
 119 false$
 120
 121 some(integerp, [ [ 1 , 2 ] ] );
 122 false$
 123
 124 every(matrixp,matrix([matrix([a])]));
 125 true$
 126
 127 every(listp,[]);
 128 true$
 129
 130 every(listp,[a]);
 131 false$
 132
 133 every(listp, [ [ ] ] );
 134 true$
 135
 136 every(listp, [ [ a ] ] );
 137 true$
 138
 139 errcatch(some(listp,a[1]));
 140 []$
 141
 142 errcatch(every(listp,a[1]));
 143 []$
 144
 145 errcatch(some(numberp,a[1]));
 146 []$
 147
 148 errcatch(some(listp,a[[x]]));
 149 []$
 150
 151 errcatch(some(integerp,f[1](2)));
 152 []$
 153
 154 some("<",[%i,3],[2,7]);
 155 true$
 156
 157 some("<",[%i,3],[2,-7]);
 158 false$
 159
 160 every("<",[%i,3],[2,7]);
 161 false$
 162
 163 every("<",[%i,3],[2,-7]);
 164 false$
 165
 166 (saveprederror : prederror, prederror : false,0);
 167 0$
 168
 169 some('maybe,[6<5,a<b]);
 170 unknown$
 171
 172 some("<", [a],[b]);
 173 unknown$
 174
 175 every("<",[a],[b]);
 176 unknown$
 177
 178 some('identity, [unknown, false]);
 179 unknown$
 180
 181 every('identity, [unknown, false]);
 182 false$
 183
 184 (betweenp(a,b,c) :=  (a-b)*(c-b) < 0,0);
 185 0$
 186
 187 every('betweenp, matrix([1,2],[5,6]), matrix([2,3],[6,7]), matrix([3,4],[7,8]));
 188 true$
 189
 190 some('betweenp, matrix([1,2],[5,6]), matrix([2,3],[6,7]), matrix([3,u],[n,k]));
 191 true$
 192
 193 every('betweenp, matrix([1,2],[5,6]), matrix([2,3],[6,7]), matrix([3,u],[n,k]));
 194 unknown$
 195
 196 some('identity,set(a,b,c));
 197 unknown$
 198
 199 every('identity,set(a,b,c));
 200 unknown$
 201
 202 some("<", [%i,2],[1,5]);
 203 true$
 204
 205 every("<", [%i,2],[1,5]);
 206 false$
 207
 208 some("<",[a,b],[c,d]);
 209 unknown$
 210
 211 every("<",[a,b],[c,d]);
 212 unknown$
 213
 214 (prederror : true,0);
 215 0$
 216
 217 some('maybe,[6<5,a<b]);
 218 false$
 219
 220 some("<", [a],[b]);
 221 false$
 222
 223 every("<",[a],[b]);
 224 false$
 225
 226 some('identity,set(a,b,c));
 227 false$
 228
 229 every('identity,set(a,b,c));
 230 false$
 231
 232 some("<", [%i,2],[1,5]);
 233 true$
 234
 235 every("<", [%i,2],[1,5]);
 236 false$
 237
 238 some("<",[a,b],[c,d]);
 239 false$
 240
 241 every("<",[a,b],[c,d]);
 242 false$
 243
 244 every('betweenp, matrix([1,2],[5,6]), matrix([2,3],[6,7]), matrix([3,u],[n,k]));
 245 false$
 246
 247 (prederror : saveprederror,0);
 248 0$
 249
 250 (remvalue(saveprederror),0);
 251 0$
 252
 253 (remfunction(betweenp, booleanp, allrats, somerats),0);
 254 0$
 255
 256
 257
 258
 259
 260
 261
 262
 263
 264
 265
 266
 267
 268
 269
 270