| blob | acbd34916518e5882a5dc1ce58ccd08c47d671b3 |
1 (%i1) '(if a > b then c else d)
2 (%o1) if a > b then c else d
3 (%i2) if a > b then c else d
4 (%o2) if a > b then c else d
5 (%i3) '(if a > b then c)
6 (%o3) if a > b then c
7 (%i4) if a > b then c
8 (%o4) if a > b then c
9 (%i5) '(if a then (if b then (if c then d
10 else (if e then f else g)) else (if h then i else j)) else k)
11 (%o5) if a then (if b then (if c then d
12 else (if e then f else g)) else (if h then i else j)) else k
13 (%i6) if a then (if b then (if c then d
14 else (if e then f else g)) else (if h then i else j)) else k
15 (%o6) if a then (if b then (if c then d
16 else (if e then f else g)) else (if h then i else j)) else k
17 (%i7) '(if a then b)
18 (%o7) if a then b
19 (%i8) '(if a then b else d)
20 (%o8) if a then b else d
21 (%i9) '(if a then b elseif c then false)
22 (%o9) if a then b elseif c then false
23 (%i10) '(if a then b elseif c then d)
24 (%o10) if a then b elseif c then d
25 (%i11) '(if a then b elseif c then d else f)
26 (%o11) if a then b elseif c then d else f
27 (%i12) '(if a then b elseif c then d elseif e then false)
28 (%o12) if a then b elseif c then d elseif e then false
29 (%i13) '(if a then b elseif c then d elseif e then f)
30 (%o13) if a then b elseif c then d elseif e then f
31 (%i14) '(if a then b elseif c then d elseif e then f else h)
32 (%o14) if a then b elseif c then d elseif e then f else h
33 (%i15) '(if a then b elseif c then d elseif e then f elseif g
34 then false)
35 (%o15) if a then b elseif c then d elseif e then f elseif g
36 then false
37 (%i16) '(if a then b elseif c then d elseif e then f elseif g
38 then h)
39 (%o16) if a then b elseif c then d elseif e then f elseif g
40 then h
41 (%i17) if a then b
42 (%o17) if a then b
43 (%i18) if a then b else d
44 (%o18) if a then b else d
45 (%i19) if a then b elseif c then false
46 (%o19) if a then b elseif c then false
47 (%i20) if a then b elseif c then d
48 (%o20) if a then b elseif c then d
49 (%i21) if a then b elseif c then d else f
50 (%o21) if a then b elseif c then d else f
51 (%i22) if a then b elseif c then d elseif e then false
52 (%o22) if a then b elseif c then d elseif e then false
53 (%i23) if a then b elseif c then d elseif e then f
54 (%o23) if a then b elseif c then d elseif e then f
55 (%i24) if a then b elseif c then d elseif e then f else h
56 (%o24) if a then b elseif c then d elseif e then f else h
57 (%i25) if a then b elseif c then d elseif e then f elseif g
58 then false
59 (%o25) if a then b elseif c then d elseif e then f elseif g
60 then false
61 (%i26) if a then b elseif c then d elseif e then f elseif g
62 then h
63 (%o26) if a then b elseif c then d elseif e then f elseif g
64 then h
65 3 q
66 (%i27) (a : z , b : -, c : x < 1024, d : 1729.0,
67 p
68 e : if a > b then c else d, f :
69 if c < d then a elseif c < b then e else g, g : abs(r),
70 h : %pi e, 0)
71 (%o27) 0
72 (%i28) if a then b
73 3 q
74 (%o28) if z then -
75 p
76 (%i29) if a then b else d
77 3 q
78 (%o29) if z then - else 1729.0
79 p
80 (%i30) if a then b elseif c then false
81 3 q
82 (%o30) if z then - elseif x < 1024 then false
83 p
84 (%i31) if a then b elseif c then d
85 3 q
86 (%o31) if z then - elseif x < 1024 then 1729.0
87 p
88 (%i32) if a then b elseif c then d else f
89 3 q
90 (%o32) if z then - elseif x < 1024 then 1729.0
91 p
92 3 q
93 else (if x < 1024 < 1729.0 then z elseif x < 1024 < -
94 p
95 3 q
96 then (if z > - then x < 1024 else 1729.0) else g)
97 p
98 (%i33) if a then b elseif c then d elseif e then false
99 3 q
100 (%o33) if z then - elseif x < 1024 then 1729.0
101 p
102 3 q
103 elseif (if z > - then x < 1024 else 1729.0) then false
104 p
105 (%i34) if a then b elseif c then d elseif e then f
106 3 q
107 (%o34) if z then - elseif x < 1024 then 1729.0
108 p
109 3 q
110 elseif (if z > - then x < 1024 else 1729.0)
111 p
112 3 q
113 then (if x < 1024 < 1729.0 then z elseif x < 1024 < -
114 p
115 3 q
116 then (if z > - then x < 1024 else 1729.0) else g)
117 p
118 (%i35) if a then b elseif c then d elseif e then f else h
119 3 q
120 (%o35) if z then - elseif x < 1024 then 1729.0
121 p
122 3 q
123 elseif (if z > - then x < 1024 else 1729.0)
124 p
125 3 q
126 then (if x < 1024 < 1729.0 then z elseif x < 1024 < -
127 p
128 3 q
129 then (if z > - then x < 1024 else 1729.0) else g)
130 p
131 3 q
132 else %pi (if z > - then x < 1024 else 1729.0)
133 p
134 (%i36) if a then b elseif c then d elseif e then f elseif g
135 then false
136 3 q
137 (%o36) if z then - elseif x < 1024 then 1729.0
138 p
139 3 q
140 elseif (if z > - then x < 1024 else 1729.0)
141 p
142 3 q
143 then (if x < 1024 < 1729.0 then z elseif x < 1024 < -
144 p
145 3 q
146 then (if z > - then x < 1024 else 1729.0) else g) elseif abs(r)
147 p
148 then false
149 (%i37) if a then b elseif c then d elseif e then f elseif g
150 then h
151 3 q
152 (%o37) if z then - elseif x < 1024 then 1729.0
153 p
154 3 q
155 elseif (if z > - then x < 1024 else 1729.0)
156 p
157 3 q
158 then (if x < 1024 < 1729.0 then z elseif x < 1024 < -
159 p
160 3 q
161 then (if z > - then x < 1024 else 1729.0) else g) elseif abs(r)
162 p
163 3 q
164 then %pi (if z > - then x < 1024 else 1729.0)
165 p