Artifact 6f9e17988db1101705d51ef46051555934ee846e97e38c0428757c86343370ad:

• Executable file r37/packages/rtrace/rtrace.tst — part of check-in [f2fda60abd] at 2011-09-02 18:13:33 on branch master — Some historical releases purely for archival purposes

  git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 1448) [annotate] [blame] [check-ins using] [more...]

• Executable file r38/packages/rtrace/rtrace.tst — part of check-in [f2fda60abd] at 2011-09-02 18:13:33 on branch master — Some historical releases purely for archival purposes

  git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/trunk/historical@1375 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 1448) [annotate] [blame] [check-ins using]

% rtrace.tst -- Test portable REDUCE tracing

% Author: Francis J. Wright, 13 July 1998

symbolic procedure test(a, b);
   begin scalar c, d;
      d := c := {a, b};
      return c
   end$

rtr test;
getd 'test;
prop 'test;
test('a, 'b);

rtrst test;
getd 'test;
prop 'test;
test('a, 'b);

unrtr test;
getd 'test;
prop 'test;
test('a, 'b);

algebraic procedure test(a, b);
   begin scalar c, d;
      d := c := {a, b};
      return c
   end$

rtr test;
getd 'test;
prop 'test;
test(a, b);

rtrst test;
getd 'test;
prop 'test;
test(a, b);

unrtr test;
getd 'test;
prop 'test;
test(a, b);

algebraic procedure test(a, b);
   d := c := {a, b}$

rtr test;
getd 'test;
prop 'test;
test(a, b);

rtrst test;
getd 'test;
prop 'test;
test(a, b);

unrtr test;
getd 'test;
prop 'test;
test(a, b);


% Examples used in documentation (rtrace.tex):

algebraic procedure power(x, n);
   if n = 0 then 1 else x*power(x, n-1)$

rtr power;
power(x+1, 2);
off rtrace;
power(x+1, 2);
on rtrace;
unrtr power;

rtr int;
unrtr int;

procedure fold u;
   for each x in u sum x$

rtrst fold;
fold {z, z*y, y};
unrtrst fold;

trigrules := {sin(~x)^2 => 1 - cos(x)^2};

let trigrules;

trrl trigrules;
1 - sin(x)^2;
untrrl trigrules;

trrl sin;
1 - sin(x)^2;
untrrl sin;

clearrules trigrules;

trrlid trigrules;
1 - sin(x)^2 where trigrules;
untrrlid trigrules;

end;