1load_package sum;
2
3
4
5on rounded;
6
7
8
9sum(x**0.5,x,1,2);
10
11
122.41421356237
13
14
15operator f;
16
17
18
19symbolic;
20
21
22nil
23
24
25% The following forms shpuld both evaluate to nil
26
27freeof!-df(aeval '(df (f u v) u v),'v);
28
29
30nil
31
32freeof!-df(reval '(df (f u v) u v),'v);
33
34
35nil
36
37
38end;
39
40nil
41Tested on x86_64-pc-windows CSL
42Time (counter 1): 0 ms
43
44End of Lisp run after 0.00+0.06 seconds
45real 0.21
46user 0.01
47sys 0.06
48