Question: Is "assume" or is "is" the reason?

Hi, I cannot understand why IS fails below. Am I doing something wrong?. Maybe I generated a new variable when I wrote 2*L/(1-x-y).. Thanks a lot for reading this message, > restart; > assume(L=1/2); > assume(x>0,y>0); > additionally(x+y <> is(x <>"true" > is(2*L/(1-x-y)<>"FAILS" JJacques,
Please Wait...