On 7/12/07, yalcin oksuz wrote:
I am trying to use axiom in my academic study, but I
can't get it run properly. The problem is when I try
to define a function it gives error, for example
(2) -> f(n|n<=0)==-n
Type: Void
(3) -> f(3)
Compiling function f with type PositiveInteger -
Hello
I am trying to use axiom in my academic study, but I
can't get it run properly. The problem is when I try
to define a function it gives error, for example
(2) -> f(n|n<=0)==-n
Type: Void
(3) -> f(3)
Compiling function f w
