From: Rainer Schöpf <rainer.schoepf@gm...>  20130801 05:36:39

On Thu, 1 Aug 2013 at 09:59 0000, abpetrov wrote: > 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)? I'm afraid that this is not possible with the rule mechanism (see section 11.2.5 of the Reduce manual for an explanation). Instead you could try the user contributed pm module, documented in packages/pm/pm.txt Hope that helps Rainer 