/ 1 for Or(And(a = 0, b = 0), And(a = 0, a = -I*b, b = 0), And(a = 0, a = I*b, b = 0), And(a = 0, a = -I*b, a = I*b, b = 0))
|
| I*b I*b I*b
| cos(b)*e e *sin(b) I*e *sin(b)
| ----------- + ----------- - ------------- for Or(And(a = 0, a = -I*b), And(a = -I*b, a = I*b), And(a = -I*b, b = 0), And(a = 0, a = -I*b, a = I*b), And(a = -I*b, a = I*b, b = 0), a = -I*b)
| 2 2*b 2
|
| -I*b -I*b -I*b
⎩⎨⎧1−2ieibsin(b)+2eibcos(b)+2beibsin(b)2ie−ibsin(b)+2e−ibcos(b)+2be−ibsin(b)−a2ea+b2eaacos(b)+a2+b2a+a2ea+b2eabsin(b)for(a=0∧b=0)∨(a=0∧a=−ib∧b=0)∨(a=0∧a=ib∧b=0)∨(a=0∧a=−ib∧a=ib∧b=0)for(a=0∧a=−ib)∨(a=−ib∧a=ib)∨(a=−ib∧b=0)∨(a=0∧a=−ib∧a=ib)∨(a=−ib∧a=ib∧b=0)∨a=−ibfor(a=0∧a=ib)∨(a=ib∧b=0)∨a=ibotherwise
=
/ 1 for Or(And(a = 0, b = 0), And(a = 0, a = -I*b, b = 0), And(a = 0, a = I*b, b = 0), And(a = 0, a = -I*b, a = I*b, b = 0))
|
| I*b I*b I*b
| cos(b)*e e *sin(b) I*e *sin(b)
| ----------- + ----------- - ------------- for Or(And(a = 0, a = -I*b), And(a = -I*b, a = I*b), And(a = -I*b, b = 0), And(a = 0, a = -I*b, a = I*b), And(a = -I*b, a = I*b, b = 0), a = -I*b)
| 2 2*b 2
|
| -I*b -I*b -I*b
⎩⎨⎧1−2ieibsin(b)+2eibcos(b)+2beibsin(b)2ie−ibsin(b)+2e−ibcos(b)+2be−ibsin(b)−a2ea+b2eaacos(b)+a2+b2a+a2ea+b2eabsin(b)for(a=0∧b=0)∨(a=0∧a=−ib∧b=0)∨(a=0∧a=ib∧b=0)∨(a=0∧a=−ib∧a=ib∧b=0)for(a=0∧a=−ib)∨(a=−ib∧a=ib)∨(a=−ib∧b=0)∨(a=0∧a=−ib∧a=ib)∨(a=−ib∧a=ib∧b=0)∨a=−ibfor(a=0∧a=ib)∨(a=ib∧b=0)∨a=ibotherwise
Piecewise((1, ((a = 0)∧(b = 0))∨((a = 0)∧(b = 0)∧(a = i*b))∨((a = 0)∧(b = 0)∧(a = -i*b))∨((a = 0)∧(b = 0)∧(a = i*b)∧(a = -i*b))), (cos(b)*exp(i*b)/2 + exp(i*b)*sin(b)/(2*b) - i*exp(i*b)*sin(b)/2, (a = -i*b)∨((a = 0)∧(a = -i*b))∨((b = 0)∧(a = -i*b))∨((a = i*b)∧(a = -i*b))∨((a = 0)∧(a = i*b)∧(a = -i*b))∨((b = 0)∧(a = i*b)∧(a = -i*b))), (cos(b)*exp(-i*b)/2 + i*exp(-i*b)*sin(b)/2 + exp(-i*b)*sin(b)/(2*b), (a = i*b)∨((a = 0)∧(a = i*b))∨((b = 0)∧(a = i*b))), (a/(a^2 + b^2) + b*sin(b)/(a^2*exp(a) + b^2*exp(a)) - a*cos(b)/(a^2*exp(a) + b^2*exp(a)), True))