Thu Apr 17 06:49:16 MET DST 1997 anne % axiom Axiom Computer Algebra System (Release 2.1) Digital Unix on DEC Alpha (AXIOM Sockets) The AXIOM server number is undefined. ----------------------------------------------------------------------------- Issue )copyright to view copyright notices. Issue )summary for a summary of useful system commands. Issue )quit to leave AXIOM and return to shell. ----------------------------------------------------------------------------- initial (1) -> -- ----------[ A x i o m ]---------- -- ---------- Initialization ---------- )set messages autoload off )set messages time on )set quit unprotected -- ---------- Mathematics vs Computer Science ---------- -- Just how well are pattern matches between mathematically equivalent forms -- performed? (rule exp(x) == x)(exp(y)) (1) y Type: Expression Integer Time: 0.30 (IN) + 0.55 (EV) + 0.25 (OT) + 0.27 (GC) = 1.36 sec (rule exp(x) == x)(%e**y) (2) y Type: Expression Integer Time: 0.07 (IN) + 0.10 (EV) + 0.02 (OT) = 0.18 sec (rule %e**x == x)(exp(y)) (3) y Type: Expression Integer Time: 0.03 (IN) + 0.05 (EV) + 0.02 (OT) = 0.10 sec (rule %e**x == x)(%e**y) (4) y Type: Expression Integer Time: 0.03 (IN) + 0.07 (EV) + 0.03 (OT) = 0.13 sec (rule sqrt(x) == x)(sqrt(y)) (5) y Type: Expression Integer Time: 0.03 (IN) + 0.07 (EV) = 0.10 sec (rule sqrt(x) == x)(y**(1/2)) (6) y Type: Expression Integer Time: 0.05 (IN) + 0.03 (OT) = 0.08 sec (rule x**(1/2) == x)(sqrt(y)) (7) y Type: Expression Integer Time: 0.02 (IN) + 0.02 (EV) + 0.02 (OT) = 0.05 sec (rule x**(1/2) == x)(y**(1/2)) (8) y Type: Expression Integer Time: 0.05 (IN) + 0.02 (OT) = 0.07 sec (rule %i*x == x)(%i*y) (9) %i y Type: Expression Complex Integer Time: 0.48 (IN) + 0.22 (EV) + 0.17 (OT) + 0.02 (GC) = 0.89 sec (rule %i*x == x)(sqrt(-1)*y) There are 1 exposed and 1 unexposed library operations named elt having 1 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op elt to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation. Cannot find application of object of type RewriteRule(Integer, Complex Integer,Expression Complex Integer) to argument(s) of type(s) Polynomial AlgebraicNumber (rule %i*x == x)((-1)**(1/2)*y) There are 1 exposed and 1 unexposed library operations named elt having 1 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op elt to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation. Cannot find application of object of type RewriteRule(Integer, Complex Integer,Expression Complex Integer) to argument(s) of type(s) Polynomial AlgebraicNumber (rule sqrt(-1)*x == x)(%i*y) There are 1 exposed and 1 unexposed library operations named elt having 1 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op elt to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation. Cannot find application of object of type RewriteRule(Integer, Integer,Expression Integer) to argument(s) of type(s) Polynomial Complex Integer (rule sqrt(-1)*x == x)(sqrt(-1)*y) (10) y Type: Expression Integer Time: 0.08 (IN) + 0.12 (EV) = 0.20 sec (rule sqrt(-1)*x == x)((-1)**(1/2)*y) (11) y Type: Expression Integer Time: 0.10 (IN) + 0.05 (EV) + 0.02 (OT) = 0.17 sec (rule (-1)**(1/2)*x == x)(%i*y) Line 23: (rule (-1)**(1/2)*x == x)(%i*y) .........A Error A: syntax error at top level Error A: Improper syntax. 2 error(s) parsing (rule (-1)**(1/2)*x == x)(sqrt(-1)*y) Line 24: (rule (-1)**(1/2)*x == x)(sqrt(-1)*y) .........A Error A: syntax error at top level Error A: Improper syntax. 2 error(s) parsing (rule (-1)**(1/2)*x == x)((-1)**(1/2)*y) Line 25: (rule (-1)**(1/2)*x == x)((-1)**(1/2)*y) .........A Error A: syntax error at top level Error A: Improper syntax. 2 error(s) parsing (rule x*(-1)**(1/2) == x)(%i*y) There are 1 exposed and 1 unexposed library operations named elt having 1 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op elt to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation. Cannot find application of object of type RewriteRule(Integer, Integer,Expression Integer) to argument(s) of type(s) Polynomial Complex Integer (rule x*(-1)**(1/2) == x)(sqrt(-1)*y) (12) y Type: Expression Integer Time: 0.08 (IN) + 0.07 (EV) + 0.03 (OT) = 0.18 sec (rule x*(-1)**(1/2) == x)((-1)**(1/2)*y) (13) y Type: Expression Integer Time: 0.10 (IN) + 0.08 (EV) = 0.18 sec -- ---------- Quit ---------- )quit real 25.6 user 8.4 sys 0.5