euclid ?- solve_problem(H,Hi,Sl,Ri,Ro,Ho,G,DVi,Hfi,Hfo).
 
[F1,Hi,Sl,Ri,Ro,Ho,G,E1,D1,C1,B1,A1]:reals
DVi={[cc(0,E1):sqrt(-F1+Hi)/4-Sl*sqrt((-F1+Hi)*Ri^4*pi^2/ (Sl^2*E1^2))/ (4*Ri^2*pi)*C1//C1,oo(E1,infinity):0//B1]}
Hfi={[cc(0,E1):Sl*sqrt((-F1+Hi)*Ri^4*pi^2/ (Sl^2*E1^2))/2* (sqrt(-F1+Hi)/4-Sl*sqrt((-F1+Hi)*Ri^4*pi^2/ (Sl^2*E1^2))/ (4*Ri^2*pi)*D1)//D1,oo(E1,infinity):F1//B1]}
Hfo={[cc(0,E1):A1* ((-C1^2* (Sl*sqrt((-F1+Hi)*Ri^4*pi^2/ (Sl^2*E1^2))/ (4*Ri^2*pi)))/2+C1* (sqrt(-F1+Hi)/4)+0)//C1,oo(E1,infinity):A1* (0+E1* (2*sqrt(-F1+Hi)-Sl*E1*sqrt((-F1+Hi)*Ri^4*pi^2/ (Sl^2*E1^2))/ (Ri^2*pi))/8)//B1]}
0<=E1
E1<infinity
F1<Hi
G= (-F1+Hi)*Ri^4*pi^2/ (8*Sl^2*E1^2)
Ro= -sqrt(1+Ri^2*A1*pi)/ (sqrt(A1)*sqrt(pi))
 
More (y/n) y
 
[F1,Hi,Sl,Ri,Ro,Ho,G,E1,D1,C1,B1,A1]:reals
DVi={[cc(0,E1):sqrt(-F1+Hi)/4-Sl*sqrt((-F1+Hi)*Ri^4*pi^2/ (Sl^2*E1^2))/ (4*Ri^2*pi)*C1//C1,oo(E1,infinity):0//B1]}
Hfi={[cc(0,E1):Sl*sqrt((-F1+Hi)*Ri^4*pi^2/ (Sl^2*E1^2))/2* (sqrt(-F1+Hi)/4-Sl*sqrt((-F1+Hi)*Ri^4*pi^2/ (Sl^2*E1^2))/ (4*Ri^2*pi)*D1)//D1,oo(E1,infinity):F1//B1]}
Hfo={[cc(0,E1):A1* ((-C1^2* (Sl*sqrt((-F1+Hi)*Ri^4*pi^2/ (Sl^2*E1^2))/ (4*Ri^2*pi)))/2+C1* (sqrt(-F1+Hi)/4)+0)//C1,oo(E1,infinity):A1* (0+E1* (2*sqrt(-F1+Hi)-Sl*E1*sqrt((-F1+Hi)*Ri^4*pi^2/ (Sl^2*E1^2))/ (Ri^2*pi))/8)//B1]}
0<=E1
E1<infinity
F1<Hi
G= (-F1+Hi)*Ri^4*pi^2/ (8*Sl^2*E1^2)
Ro=sqrt(1+Ri^2*A1*pi)/ (sqrt(A1)*sqrt(pi))
 
More (y/n) y
 
*** No ***