comparison operators and %pi

"Sumant S.R. Oemrawsingh" <[email protected]>
Newsgroups gmane.comp.mathematics.axiom.user
Message-ID <[email protected]>
Hi guys,

I just tried axiom today for the first time, since it appears quite
powerful. This of course means I'm a total newbie, so I've tried searching
for the problem that I have through the archives, without luck.

I'm trying to define a piecewise function, and I didn't manage. I could
track the problem down to this expression in the predicate: x < %pi.

This will simply not evaluate when I call the function.
If I just type in:
1 < %pi
I get the following message:

   Loading /usr/lib/axiom-20050901/algebra/HACKPI.o for domain Pi 
   Loading /usr/lib/axiom-20050901/algebra/UPMP.o for package 
      UnivariatePolynomialMultiplicationPackage 
   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) 
                               PositiveInteger
                                     Pi
      
      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.

So when I try to evaluate the function at some integer point, I get this
same message. The same holds for a Fraction Integer.

However, Float (1.1 < %pi) and AlgebraicNumber (sqrt(2) < %pi) work
properly. Nevertheless, I want to evaluate the function at any point and get
a symbolic answer instead of Float->Float. What can I do?


Thanks a lot!

Sumant
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.