euclid ?- solve(A,T1,T2,Tf,D,Umax,Acc).
 
[D,Acc,Umax,Tf,T1,A1,T2]:reals
A={[cc(0,T1):Acc//A1,oc(T2,Tf): -Acc//A1]}
T2=T1
0<T1
Acc*T1^2/2<=0.5* (Acc*T1^2)
D=Acc*T1^2
Tf=2*T1
Umax=Acc*T1
 
More (y/n) y
 
[D,Acc,Umax,Tf,T1,A1,T2]:reals
A={[cc(0,T1):Acc//A1,oc(T1,T2):0//A1,oc(T2,Tf): -Acc//A1]}
T1\=T2
0<T1
T1<T2
Acc*T1*T2<2* (Acc*T1^2/2)
D=Acc*T1*T2
Tf=T1+T2
 
More (y/n) y

*** No ***