Re: [Reduce-algebra-developers] Rule f1(~x)+f1(~y)=> f(x+y) for Reduce

[Rainer S. <rai...@gm...>]

On Thu, 1 Aug 2013 at 20:05 -0000, abpetrov wrote:

 > I made attempt with program
 > 
 > load_package pm;
 > operator f1;
 > s(f1(x) + f1(y),f1(?x) + f1(?y)−>f1(x+y));
 > 
 > And then I got next error message
 > 
 > ***** (? y) invalid as operator

It took me a while to understand the problem: you are using a non-ASCII
character (Unicode \u2212) instead of a minus sign in "->". If you use the minus 
sign it works.

  Rainer