Question: Variables are not substituted... ?

I need help... I'm running the code attached below which has procedure sdef(). After obtaining results from it, I do a couple of substitutions Esc:=subs(b=b(v),Esc); Esc:=subs(v=w,Esc); at the very end -- but it turns out that NOT ALL b is substituted for b(v) and not all v is substituted for w in Esc. Been trying to understand what's going on for a day and could not... The code: > restart; > interface(showassumed=0); > > sdef:=proc(x) > global b,v; > local m, S, S1, S2, EStmp1, EStmp2, betasol, beta; > m:=1; > > S2:=t*(x+v)*beta; assume(beta>=0,beta
Please Wait...