Axiom says that pi^e > e^pi:
axiom
%pi ^ %e - %e ^ %pi > 0
There are 4 exposed and 1 unexposed library operations named <
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op <
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 a definition or applicable library operation named <
with argument type(s)
NonNegativeInteger
Expression(Integer)
Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
However it's false:
axiom
%pi ^ %e - %e ^ %pi + 0.0
Type: Expression(Float)
Status: open => duplicate
Category: Axiom Mathematics => Axiom Library