tests/rtest_index_properties.mac

   1 linel: 65;
   2
   3 declare_index_properties (U, [presubscript, presuperscript]);
   4 U[92,235];
   5
   6 declare_index_properties (W, [presubscript]);
   7 W[a];
   8 sqrt(W[a]);
   9 1/(1 + sqrt(W[a]));
  10 (1 - sqrt(W[a]))/(1 + W[a]^2);
  11
  12 W[a][b];
  13 W[a][b][c];
  14 W[a][b, c];
  15
  16 declare_index_properties (X, [presuperscript]);
  17 X[a];
  18 sqrt(X[a]);
  19 1/(1 + sqrt(X[a]));
  20 (1 - sqrt(X[a]))/(1 + X[a]^2);
  21
  22 X[a][b];
  23 X[a][b][c];
  24 X[a][b, c];
  25
  26 declare_index_properties (Y, [postsuperscript]);
  27 Y[a];
  28 sqrt(Y[a]);
  29 1/(1 + sqrt(Y[a]));
  30 (1 - sqrt(Y[a]))/(1 + Y[a]^2);
  31
  32 Y[a][b];
  33 Y[a][b][c];
  34 Y[a][b, c];
  35
  36 declare_index_properties (Z, [postsubscript]);
  37 Z[a];
  38 sqrt(Z[a]);
  39 1/(1 + sqrt(Z[a]));
  40 (1 - sqrt(Z[a]))/(1 + Z[a]^2);
  41
  42 Z[a][b];
  43 Z[a][b][c];
  44 Z[a][b, c];
  45
  46 foo[a,b,c,d];
  47 declare_index_properties (foo, [presubscript, presuperscript, postsuperscript, postsubscript]);
  48 foo[a,b,c,d];
  49 (foo[a,b,c,d])^n;
  50 F(foo[a,bbb,cc,d])^n;
  51 F(foo[aaa,bb,cc,ddd])^n;
  52 1/(1-foo[a,b,c,d]);
  53 foo[aa,b,c,dd]/sqrt(1 + foo[x,yy,zz,w]);
  54 foo[a,b,c,d]+foo[w,x,y,z]+foo[1,2,3,4];
  55 foo[aaaaa,b,c,d];
  56 foo[a,b,c,ddddd];
  57 foo[a,b,ccccc,d];
  58 foo[a,bbbbb,c,d];
  59 foo[a,b+x+1,c^2,d[k]];
  60 bar[a,b,c,d];
  61 declare_index_properties (bar, [presubscript, presuperscript, presubscript, presuperscript]);
  62 bar[a,b,c,d];
  63 (bar[a,b,c,d])^n;
  64 F(bar[a,bbb,cc,d])^n;
  65 F(bar[aaa,bb,cc,ddd])^n;
  66 1/(1-bar[a,b,c,d]);
  67 bar[aa,b,c,dd]/sqrt(1 + bar[x,yy,zz,w]);
  68 bar[a,b,c,d]+bar[w,x,y,z]+bar[1,2,3,4];
  69 bar[aaaaa,b,c,d];
  70 bar[a,b,c,ddddd];
  71 bar[a,b,ccccc,d];
  72 bar[a,bbbbb,c,d];
  73 bar[a,b+x+1,c^2,d[k]];
  74 baz[a,b,c,d];
  75 declare_index_properties (baz, [postsubscript, postsuperscript, postsubscript, postsuperscript]);
  76 baz[a,b,c,d];
  77 (baz[a,b,c,d])^n;
  78 F(baz[a,bbb,cc,d])^n;
  79 F(baz[aaa,bb,cc,ddd])^n;
  80 1/(1-baz[a,b,c,d]);
  81 baz[aa,b,c,dd]/sqrt(1 + baz[x,yy,zz,w]);
  82 baz[a,b,c,d]+baz[w,x,y,z]+baz[1,2,3,4];
  83 baz[aaaaa,b,c,d];
  84 baz[a,b,c,ddddd];
  85 baz[a,b,ccccc,d];
  86 baz[a,bbbbb,c,d];
  87 baz[a,b+x+1,c^2,d[k]];
  88 quux[a,b,c,d];
  89 declare_index_properties (quux, [presubscript, presubscript, postsubscript, postsubscript]);
  90 quux[a,b,c,d];
  91 (quux[a,b,c,d])^n;
  92 F(quux[a,bbb,cc,d])^n;
  93 F(quux[aaa,bb,cc,ddd])^n;
  94 1/(1-quux[a,b,c,d]);
  95 quux[aa,b,c,dd]/sqrt(1 + quux[x,yy,zz,w]);
  96 quux[a,b,c,d]+quux[w,x,y,z]+quux[1,2,3,4];
  97 quux[aaaaa,b,c,d];
  98 quux[a,b,c,ddddd];
  99 quux[a,b,ccccc,d];
 100 quux[a,bbbbb,c,d];
 101 quux[a,b+x+1,c^2,d[k]];
 102 blart[a,b,c,d];
 103 declare_index_properties (blart, [presuperscript, presuperscript, postsuperscript, postsuperscript]);
 104 blart[a,b,c,d];
 105 (blart[a,b,c,d])^n;
 106 F(blart[a,bbb,cc,d])^n;
 107 F(blart[aaa,bb,cc,ddd])^n;
 108 1/(1-blart[a,b,c,d]);
 109 blart[aa,b,c,dd]/sqrt(1 + blart[x,yy,zz,w]);
 110 blart[a,b,c,d]+blart[w,x,y,z]+blart[1,2,3,4];
 111 blart[aaaaa,b,c,d];
 112 blart[a,b,c,ddddd];
 113 blart[a,b,ccccc,d];
 114 blart[a,bbbbb,c,d];
 115 blart[a,b+x+1,c^2,d[k]];