Tue Dec 31 16:47:29 MST 1996 aquarius% reduce REDUCE 3.6, 15-Jul-95, patched to 15 Apr 96 ... 1: % ----------[ R e d u c e ]---------- % ---------- Initialization ---------- on time; Time: 0 ms % ---------- Mathematics vs Computer Science ---------- % Is k really treated as a local variable in the following situations where it % is clearly a mathematically local variable? sum(k, k, 1, 4); 10 Time: 110 ms prod(k, k, 1, 3); 6 Time: 0 ms limit(k, k, 0); 0 Time: 0 ms int(k, k, 0, 1); 1 --- 2 Time: 80 ms k:= 1$ Time: 0 ms sum(k, k, 1, 4); ***** k invalid as kernel Cont? (Y or N) ?y Time: 10 ms prod(k, k, 1, 3); ***** k invalid as kernel Cont? (Y or N) ?y Time: 0 ms limit(k, k, 0); 1 Time: 0 ms int(k, k, 0, 1); ***** k invalid as kernel Cont? (Y or N) ?y Time: 0 ms % ---------- Quit ---------- quit; Quitting real 10.65 user 0.26 sys 1.24