tests/rtestlabels.mac

   1 (load (stringproc),
   2  kill (all),
   3  nolabels: true,
   4  0);
   5 0;
   6
   7 (f(x) := x,
   8  g(x) := x^2,
   9  h(x) := x^3,
  10  m(x) ::= x,
  11  n(x) ::= x^2,
  12  o(x) ::= x^3,
  13  tellsimpafter (foo(x), bar(x)),
  14  tellsimpafter (bar(x), baz(x)),
  15  L2: dispfun (g, n),
  16  L3: dispfun (all),
  17  L4: disprule (barrule1),
  18  L5: disprule (all),
  19  0);
  20 0;
  21
  22 (ensure_string (x) := if stringp (x) then x else string (x),
  23  my_every (p, L) := apply ("and", map (is, map (p, L))),
  24  my_some (p, L) := apply ("or", map (is, map (p, L))),
  25  my_none (p, L) := apply ("and", map ("not", map (is, map (p, L)))),
  26  matchdeclare (aa, symbolp, [bb, cc], true),
  27  defmatch (rulep, aa: ?marrow (bb, cc)),
  28  defmatch (fundefp, bb := cc),
  29  defmatch (macrodefp, bb ::= cc),
  30  0);
  31 0;
  32
  33 ''L2;
  34 [g(x) := x^2, n(x) ::= x^2];
  35
  36 ''L3;
  37 [f(x) := x, g(x) := x^2, h(x) := x^3, m(x) ::= x, n(x) ::= x^2, o(x) ::= x^3];
  38
  39 ''L4;
  40 '[barrule1 : ?marrow (bar(x), baz(x))];
  41
  42 (my_every (lambda ([x], substring (ensure_string (x), 1, 3) = ensure_string (linechar)), L5)
  43  and my_every (lambda ([x], rulep(x)#false), ''L5));
  44 true;
  45
  46 /* At this point, all labels are %t labels from rules, functions, and macros.
  47  */
  48 (map (lambda ([x], rulep(x)#false or fundefp(x)#false or macrodefp(x)#false), ''labels),
  49  my_every (lambda ([x], substring (ensure_string (x), 1, 3) = ensure_string (linechar)), labels)
  50  and my_every (identity, %%));
  51 true;
  52
  53 [%i1, %o1, %i2, %o2, %i3, %o3, %i4, %o4, %i5, %o5];
  54 '[%i1, %o1, %i2, %o2, %i3, %o3, %i4, %o4, %i5, %o5];
  55
  56 /* Some tests for solve and linsolve.
  57  */
  58 /* Test 1: nolabels = true, programmode = true, globalsolve = false
  59  *  => solve & linsolve return lists of solutions
  60  */
  61 (globalsolve: false,
  62  solve (asin (cos (3*x)), x));
  63 [x = %pi/6];
  64
  65 linsolve ([x + 2*y = 5, 2*x - y = 5], [x, y]);
  66 [x = 3, y = 1];
  67
  68 /* Test 2: nolabels = true, programmode = false, globalsolve = false
  69  *  => solve & linsolve return lists of %t labels
  70  *     and each %t label is on the labels infolist
  71  *     and each %t label is bound to an equation
  72  */
  73 (programmode: false,
  74  L: append (solve (asin (cos (3*x)), x), linsolve ([x + 2*y = 5, 2*x - y = 5], [x, y])),
  75  my_every (lambda ([x], substring (ensure_string (x), 1, 3) = ensure_string (linechar)), L)
  76   and my_every (lambda ([x], my_some (lambda ([y], buildq ([x, y], 'y = 'x)), labels)), L));
  77 true;
  78
  79 ''L;
  80 [x = %pi/6, x = 3, y = 1];
  81
  82 /* Test 3: nolabels = true, programmode = false, globalsolve = true
  83  *  => solve & linsolve return lists of %t labels
  84  *     and each %t labels is on the labels infolist
  85  *     and the labels returned by solve are bound to equations
  86  *     and the labels returned by linsolve are bound to assignments
  87  */
  88 (globalsolve: true,
  89  L: append (solve (asin (cos (3*x)), x), linsolve ([x + 2*y = 5, 2*x - y = 5], [x, y])),
  90  [my_every (lambda ([x], substring (ensure_string (x), 1, 3) = ensure_string (linechar)), L)
  91    and my_every (lambda ([x], my_some (lambda ([y], buildq ([x, y], 'y = 'x)), labels)), L),
  92   x, y]);
  93 [true, 3, 1];
  94
  95 ''L;
  96 '[x = %pi/6, x : 3, y : 1];
  97
  98 /* Test 4: nolabels = true, programmode = true, globalsolve = true
  99  *  => solve returns equations
 100  *     linsolve assigns values and returns assignments
 101  *     no %t labels generated
 102  */
 103 (programmode: true,
 104  kill (x, y),
 105  save_labels: copylist (labels),
 106  [linsolve ([x + 2*y = 5, 2*x - y = 5], [x, y]),
 107  x, y,
 108  is (equal (labels, save_labels))]);
 109 ['[x : 3, y : 1], 3, 1, true];
 110
 111 /* Restore the status quo ante.
 112  */
 113 globalsolve: false;
 114 false;
 115
 116 /* Now repeat all of the preceding tests,
 117  * but this time with nolabels = false.
 118  * %t labels should still be bound to rules, functions, and macros,
 119  * but there should also be some input and output labels bound as well.
 120  */
 121 (kill (all),
 122  nolabels: false,
 123  0);
 124 0;
 125
 126 (f(x) := x,
 127  g(x) := x^2,
 128  h(x) := x^3,
 129  m(x) ::= x,
 130  n(x) ::= x^2,
 131  o(x) ::= x^3,
 132  tellsimpafter (foonew(x), bar(x)),
 133  tellsimpafter (barnew(x), baz(x)),
 134  L2: dispfun (g, n),
 135  L3: dispfun (all),
 136  L4: disprule (barnewrule1),
 137  L5: disprule (all),
 138  0);
 139 0;
 140
 141 (ensure_string (x) := if stringp (x) then x else string (x),
 142  my_every (p, L) := apply ("and", map (is, map (p, L))),
 143  my_some (p, L) := apply ("or", map (is, map (p, L))),
 144  my_none (p, L) := apply ("and", map ("not", map (is, map (p, L)))),
 145  matchdeclare (aa, symbolp, [bb, cc], true),
 146  defmatch (rulep, aa: ?marrow (bb, cc)),
 147  defmatch (fundefp, bb := cc),
 148  defmatch (macrodefp, bb ::= cc),
 149  0);
 150 0;
 151
 152 ''L2;
 153 [g(x) := x^2, n(x) ::= x^2];
 154
 155 ''L3;
 156 [f(x) := x, g(x) := x^2, h(x) := x^3, m(x) ::= x, n(x) ::= x^2, o(x) ::= x^3];
 157
 158 ''L4;
 159 '[barnewrule1 : ?marrow (barnew(x), baz(x))];
 160
 161 (my_every (lambda ([x], substring (ensure_string (x), 1, 3) = ensure_string (linechar)), L5)
 162  and my_every (lambda ([x], rulep(x)#false), ''L5));
 163 true;
 164
 165 /* Now there should be some labels which are not %t labels.
 166  * NOTE: the expected result (false) is observed only if this script is executed
 167  * via batch("rtestlabels.mac"), because then Maxima creates input and output labels.
 168  * When executed via batch(..., test), no input or output labels are created,
 169  * so the test fails.
 170  */
 171 (map (lambda ([x], rulep(x)#false or fundefp(x)#false or macrodefp(x)#false), ''labels),
 172  my_every (lambda ([x], substring (ensure_string (x), 1, 3) = ensure_string (linechar)), labels)
 173  and my_every (identity, %%));
 174 false;
 175
 176 /* See NOTE attached to preceding example
 177  */
 178 labels (inchar) # [] and my_every (?boundp, labels (inchar))
 179  and labels (outchar) # [] and my_every (?boundp, labels (outchar));
 180 true;
 181
 182 /* Repeat the tests for solve and linsolve.
 183  * The outcomes should be the same as before.
 184  */
 185 /* Test 1: nolabels = true, programmode = true, globalsolve = false
 186  *  => solve & linsolve return lists of solutions
 187  */
 188 (globalsolve: false,
 189  solve (asin (cos (3*x)), x));
 190 [x = %pi/6];
 191
 192 linsolve ([x + 2*y = 5, 2*x - y = 5], [x, y]);
 193 [x = 3, y = 1];
 194
 195 /* Test 2: nolabels = true, programmode = false, globalsolve = false
 196  *  => solve & linsolve return lists of %t labels
 197  *     and each %t label is on the labels infolist
 198  *     and each %t label is bound to an equation
 199  */
 200 (programmode: false,
 201  L: append (solve (asin (cos (3*x)), x), linsolve ([x + 2*y = 5, 2*x - y = 5], [x, y])),
 202  my_every (lambda ([x], substring (ensure_string (x), 1, 3) = ensure_string (linechar)), L)
 203   and my_every (lambda ([x], my_some (lambda ([y], buildq ([x, y], 'y = 'x)), labels)), L));
 204 true;
 205
 206 ''L;
 207 [x = %pi/6, x = 3, y = 1];
 208
 209 /* Test 3: nolabels = true, programmode = false, globalsolve = true
 210  *  => solve & linsolve return lists of %t labels
 211  *     and each %t labels is on the labels infolist
 212  *     and the labels returned by solve are bound to equations
 213  *     and the labels returned by linsolve are bound to assignments
 214  */
 215 (globalsolve: true,
 216  L: append (solve (asin (cos (3*x)), x), linsolve ([x + 2*y = 5, 2*x - y = 5], [x, y])),
 217  [my_every (lambda ([x], substring (ensure_string (x), 1, 3) = ensure_string (linechar)), L)
 218    and my_every (lambda ([x], my_some (lambda ([y], buildq ([x, y], 'y = 'x)), labels)), L),
 219   x, y]);
 220 [true, 3, 1];
 221
 222 ''L;
 223 '[x = %pi/6, x : 3, y : 1];
 224
 225 /* Test 4: nolabels = true, programmode = true, globalsolve = true
 226  *  => solve returns equations
 227  *     linsolve assigns values and returns assignments
 228  *     no %t labels generated
 229  */
 230 (programmode: true,
 231  kill (x, y),
 232  save_labels: copylist (labels),
 233  [linsolve ([x + 2*y = 5, 2*x - y = 5], [x, y]),
 234  x, y,
 235  is (equal (labels, save_labels))]);
 236 ['[x : 3, y : 1], 3, 1, true];
 237
 238 /*
 239  * Test 5: programmode = false
 240  * => solve returns list of %t labels
 241  *    and each %t label is on the labels infolist
 242  *    and each %t label is bound to an equation.
 243  *
 244  * This differs from test 2 because solve is unable to find the solution
 245  * to x-tan(x).
 246  */
 247 (programmode:false,
 248  kill(x,y),
 249  L: solve((x^2-4)*(x-tan(x)),x),
 250  my_every(lambda([x], substring (ensure_string (x), 1, 3) = ensure_string (linechar)), L)
 251   and my_every(lambda([x], my_some(lambda([y], build2([x,y], 'y='x)), labels)), L));
 252 true;
 253
 254 ''L;
 255 [x = tan(x), x = -2, x= 2];
 256
 257 /* Restore the status quo ante.
 258  */
 259 globalsolve: false;
 260 false;
 261
 262 my_every (?boundp, labels);
 263 true;