tests/rtest_round.mac

   1 (kill(all),0);
   2 0$
   3
   4 round(0);
   5 0$
   6
   7 round(0.0);
   8 0$
   9
  10 round(0.0b0);
  11 0$
  12
  13 round(zeroa);
  14 0$
  15
  16 round(zerob);
  17 0$
  18
  19 round(-3);
  20 -3$
  21
  22 round(42);
  23 42$
  24
  25 round(-4/3);
  26 -1$
  27
  28 round(16/29);
  29 1$
  30
  31 round(-16/29);
  32 -1$
  33
  34 round(172.23);
  35 172$
  36
  37 round(-314.56);
  38 -315$
  39
  40 round(191.45b0);
  41 191$
  42
  43 round(191.501b0);
  44 192$
  45
  46 round(sqrt(2));
  47 1$
  48
  49 round(sqrt(5) - sqrt(2));
  50 1$
  51
  52 round(sqrt(1932));
  53 44$
  54
  55 (declare(n,integer),0);
  56 0$
  57
  58 round(n);
  59 n$
  60
  61 round(n+49/100);
  62 n$
  63
  64 round(n + 51/100);
  65 n+1$
  66
  67 round(5*n+7);
  68 5*n+7$
  69
  70 round(n*(n+1));
  71 n*(n+1)$
  72
  73 round(2*n + 1/2);
  74 2*n$
  75
  76 round(2*n + 3/2);
  77 2*n + 2$
  78
  79 (assume(n > 0),0);
  80 0$
  81
  82 round(n!);
  83 n!$
  84
  85 (remove(n,integer),0);
  86 0$
  87
  88 (forget(n > 0),0);
  89 0$
  90
  91 (declare(o,odd), declare(o,integer),0);
  92 0$
  93
  94 round(o+1/2);
  95 o+1$
  96
  97 round(o-1/2);
  98 o-1$
  99
 100 round(2*o + 1/2);
 101 2*o$
 102
 103 (declare(e,even), declare(e,integer),0);
 104 0$
 105
 106 round(e+1/2);
 107 e$
 108
 109 round(e-1/2);
 110 e$
 111
 112 (remove(o,odd), remove(o,integer), remove(e,even), remove(e,integer),0);
 113 0$
 114
 115 round(x) + round(-x);
 116 0$
 117
 118 round(a-b) + round(b-a);
 119 0$
 120
 121 round(round(a));
 122 round(a)$
 123
 124 round(round(rat(a)));
 125 round(a)$
 126
 127 round(floor(x));
 128 floor(x);
 129
 130 round(ceiling(x));
 131 ceiling(x)$
 132
 133 map('round,[inf, minf, und, ind]);
 134 [inf, minf, und, ind]$
 135
 136 args(round(%i));
 137 [%i]$
 138
 139 truncate(0);
 140 0$
 141
 142 truncate(0.0);
 143 0$
 144
 145 truncate(0.0b0);
 146 0$
 147
 148 truncate(zeroa);
 149 0$
 150
 151 truncate(zerob);
 152 0$
 153
 154 truncate(-3);
 155 -3$
 156
 157 truncate(42);
 158 42$
 159
 160 truncate(-4/3);
 161 -1$
 162
 163 truncate(16/29);
 164 0$
 165
 166 truncate(-16/29);
 167 0$
 168
 169 truncate(172.23);
 170 172$
 171
 172 truncate(-314.56);
 173 -314$
 174
 175 truncate(191.45b0);
 176 191$
 177
 178 truncate(191.501b0);
 179 191$
 180
 181 truncate(sqrt(2));
 182 1$
 183
 184 truncate(sqrt(5) - sqrt(2));
 185 0$
 186
 187 truncate(sqrt(1932));
 188 43$
 189
 190 (declare(n,integer),0);
 191 0$
 192
 193 truncate(n);
 194 n$
 195
 196 truncate(5*n+7);
 197 5*n+7$
 198
 199 truncate(n*(n+1));
 200 n*(n+1)$
 201
 202 (assume(n > 0),0);
 203 0$
 204
 205 truncate(n!);
 206 n!$
 207
 208 (remove(n,integer),0);
 209 0$
 210
 211 (forget(n > 0),0);
 212 0$
 213
 214 truncate(x) + truncate(-x);
 215 0$
 216
 217 truncate(a-b) + truncate(b-a);
 218 0$
 219
 220 truncate(truncate(a));
 221 truncate(a)$
 222
 223 truncate(truncate(rat(a)));
 224 truncate(a)$
 225
 226 truncate(floor(x));
 227 floor(x);
 228
 229 truncate(ceiling(x));
 230 ceiling(x)$
 231
 232 map('truncate,[inf, minf, und, ind]);
 233 [inf, minf, und, ind]$
 234
 235 args(truncate(%i));
 236 [%i]$
 237
 238 (tellsimp(truncate(x),%pi),0);
 239 0$
 240
 241 truncate(-x);
 242 -%pi$
 243
 244 (tellsimp(round(x), sqrt(3)),0);
 245 0$
 246
 247 round(-x);
 248 -sqrt(3)$
 249
 250 (clear_rules(),0);
 251 0$
 252
 253 truncate(-truncate(-x));
 254 truncate(x)$
 255
 256 round(-round(-x));
 257 round(x)$
 258
 259 (e : round(x/3),0);
 260 0$
 261
 262 ratsubst(6,x,e);
 263 2$
 264
 265 (e : round(x/3),0);
 266 0$
 267
 268 ratsubst(6,x,e);
 269 2$
 270
 271 (remvalue(e),0);
 272 0$
 273
 274
 275 /* check for noun /verb weirdness */
 276
 277 'round(0);
 278 0$
 279
 280 'truncate(0);
 281 0$
 282
 283 '(round(5));
 284 5$
 285
 286 '(truncate(-7));
 287 -7$
 288
 289 'round(-x) + round(x);
 290 0$
 291
 292 'truncate(-x) + truncate(x);
 293 0$
 294
 295 /* regression tests for SF bug 1867942 */
 296
 297 map('round, [1.b0, 1.1b1, 1.11b2, 10.b-1, 100.b-2]);
 298 [1,11,111,1,1]$
 299
 300 map('round, [-1.b0, -1.1b1, -1.11b2, -10.b-1, -100.b-2]);
 301 [-1,-11,-111,-1,-1]$
 302
 303 map('round, [1.0, 1.1d1, 1.11d2, 10.d-1, 100.d-2]);
 304 [1,11,111,1,1]$
 305
 306 map('round, [-1.0, -1.1d1, -1.11d2, -10.d-1, -100.d-2]);
 307 [-1,-11,-111,-1,-1]$
 308
 309
 310
 311
 312
 313
 314
 315
 316
 317