Axiom says that pi^e > e^pi:

(1) -> %pi ^ %e - %e ^ %pi > 0

   There are 1 exposed and 2 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) 
                             Expression(Integer)
                             NonNegativeInteger

      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.

However it's false:

%pi ^ %e - %e ^ %pi + 0.0

(1)

Status: open => duplicate

Category: Axiom Mathematics => Axiom Library