login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : (unknown) at: 2007-11-17T22:34:38-08:00 (9 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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

\label{eq1}-{0.681534914418223532}(1)
Type: Expression(Float)

Status: open => duplicate

Category: Axiom Mathematics => Axiom Library




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: