From: abpetrov <abpetrov@uf...>  20130801 04:34:08

Hi, I am new in Reduce, so I ask forgive me this question, it is may be simple. I am trying to define rule for an operator operator f1; r1 := {f1(~x)+f1(~y)=> f(x+y)}; but when i try to use it ( f1(x) + f1(y) where r1 ); i have error message ***** Unmatched free variable(s) ~y Is it possible to define rule for such operation ( not for f(~x+~y)=>f(x)+f(y), there isn't problem here)? So please help me. Best regards, Petrov Alexander. 