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