Advanced Search

Question: Inexplicable FALSE return

Question:Inexplicable FALSE return

tsunamiBTP 292 Maple 12
false
September 16 2014
0


Q[1] := (e^(-n*T*s)-e^(-(n+1)*T*s)+(-exp(-Z[1]*n*T)*(s-Z[1])*exp(-n*T*(s-Z[1]))+exp(-Z[2]*n*T)*(s-Z[2])*exp(-n*T*(s-Z[2])))/(Z[1]-Z[2])+2*exp(-n*T*s)*(-1+Heaviside(-n*T)))/c+Z[1]*Z[2]*exp(-n*T*(s-Z[1]))/((s-Z[1])*exp(Z[1]*n*T)*(Z[1]-Z[2])*c)-Z[2]*Z[1]*exp(-n*T*(s-Z[2]))/((s-Z[2])*exp(Z[2]*n*T)*(Z[1]-Z[2])*c); 1; Q[2] := ((s-Z[1])*exp(-n*T*(s-Z[1]))*exp(-Z[1]*n*T)/(Z[2]-Z[1])+exp(-n*T*s)*(-1+Heaviside(-n*T)))/c+Z[1]*Z[2]*exp(-n*T*(s-Z[1]))/((s-Z[1])*exp(Z[1]*n*T)*(Z[1]-Z[2])*c)+(exp(-Z[2]*n*T)*(s-Z[2])*exp(-n*T*(s-Z[2]))/(Z[1]-Z[2])+exp(-n*T*s)*(-1+Heaviside(-n*T)))/c-Z[2]*Z[1]*exp(-n*T*(s-Z[2]))/((s-Z[2])*exp(Z[2]*n*T)*(Z[1]-Z[2])*c)+(e^(-n*T*s)-e^(-(n+1)*T*s))/c

((s-Z[1])*exp(-n*T*(s-Z[1]))*exp(-Z[1]*n*T)/(Z[2]-Z[1])+exp(-n*T*s)*(-1+Heaviside(-n*T)))/c+Z[1]*Z[2]*exp(-n*T*(s-Z[1]))/((s-Z[1])*exp(Z[1]*n*T)*(Z[1]-Z[2])*c)+(exp(-Z[2]*n*T)*(s-Z[2])*exp(-n*T*(s-Z[2]))/(Z[1]-Z[2])+exp(-n*T*s)*(-1+Heaviside(-n*T)))/c-Z[2]*Z[1]*exp(-n*T*(s-Z[2]))/((s-Z[2])*exp(Z[2]*n*T)*(Z[1]-Z[2])*c)+(e^(-n*T*s)-e^(-(n+1)*T*s))/c

 (1)

Q[1] = Q[2]"(->)"true"(->)"true"(->)"true"(->)"true

Q[2] = ((s-Z[1])*exp(-n*T*(s-Z[1]))*exp(-Z[1]*n*T)/(Z[2]-Z[1])+exp(-n*T*s)*(-1+Heaviside(-n*T)))/c+Z[1]*Z[2]*exp(-n*T*s)/((s-Z[1])*(Z[1]-Z[2])*c)+(exp(-Z[2]*n*T)*(s-Z[2])*exp(-n*T*(s-Z[2]))/(Z[1]-Z[2])+exp(-n*T*s)*(-1+Heaviside(-n*T)))/c-Z[2]*Z[1]*exp(-n*T*s)/((s-Z[2])*(Z[1]-Z[2])*c)+(e^(-n*T*s)-e^(-T*s)*e^(-n*T*s))/c
"(->)"true
Q[2] = ((s-Z[1])*exp(-n*T*(s-Z[1]))*exp(-Z[1]*n*T)/(Z[2]-Z[1])+exp(-n*T*s)*(-1+Heaviside(-n*T)))/c+(exp(-Z[2]*n*T)*(s-Z[2])*exp(-n*T*(s-Z[2]))/(Z[1]-Z[2])+exp(-n*T*s)*(-1+Heaviside(-n*T)))/c+Z[1]*Z[2]*exp(-n*T*s)/((s-Z[1])*(Z[1]-Z[2])*c)-Z[2]*Z[1]*exp(-n*T*s)/((s-Z[2])*(Z[1]-Z[2])*c)+(e^(-n*T*s)-e^(-T*s)*e^(-n*T*s))/c
"(->)"true"(->)"true``

((s-Z[1])*exp(-n*T*(s-Z[1]))*exp(-Z[1]*n*T)/(Z[2]-Z[1])+exp(-n*T*s)*(-1+Heaviside(-n*T)))/c+(exp(-Z[2]*n*T)*(s-Z[2])*exp(-n*T*(s-Z[2]))/(Z[1]-Z[2])+exp(-n*T*s)*(-1+Heaviside(-n*T)))/c = (2*Heaviside(-n*T)-1)*exp(-n*T*s)/c
"(->)"true"(->)"true"(->)"true

Q[2] = (2*Heaviside(-n*T)-1)*exp(-n*T*s)/c+Z[1]*Z[2]*exp(-n*T*s)/((s-Z[1])*(Z[1]-Z[2])*c)-Z[2]*Z[1]*exp(-n*T*s)/((s-Z[2])*(Z[1]-Z[2])*c)+(e^(-n*T*s)-e^(-T*s)*e^(-n*T*s))/c
"(->)"false"(->)"false"(->)"false

``


Download inexplicable.mw

Can anyone explain the false return on the last line?  MAPLE seems to recognize the simplified expression on the next to last line, but when substituted into the expression for Q2 MAPLE does not seem to recognize the simplification.
Please Wait...