Hi,

I encountered the following problem in Maple 14

expr1:=sqrt(a)

assume(a>0)

expr2:=sqrt(a)

additionally(a>1)

subs(a=2,expr1) #gives correct answer of sqrt(2)

subs(a=2,expr2) #does not substitute a=2 in expr2

It seems the last statement with expr2 does not work as expected, I wondered why this behaviour is so, because it does work with expr1. The added assumption does not invalidate the first...