Rename *ll* and *ul* to ll and ul in strictly-in-interval
[maxima.git] / tests / rtest_index_properties.output
blobc9a2b0c000ab68f22b4c594a34fe9c223a5f3ea3
1 batch("tests/rtest_index_properties.mac")
3 read and interpret /home/robert/maxima/maxima-code/tests/rtest_index_properties.mac
4 linel:65
5                                65
6 declare_index_properties(U,[presubscript,presuperscript])
7                               done
8 U[92,235]
9                               235
10                                  U
11                                92
12 declare_index_properties(W,[presubscript])
13                               done
14 W[a]
15                                 W
16                                a
17 sqrt(W[a])
18                             sqrt( W)
19                                  a
20 1/(1+sqrt(W[a]))
21                                1
22                           ------------
23                           sqrt( W) + 1
24                                a
25 (1-sqrt(W[a]))/(1+W[a]^2)
26                           1 - sqrt( W)
27                                    a
28                           ------------
29                                2
30                            ( W)  + 1
31                             a
32 W[a][b]
33                               ( W)
34                                a  b
35 W[a][b][c]
36                             (( W) )
37                               a  b c
38 W[a][b,c]
39                             ( W)
40                              a  b, c
41 declare_index_properties(X,[presuperscript])
42                               done
43 X[a]
44                                a
45                                 X
46 sqrt(X[a])
47                                  a
48                             sqrt( X)
49 1/(1+sqrt(X[a]))
50                                1
51                           ------------
52                                a
53                           sqrt( X) + 1
54 (1-sqrt(X[a]))/(1+X[a]^2)
55                                    a
56                           1 - sqrt( X)
57                           ------------
58                             a  2
59                            ( X)  + 1
60 X[a][b]
61                                a
62                               ( X)
63                                   b
64 X[a][b][c]
65                               a
66                             (( X) )
67                                  b c
68 X[a][b,c]
69                              a
70                             ( X)
71                                 b, c
72 declare_index_properties(Y,[postsuperscript])
73                               done
74 Y[a]
75                                 a
76                                Y
77 sqrt(Y[a])
78                                   a
79                             sqrt(Y )
80 1/(1+sqrt(Y[a]))
81                                1
82                           ------------
83                                 a
84                           sqrt(Y ) + 1
85 (1-sqrt(Y[a]))/(1+Y[a]^2)
86                                     a
87                           1 - sqrt(Y )
88                           ------------
89                              a 2
90                            (Y )  + 1
91 Y[a][b]
92                                 a
93                               (Y )
94                                   b
95 Y[a][b][c]
96                                a
97                             ((Y ) )
98                                  b c
99 Y[a][b,c]
100                               a
101                             (Y )
102                                 b, c
103 declare_index_properties(Z,[postsubscript])
104                               done
105 Z[a]
106                                Z
107                                 a
108 sqrt(Z[a])
109                             sqrt(Z )
110                                   a
111 1/(1+sqrt(Z[a]))
112                                1
113                           ------------
114                           sqrt(Z ) + 1
115                                 a
116 (1-sqrt(Z[a]))/(1+Z[a]^2)
117                           1 - sqrt(Z )
118                                     a
119                           ------------
120                                2
121                            (Z )  + 1
122                              a
123 Z[a][b]
124                               (Z )
125                                 a b
126 Z[a][b][c]
127                             ((Z ) )
128                                a b c
129 Z[a][b,c]
130                             (Z )
131                               a b, c
132 foo[a,b,c,d]
133                           foo
134                              a, b, c, d
135 declare_index_properties(foo,
136                          [presubscript,presuperscript,
137                           postsuperscript,postsubscript])
138                               done
139 foo[a,b,c,d]
140                               b   c
141                                foo
142                               a   d
143 foo[a,b,c,d]^n
144                              b   c n
145                             ( foo )
146                              a   d
147 F(foo[a,bbb,cc,d])^n
148                            n bbb   cc
149                           F (   foo  )
150                                a   d
151 F(foo[aaa,bb,cc,ddd])^n
152                            n  bb   cc
153                           F (   foo   )
154                              aaa   ddd
155 1/(1-foo[a,b,c,d])
156                                 1
157                             ---------
158                                 b   c
159                             1 -  foo
160                                 a   d
161 foo[aa,b,c,dd]/sqrt(1+foo[x,yy,zz,w])
162                               b   c
163                                foo
164                              aa   dd
165                         -----------------
166                              yy   zz
167                         sqrt(  foo   + 1)
168                               x   w
169 foo[a,b,c,d]+foo[w,x,y,z]+foo[1,2,3,4]
170                       x   y   b   c   2   3
171                        foo  +  foo  +  foo
172                       w   z   a   d   1   4
173 foo[aaaaa,b,c,d]
174                                 b   c
175                                  foo
176                             aaaaa   d
177 foo[a,b,c,ddddd]
178                             b   c
179                              foo
180                             a   ddddd
181 foo[a,b,ccccc,d]
182                             b   ccccc
183                              foo
184                             a   d
185 foo[a,bbbbb,c,d]
186                             bbbbb   c
187                                  foo
188                                 a   d
189 foo[a,b+x+1,c^2,d[k]]
190                                       2
191                          x + b + 1   c
192                                   foo
193                                  a   d
194                                       k
195 bar[a,b,c,d]
196                           bar
197                              a, b, c, d
198 declare_index_properties(bar,
199                          [presubscript,presuperscript,
200                           presubscript,presuperscript])
201                               done
202 bar[a,b,c,d]
203                              b, d
204                                  bar
205                              a, c
206 bar[a,b,c,d]^n
207                             b, d    n
208                            (    bar)
209                             a, c
210 F(bar[a,bbb,cc,d])^n
211                            n bbb, d
212                           F (      bar)
213                               a, cc
214 F(bar[aaa,bb,cc,ddd])^n
215                           n bb, ddd
216                          F (       bar)
217                             aaa, cc
218 1/(1-bar[a,b,c,d])
219                                 1
220                            -----------
221                                b, d
222                            1 -     bar
223                                a, c
224 bar[aa,b,c,dd]/sqrt(1+bar[x,yy,zz,w])
225                             b, dd
226                                  bar
227                             aa, c
228                        ------------------
229                             yy, w
230                        sqrt(     bar + 1)
231                             x, zz
232 bar[a,b,c,d]+bar[w,x,y,z]+bar[1,2,3,4]
233                    x, z      b, d      2, 4
234                        bar +     bar +     bar
235                    w, y      a, c      1, 3
236 bar[aaaaa,b,c,d]
237                                b, d
238                                    bar
239                            aaaaa, c
240 bar[a,b,c,ddddd]
241                            b, ddddd
242                                    bar
243                                a, c
244 bar[a,b,ccccc,d]
245                                b, d
246                                    bar
247                            a, ccccc
248 bar[a,bbbbb,c,d]
249                            bbbbb, d
250                                    bar
251                                a, c
252 bar[a,b+x+1,c^2,d[k]]
253                         x + b + 1, d
254                                     k
255                                      bar
256                                     2
257                                 a, c
258 baz[a,b,c,d]
259                           baz
260                              a, b, c, d
261 declare_index_properties(baz,
262                          [postsubscript,postsuperscript,
263                           postsubscript,postsuperscript])
264                               done
265 baz[a,b,c,d]
266                                 b, d
267                              baz
268                                 a, c
269 baz[a,b,c,d]^n
270                                b, d n
271                            (baz    )
272                                a, c
273 F(baz[a,bbb,cc,d])^n
274                            n    bbb, d
275                           F (baz      )
276                                 a, cc
277 F(baz[aaa,bb,cc,ddd])^n
278                           n    bb, ddd
279                          F (baz       )
280                                aaa, cc
281 1/(1-baz[a,b,c,d])
282                                 1
283                            -----------
284                                   b, d
285                            1 - baz
286                                   a, c
287 baz[aa,b,c,dd]/sqrt(1+baz[x,yy,zz,w])
288                                b, dd
289                             baz
290                                aa, c
291                        ------------------
292                                yy, w
293                        sqrt(baz      + 1)
294                                x, zz
295 baz[a,b,c,d]+baz[w,x,y,z]+baz[1,2,3,4]
296                       x, z      b, d      2, 4
297                    baz     + baz     + baz
298                       w, y      a, c      1, 3
299 baz[aaaaa,b,c,d]
300                               b, d
301                            baz
302                               aaaaa, c
303 baz[a,b,c,ddddd]
304                               b, ddddd
305                            baz
306                               a, c
307 baz[a,b,ccccc,d]
308                               b, d
309                            baz
310                               a, ccccc
311 baz[a,bbbbb,c,d]
312                               bbbbb, d
313                            baz
314                               a, c
315 baz[a,b+x+1,c^2,d[k]]
316                            x + b + 1, d
317                                        k
318                         baz
319                                2
320                            a, c
321 quux[a,b,c,d]
322                          quux
323                              a, b, c, d
324 declare_index_properties(quux,
325                          [presubscript,presubscript,
326                           postsubscript,postsubscript])
327                               done
328 quux[a,b,c,d]
329                               quux
330                           a, b    c, d
331 quux[a,b,c,d]^n
332                                        n
333                          (    quux    )
334                           a, b    c, d
335 F(quux[a,bbb,cc,d])^n
336                         n
337                        F (      quux     )
338                           a, bbb    cc, d
339 F(quux[aaa,bb,cc,ddd])^n
340                       n
341                      F (       quux       )
342                         aaa, bb    cc, ddd
343 1/(1-quux[a,b,c,d])
344                                1
345                         ----------------
346                         1 -     quux
347                             a, b    c, d
348 quux[aa,b,c,dd]/sqrt(1+quux[x,yy,zz,w])
349                               quux
350                          aa, b    c, dd
351                     ------------------------
352                     sqrt(     quux      + 1)
353                          x, yy    zz, w
354 quux[a,b,c,d]+quux[w,x,y,z]+quux[1,2,3,4]
355                quux     +     quux     +     quux
356            w, x    y, z   a, b    c, d   1, 2    3, 4
357 quux[aaaaa,b,c,d]
358                                 quux
359                         aaaaa, b    c, d
360 quux[a,b,c,ddddd]
361                             quux
362                         a, b    c, ddddd
363 quux[a,b,ccccc,d]
364                             quux
365                         a, b    ccccc, d
366 quux[a,bbbbb,c,d]
367                                 quux
368                         a, bbbbb    c, d
369 quux[a,b+x+1,c^2,d[k]]
370                                  quux
371                      a, x + b + 1     2
372                                      c , d
373                                           k
374 blart[a,b,c,d]
375                          blart
376                               a, b, c, d
377 declare_index_properties(blart,
378                          [presuperscript,presuperscript,
379                           postsuperscript,postsuperscript])
380                               done
381 blart[a,b,c,d]
382                           a, b     c, d
383                               blart
384 blart[a,b,c,d]^n
385                          a, b     c, d n
386                         (    blart    )
387 F(blart[a,bbb,cc,d])^n
388                        n a, bbb     cc, d
389                       F (      blart     )
390 F(blart[aaa,bb,cc,ddd])^n
391                       n aaa, bb     cc, ddd
392                      F (       blart       )
393 1/(1-blart[a,b,c,d])
394                                 1
395                         -----------------
396                             a, b     c, d
397                         1 -     blart
398 blart[aa,b,c,dd]/sqrt(1+blart[x,yy,zz,w])
399                          aa, b     c, dd
400                               blart
401                     -------------------------
402                          x, yy     zz, w
403                     sqrt(     blart      + 1)
404 blart[a,b,c,d]+blart[w,x,y,z]+blart[1,2,3,4]
405           w, x     y, z   a, b     c, d   1, 2     3, 4
406               blart     +     blart     +     blart
407 blart[aaaaa,b,c,d]
408                         aaaaa, b     c, d
409                                 blart
410 blart[a,b,c,ddddd]
411                         a, b     c, ddddd
412                             blart
413 blart[a,b,ccccc,d]
414                         a, b     ccccc, d
415                             blart
416 blart[a,bbbbb,c,d]
417                         a, bbbbb     c, d
418                                 blart
419 blart[a,b+x+1,c^2,d[k]]
420                                        2
421                                       c , d
422                      a, x + b + 1          k
423                                  blart
424  /home/robert/maxima/maxima-code/tests/rtest_index_properties.mac