[Axiom-developer] [Q] Explanation of 1+z==z+1 impact ?

[Vladimir Bondarenko]

Hello *,

Is is possible to hear explanation on the following?

->)clear all

-> integrate(1+z, z)

     1  2
     - z  + z
     2
                                            Type: Polynomial Fraction Integer
-> 1+z==z+1
   Compiled code for + has been cleared.
   1 old definition(s) deleted for function or rule +
                                                                   Type: Void

> integrate(1+z, z)
   Compiling function + with type (PositiveInteger,PositiveInteger) ->
      Float
   Compiling function + with type (Variable z,PositiveInteger) -> Float

   Compiling function + with type (PositiveInteger,Variable z) -> Float


   The function + is not defined for the given argument(s).


Much thanks in advance.


Best,

Vladimir