Mon Feb 22 21:19:45 MST 1999 aquarius% macsyma Starting Macsyma math engine with no window system... /opt/local/macsyma_422/macsyma.422 local This is Macsyma 422.0 for Sparc (Solaris 2.x) computers. Copyright (c) 1982 - 1998 Macsyma Inc. All rights reserved. Portions copyright (c) 1982 Massachusetts Institute of Technology. All rights reserved. Type "DESCRIBE(TRADE_SECRET);" to see important legal notices. Type "HELP();" for more information. /aquarius/data2/opt/local/macsyma_422/system/init.lsp being loaded. /aquarius/home/wester/macsyma-init.lsp being loaded. (c1) (c2) /* ----------[ M a c s y m a ]---------- */ /* ---------- Initialization ---------- */ symbol_display_case: lower_case$ Time= 0 msecs (c3) showtime: all$ Time= 0 msecs (c4) prederror: false$ Time= 0 msecs (c5) /* ---------- Mathematics vs Computer Science ---------- */ /* Just how well are pattern matches between mathematically equivalent forms performed? */ matchdeclare(x, true)$ Time= 0 msecs (c6) defmatch(match, exp(x), x)$ Time= 10 msecs (c7) match(exp(y), y); Time= 0 msecs (d7) [x = y] (c8) match(%e^y, y); Time= 0 msecs (d8) [x = y] (c9) defmatch(match, %e^x, x)$ Time= 0 msecs (c10) match(exp(y), y); Time= 0 msecs (d10) [x = y] (c11) match(%e^y, y); Time= 0 msecs (d11) [x = y] (c12) defmatch(match, sqrt(x), x)$ Time= 0 msecs (c13) match(sqrt(y), y); Time= 0 msecs (d13) [x = y] (c14) match(y^(1/2), y); Time= 0 msecs (d14) [x = y] (c15) defmatch(match, x^(1/2), x)$ Time= 0 msecs (c16) match(sqrt(y), y); Time= 0 msecs (d16) [x = y] (c17) match(y^(1/2), y); Time= 0 msecs (d17) [x = y] (c18) defmatch(match, %i*x, x)$ Time= 0 msecs (c19) match(%i*y, y); Time= 0 msecs (d19) [x = y] (c20) match(sqrt(-1)*y, y); Time= 0 msecs (d20) [x = y] (c21) match((-1)^(1/2)*y, y); Time= 10 msecs (d21) [x = y] (c22) defmatch(match, sqrt(-1)*x, x)$ Time= 0 msecs (c23) match(%i*y, y); Time= 0 msecs (d23) [x = y] (c24) match(sqrt(-1)*y, y); Time= 0 msecs (d24) [x = y] (c25) match((-1)^(1/2)*y, y); Time= 0 msecs (d25) [x = y] (c26) defmatch(match, (-1)^(1/2)*x, x)$ Time= 0 msecs (c27) match(%i*y, y); Time= 0 msecs (d27) [x = y] (c28) match(sqrt(-1)*y, y); Time= 0 msecs (d28) [x = y] (c29) match((-1)^(1/2)*y, y); Time= 0 msecs (d29) [x = y] (c30) kill(x)$ Time= 0 msecs (c31) /* ---------- Quit ---------- */ quit(); Bye. real 3.38 user 0.45 sys 0.62