(C2) EQ1 : X = (V - U) s + U (D2) X = s (V - U) + U (C3) EQ2 : X = (Z - Y) t + Y (D3) X = t (Z - Y) + Y 1 1 1 1 1 1 (C4) EQ3 : (- - -) s + - = (- - -) t + - V U U Z Y Y 1 1 1 1 1 1 (D4) s (- - -) + - = t (- - -) + - V U U Z Y Y (C5) S1 : SOLVE([EQ1, EQ2, EQ3], [s, t, X]) 2 2 V (Y Z + U (- Z - Y) + U ) V (U Z - Y Z) + Y Z - U Y Z (D5) [[s = - -----------------------------, t = ----------------------------, 2 2 2 2 V (- Y Z - U ) + U Y Z + U V - Y Z + U V (Z - Y) + Y Z V (U (Z + Y) - Y Z) - U Y Z X = ---------------------------]] U V - Y Z (C6) X : FACTOR(RHS((S1 ) )) 1 3 V Y Z + U Y Z - U V Z - U V Y (D6) ----------------------------- Y Z - U V (C7) fX(Ua, Va, Ya, Za) := EV(X, [U = Ua, V = Va, Y = Ya, Z = Za]) (D7) fX(Ua, Va, Ya, Za) := EV(X, [U = Ua, V = Va, Y = Ya, Z = Za]) (C8) fX(U, V, Y, Z) V Y Z + U Y Z - U V Z - U V Y (D8) ----------------------------- Y Z - U V fX(P0, P1, P2, P3) - fX(P1, P4, P2, P5) (C9) HBbyHE : FACTOR(---------------------------------------) fX(P0, P5, P3, P4) - fX(P1, P4, P2, P5) (P2 - P1) (P0 P5 - P3 P4) (D9) ------------------------- (P2 P3 - P0 P1) (P5 - P4) (C10) fHBbyHE(P0a, P1a, P2a, P3a, P4a, P5a) := EV(HBbyHE, [P0a = P0, P1a = P1, P2a = P2, P3a = P3, P4a = P4, P5a = P5]) (D10) fHBbyHE(P0a, P1a, P2a, P3a, P4a, P5a) := EV(HBbyHE, [P0a = P0, P1a = P1, P2a = P2, P3a = P3, P4a = P4, P5a = P5]) (C11) fHBbyHE(P0, P1, P2, P3, P4, P5) (P2 - P1) (P0 P5 - P3 P4) (D11) ------------------------- (P2 P3 - P0 P1) (P5 - P4) 1 1 1 1 1 1 (C12) FACTOR(fHBbyHE(P0, P1, P2, P3, P4, P5) - fHBbyHE(--, --, --, --, --, --)) P0 P1 P2 P3 P4 P5 (D12) 0 (C13) A : fX(P1, P0, P5, P4) P1 P4 P5 + P0 P4 P5 - P0 P1 P5 - P0 P1 P4 (D13) ----------------------------------------- P4 P5 - P0 P1 (C14) C : fX(P4, P5, P2, P3) - P3 P4 P5 - P2 P4 P5 + P2 P3 P5 + P2 P3 P4 (D14) ------------------------------------------- P2 P3 - P4 P5 (C15) D : fX(P4, P3, P1, P2) - P2 P3 P4 - P1 P3 P4 + P1 P2 P4 + P1 P2 P3 (D15) ------------------------------------------- P1 P2 - P3 P4 (C16) F : fX(P5, P0, P2, P1) P1 P2 P5 - P0 P2 P5 - P0 P1 P5 + P0 P1 P2 (D16) ----------------------------------------- P1 P2 - P0 P5 1 1 1 1 (C17) Abar : fX(--, --, --, --) P1 P0 P5 P4 1 1 1 1 -------- + -------- - -------- - -------- P1 P4 P5 P0 P4 P5 P0 P1 P5 P0 P1 P4 (D17) ----------------------------------------- 1 1 ----- - ----- P4 P5 P0 P1 1 1 1 1 (C18) Cbar : fX(--, --, --, --) P4 P5 P2 P3 1 1 1 1 - -------- - -------- + -------- + -------- P3 P4 P5 P2 P4 P5 P2 P3 P5 P2 P3 P4 (D18) ------------------------------------------- 1 1 ----- - ----- P2 P3 P4 P5 1 1 1 1 (C19) Dbar : fX(--, --, --, --) P4 P3 P1 P2 1 1 1 1 - -------- - -------- + -------- + -------- P2 P3 P4 P1 P3 P4 P1 P2 P4 P1 P2 P3 (D19) ------------------------------------------- 1 1 ----- - ----- P1 P2 P3 P4 1 1 1 1 (C20) Fbar : fX(--, --, --, --) P5 P0 P2 P1 1 1 1 1 -------- - -------- - -------- + -------- P1 P2 P5 P0 P2 P5 P0 P1 P5 P0 P1 P2 (D20) ----------------------------------------- 1 1 ----- - ----- P1 P2 P0 P5 (C21) EQ4 : FACTOR((- (D - A) t - A + (F - C) s + C) (P3 P4 - P1 P2) (P0 P5 - P1 P2) (P4 P5 - P0 P1) (P4 P5 - P2 P3)) 3 3 2 3 3 3 3 (D21) - (P0 P2 P3 P4 P5 t - P0 P3 P4 P5 t - P0 P1 P2 P4 P5 t 2 3 2 2 3 2 2 3 - P0 P1 P2 P3 P4 P5 t + P0 P1 P3 P4 P5 t + P0 P1 P2 P4 P5 t 2 2 3 2 2 3 2 3 2 + P0 P1 P2 P4 P5 t - P0 P1 P2 P4 P5 t - P1 P2 P3 P4 P5 t 3 2 2 3 2 2 2 3 2 + P0 P1 P2 P3 P4 P5 t + P0 P1 P3 P4 P5 t + P1 P2 P4 P5 t 2 2 2 2 2 2 2 2 2 2 2 2 - P0 P2 P3 P4 P5 t + P0 P2 P3 P4 P5 t + P1 P2 P3 P4 P5 t 2 2 2 2 2 2 2 2 2 + P0 P1 P2 P3 P4 P5 t - P0 P1 P2 P3 P4 P5 t - P0 P1 P2 P3 P4 P5 t 2 2 2 2 3 2 2 2 2 2 2 2 - P0 P1 P3 P4 P5 t - P1 P2 P4 P5 t - P0 P1 P2 P4 P5 t 2 2 2 2 2 2 2 2 2 + P0 P1 P2 P3 P4 P5 t - P0 P1 P2 P3 P4 P5 t - P0 P1 P2 P3 P4 P5 t 2 2 2 2 2 2 3 2 2 - P0 P1 P2 P3 P4 P5 t + P0 P1 P2 P3 P4 P5 t + P0 P1 P2 P4 P5 t 2 2 2 2 2 3 3 2 2 + P0 P1 P2 P3 P5 t - P0 P1 P2 P3 P4 P5 t + P1 P2 P3 P4 P5 t 2 2 2 2 2 2 2 3 2 - P0 P1 P2 P3 P4 P5 t - P0 P1 P2 P3 P4 P5 t - P1 P2 P3 P4 P5 t 2 2 2 3 2 2 3 2 + P0 P1 P2 P3 P4 P5 t + P0 P1 P2 P3 P4 P5 t - P1 P2 P3 P4 P5 t 2 2 2 2 2 2 2 2 2 + P0 P1 P2 P3 P4 P5 t + P0 P1 P2 P3 P4 P5 t + P0 P1 P2 P3 P4 P5 t 3 3 2 3 3 2 + P1 P2 P3 P4 P5 t + P0 P1 P2 P3 P4 P5 t - P0 P1 P2 P3 P4 P5 t 2 2 2 2 3 3 2 2 2 2 - P0 P1 P2 P3 P5 t - P0 P1 P2 P3 P5 t + P0 P1 P2 P3 P4 t 2 3 2 3 2 2 3 3 2 - P0 P1 P2 P3 P4 t - P0 P1 P2 P3 P4 t + P0 P1 P2 P3 t 2 3 3 3 3 3 3 + P0 P3 P4 P5 s + P1 P2 P3 P4 P5 s - P0 P1 P3 P4 P5 s 2 2 3 2 3 2 2 2 3 - P0 P2 P3 P4 P5 s - P0 P1 P2 P3 P4 P5 s - P1 P2 P4 P5 s 2 2 3 2 3 2 3 2 + P0 P1 P2 P4 P5 s + P0 P1 P2 P3 P4 P5 s - P1 P2 P3 P4 P5 s 2 3 2 2 3 2 3 2 - P0 P2 P3 P4 P5 s - P1 P2 P3 P4 P5 s + P0 P1 P2 P3 P4 P5 s 2 2 2 2 2 2 2 2 2 2 2 + P0 P2 P3 P4 P5 s + P0 P1 P2 P3 P4 P5 s - P0 P1 P3 P4 P5 s 2 2 2 2 2 2 2 2 2 2 + P1 P2 P3 P4 P5 s + P0 P1 P2 P3 P4 P5 s - P0 P1 P2 P3 P4 P5 s 2 2 2 2 2 3 2 2 2 2 2 2 + P0 P1 P3 P4 P5 s + P1 P2 P4 P5 s - P0 P1 P2 P4 P5 s 2 2 2 3 2 2 2 2 + P0 P1 P2 P3 P4 P5 s - P0 P1 P2 P3 P4 P5 s - P0 P1 P2 P3 P4 P5 s 2 2 2 3 2 2 2 3 2 + P0 P1 P2 P3 P4 P5 s + P0 P1 P2 P4 P5 s - P0 P1 P2 P4 P5 s 2 2 2 2 2 2 3 2 2 2 - P0 P1 P2 P3 P5 s + P1 P2 P3 P4 P5 s - P0 P1 P2 P3 P4 P5 s 2 2 2 2 2 2 2 3 2 + P0 P1 P2 P3 P4 P5 s + P0 P1 P2 P3 P4 P5 s - P1 P2 P3 P4 P5 s 2 2 2 2 2 2 2 2 2 + P0 P1 P2 P3 P4 P5 s - P0 P1 P2 P3 P4 P5 s - P0 P1 P2 P3 P4 P5 s 2 2 2 2 3 3 2 - P0 P1 P2 P3 P4 P5 s + P0 P1 P2 P3 P4 P5 s - P0 P1 P2 P3 P4 P5 s 2 2 2 3 3 2 3 2 - P0 P1 P2 P3 P4 P5 s - P0 P1 P2 P4 P5 s + P0 P1 P2 P4 P5 s 2 2 3 2 3 2 2 2 2 2 + P0 P1 P2 P3 P5 s + P0 P1 P2 P3 P5 s - P0 P1 P2 P3 P4 s 2 2 2 2 3 3 2 3 3 + P0 P1 P2 P3 P4 s + P0 P1 P2 P3 P4 s - P0 P1 P2 P3 s 2 3 3 3 3 3 3 2 3 3 - P0 P3 P4 P5 - P0 P2 P3 P4 P5 + P0 P1 P3 P4 P5 + P0 P3 P4 P5 2 2 3 2 3 2 2 3 + P0 P2 P3 P4 P5 + P0 P1 P2 P3 P4 P5 - P0 P1 P3 P4 P5 2 2 3 2 2 3 2 2 3 + P0 P1 P2 P4 P5 - P0 P1 P2 P4 P5 - P0 P1 P2 P4 P5 2 3 2 2 3 2 3 2 - P0 P1 P2 P3 P4 P5 + P0 P1 P2 P4 P5 + P1 P2 P3 P4 P5 2 3 2 2 3 2 2 3 2 + P0 P2 P3 P4 P5 + P1 P2 P3 P4 P5 - P1 P2 P3 P4 P5 3 2 2 3 2 2 2 2 2 - P0 P1 P2 P3 P4 P5 - P0 P1 P3 P4 P5 - P1 P2 P3 P4 P5 2 2 2 2 2 2 2 2 2 2 2 - P0 P1 P2 P3 P4 P5 - P0 P2 P3 P4 P5 + P0 P1 P3 P4 P5 2 2 2 2 2 2 2 2 2 2 - P1 P2 P3 P4 P5 - P0 P1 P2 P3 P4 P5 + P0 P1 P2 P3 P4 P5 2 2 2 2 3 2 2 3 2 2 2 + P0 P1 P2 P3 P4 P5 - P1 P2 P4 P5 + P1 P2 P4 P5 2 2 2 2 2 2 2 2 2 3 2 + P0 P1 P2 P4 P5 + P0 P1 P2 P4 P5 + P1 P2 P3 P4 P5 2 2 2 2 2 2 2 2 2 + P0 P1 P2 P3 P4 P5 + P0 P1 P2 P3 P4 P5 - P0 P1 P2 P3 P4 P5 3 2 2 2 2 2 2 2 2 3 - P0 P1 P2 P4 P5 - P0 P1 P2 P4 P5 - P1 P2 P3 P4 P5 2 3 2 2 2 2 2 2 2 + P0 P1 P2 P3 P4 P5 + P1 P2 P3 P4 P5 + P0 P1 P2 P3 P4 P5 2 2 2 2 3 2 2 2 2 - P0 P1 P2 P3 P4 P5 + P1 P2 P3 P4 P5 - P0 P1 P2 P3 P4 P5 3 2 2 3 3 2 3 - P0 P1 P2 P4 P5 - P1 P2 P3 P4 P5 - P0 P1 P2 P3 P4 P5 3 2 3 3 + P0 P1 P2 P3 P4 P5 + P0 P1 P2 P4 P5) (C22) EQ5 : FACTOR((- (Dbar - Abar) t - Abar + (Fbar - Cbar) s + Cbar) (P3 P4 - P1 P2) (P0 P5 - P1 P2) (P4 P5 - P0 P1) (P4 P5 - P2 P3)) 3 3 2 3 2 3 3 (D22) - (P0 P4 P5 t - P0 P2 P4 P5 t - P0 P1 P4 P5 t + P0 P1 P2 P4 P5 t 3 2 3 2 2 2 2 2 - P0 P3 P4 P5 t - P1 P2 P4 P5 t - P0 P2 P3 P4 P5 t + P0 P1 P3 P4 P5 t 2 2 2 2 2 2 2 2 2 2 2 + P0 P3 P4 P5 t + P1 P2 P4 P5 t + P1 P2 P4 P5 t + P0 P1 P2 P4 P5 t 2 2 2 2 2 2 - P0 P1 P4 P5 t + P0 P2 P3 P4 P5 t + P0 P1 P2 P3 P4 P5 t 2 2 2 2 2 2 2 - P0 P1 P3 P4 P5 t - P1 P2 P4 P5 t - P0 P1 P2 P4 P5 t 2 2 2 2 2 3 + P0 P1 P4 P5 t - P0 P1 P2 P3 P5 t + P1 P2 P3 P4 P5 t 2 2 2 2 2 2 + P0 P2 P3 P4 P5 t + P1 P2 P3 P4 P5 t - P1 P2 P3 P4 P5 t 2 2 2 2 2 2 - P0 P1 P2 P3 P4 P5 t - P1 P2 P4 P5 t + P0 P1 P2 P4 P5 t 2 2 2 3 - P0 P1 P2 P3 P4 P5 t - P0 P2 P3 P4 P5 t - P1 P2 P3 P4 P5 t 2 2 2 2 - P1 P2 P3 P4 P5 t - P0 P1 P2 P3 P4 P5 t + P0 P1 P2 P3 P4 P5 t 2 3 2 3 + P0 P1 P2 P3 P4 P5 t + P1 P2 P4 P5 t - P0 P1 P2 P4 P5 t 2 2 2 3 2 2 + P0 P1 P2 P3 P5 t + P1 P2 P3 P5 t + P0 P1 P2 P3 P5 t 2 2 2 2 2 2 2 2 - P0 P1 P2 P3 P5 t - P1 P2 P3 P4 t + P1 P2 P3 P4 t 2 2 2 3 2 2 2 2 2 + P0 P1 P2 P3 P4 t + P1 P2 P3 P4 t - P0 P1 P2 P3 P4 t - P0 P1 P2 P3 t 3 3 3 2 3 3 2 3 - P1 P2 P3 t + P0 P1 P2 P3 t - P3 P4 P5 s + P0 P3 P4 P5 s 2 3 3 3 2 3 2 + P1 P2 P4 P5 s - P0 P1 P2 P4 P5 s + P2 P3 P4 P5 s + P1 P3 P4 P5 s 2 2 2 2 2 2 2 2 + P2 P3 P4 P5 s - P0 P3 P4 P5 s - P1 P2 P3 P4 P5 s 2 2 2 2 2 2 2 - P0 P2 P3 P4 P5 s + P0 P1 P3 P4 P5 s - P1 P2 P4 P5 s 2 2 2 2 2 2 - P1 P2 P4 P5 s - P1 P2 P3 P4 P5 s + P0 P1 P2 P3 P4 P5 s 2 2 2 2 2 2 2 - P0 P1 P3 P4 P5 s + P1 P2 P4 P5 s + P0 P1 P2 P4 P5 s 2 2 2 2 2 3 2 2 2 - P0 P1 P2 P4 P5 s + P0 P1 P2 P5 s - P1 P2 P3 P4 P5 s - P2 P3 P4 P5 s 2 2 2 2 2 + P0 P2 P3 P4 P5 s + P1 P2 P3 P4 P5 s - P0 P1 P2 P3 P4 P5 s 2 2 2 2 2 2 - P0 P1 P3 P4 P5 s + P1 P2 P4 P5 s - P0 P1 P2 P3 P4 P5 s 2 2 3 2 + P0 P1 P3 P4 P5 s + P1 P2 P3 P4 P5 s - P0 P1 P2 P3 P4 P5 s 2 2 2 3 + P0 P1 P2 P3 P4 P5 s + P0 P1 P2 P3 P4 P5 s - P1 P2 P4 P5 s 2 2 3 2 2 + P0 P1 P2 P4 P5 s + P0 P1 P2 P4 P5 s + P0 P1 P2 P3 P5 s 2 2 3 2 2 2 2 2 2 - P0 P1 P2 P3 P5 s - P0 P1 P2 P5 s - P0 P1 P2 P5 s + P0 P1 P2 P3 P4 s 2 2 2 2 2 2 + P0 P1 P2 P3 P4 s - P0 P1 P2 P3 P4 s - P0 P1 P2 P3 P4 s 3 2 2 3 2 2 2 3 3 - P0 P1 P2 P4 s - P0 P1 P2 P3 s + P0 P1 P2 P3 s + P0 P1 P2 s 2 2 2 2 2 2 2 2 2 2 + P0 P3 P4 P5 + P0 P2 P3 P4 P5 - P0 P1 P3 P4 P5 - P0 P3 P4 P5 2 2 2 2 2 2 2 - P0 P2 P3 P4 P5 - P0 P1 P2 P3 P4 P5 + P0 P1 P3 P4 P5 - P0 P1 P2 P4 P5 2 2 2 2 2 2 2 2 2 + P0 P1 P2 P4 P5 + P0 P1 P2 P4 P5 + P0 P1 P2 P3 P5 - P0 P1 P2 P5 2 2 2 2 2 2 2 2 - P1 P2 P3 P4 P5 - P0 P2 P3 P4 P5 - P1 P2 P3 P4 P5 + P1 P2 P3 P4 P5 2 2 2 2 2 + P0 P1 P2 P3 P4 P5 + P0 P1 P3 P4 P5 + P1 P2 P3 P4 P5 2 2 2 2 2 2 2 + P0 P1 P2 P3 P4 P5 + P0 P2 P3 P4 P5 - P0 P1 P3 P4 P5 + P1 P2 P3 P4 P5 2 2 2 2 3 + P0 P1 P2 P3 P4 P5 - P0 P1 P2 P3 P4 P5 - P0 P1 P2 P3 P4 P5 + P1 P2 P4 P5 3 2 2 2 2 2 2 3 - P1 P2 P4 P5 - P0 P1 P2 P4 P5 - P0 P1 P2 P4 P5 - P1 P2 P3 P5 2 2 2 2 2 2 3 2 - P0 P1 P2 P3 P5 - P0 P1 P2 P3 P5 + P0 P1 P2 P3 P5 + P0 P1 P2 P5 2 2 2 2 2 2 2 2 2 2 2 + P0 P1 P2 P5 + P1 P2 P3 P4 - P0 P1 P2 P3 P4 - P1 P2 P3 P4 2 2 2 2 2 3 2 2 - P0 P1 P2 P3 P4 + P0 P1 P2 P3 P4 - P1 P2 P3 P4 + P0 P1 P2 P3 P4 3 2 3 3 2 3 3 2 3 3 + P0 P1 P2 P4 + P1 P2 P3 + P0 P1 P2 P3 - P0 P1 P2 P3 - P0 P1 P2 ) (C23) A1s : FACTOR(COEFF(EV(EQ4), s, 1)) (D23) - (P3 P4 - P1 P2) (P5 - P2) (P4 P5 - P0 P1) (P0 P3 P4 P5 + P1 P2 P4 P5 - P0 P1 P4 P5 - P0 P2 P3 P5 - P1 P2 P3 P4 + P0 P1 P2 P3) (C24) A1t : FACTOR(COEFF(EV(EQ4), t, 1)) (D24) - (P4 - P1) (P0 P5 - P1 P2) (P4 P5 - P2 P3) (P2 P3 P4 P5 - P0 P3 P4 P5 - P1 P2 P4 P5 + P0 P1 P2 P5 + P0 P1 P3 P4 - P0 P1 P2 P3) (C25) B11 : - FACTOR(COEFF(EV(EQ4), s, 0)) 3 2 3 2 3 2 (D25) (P0 P5 - P1 P2) (P2 P3 P4 P5 t - P0 P3 P4 P5 t - P1 P2 P4 P5 t 2 2 2 2 2 2 2 - P1 P2 P3 P4 P5 t + P0 P1 P3 P4 P5 t + P1 P2 P4 P5 t 2 2 2 2 3 + P0 P1 P2 P4 P5 t - P0 P1 P2 P4 P5 t + P0 P1 P3 P4 P5 t 2 2 2 2 2 2 2 - P2 P3 P4 P5 t + P0 P2 P3 P4 P5 t + P1 P2 P3 P4 P5 t 2 2 2 2 2 - P0 P1 P2 P3 P4 P5 t - P0 P1 P3 P4 P5 t + P1 P2 P3 P4 P5 t 2 2 2 2 - P0 P1 P2 P3 P4 P5 t - P1 P2 P3 P4 P5 t - P0 P1 P2 P3 P4 P5 t 2 2 2 2 2 + P0 P1 P2 P3 P4 P5 t + P0 P1 P2 P3 P5 t - P0 P1 P2 P3 P4 t 2 2 2 2 2 2 2 2 3 2 + P0 P1 P2 P3 P4 t + P0 P1 P2 P3 P4 t - P0 P1 P2 P3 t - P3 P4 P5 3 2 3 2 3 2 2 2 2 - P2 P3 P4 P5 + P1 P3 P4 P5 + P0 P3 P4 P5 + P2 P3 P4 P5 2 2 2 2 2 2 2 2 2 2 + P1 P2 P3 P4 P5 - P0 P1 P3 P4 P5 + P1 P2 P4 P5 - P1 P2 P4 P5 2 2 2 2 2 2 2 3 - P0 P1 P2 P4 P5 - P1 P2 P3 P4 P5 + P0 P1 P2 P4 P5 + P2 P3 P4 P5 3 2 2 2 2 2 2 - P0 P1 P3 P4 P5 - P1 P2 P3 P4 P5 - P0 P2 P3 P4 P5 + P0 P1 P3 P4 P5 2 2 2 2 2 2 2 - P1 P2 P3 P4 P5 + P0 P1 P2 P3 P4 P5 + P0 P1 P2 P4 P5 + P1 P2 P3 P4 P5 2 2 2 2 + P0 P1 P2 P3 P4 P5 - P0 P1 P2 P3 P4 P5 - P0 P1 P2 P4 P5) (C26) A2s : FACTOR(COEFF(EV(EQ5), s, 1)) (D26) (P3 P4 - P1 P2) (P5 - P2) (P4 P5 - P0 P1) (P4 P5 - P0 P5 - P1 P4 - P2 P3 + P0 P3 + P1 P2) (C27) A2t : FACTOR(COEFF(EV(EQ5), t, 1)) (D27) - (P4 - P1) (P0 P5 - P1 P2) (P4 P5 - P2 P3) (P4 P5 - P2 P5 - P3 P4 + P0 P3 + P1 P2 - P0 P1) (C28) B12 : - FACTOR(COEFF(EV(EQ5), s, 0)) 3 2 2 2 2 2 2 (D28) (P0 P5 - P1 P2) (P4 P5 t - P2 P4 P5 t - P1 P4 P5 t + P1 P2 P4 P5 t 3 2 2 2 - P3 P4 P5 t - P2 P3 P4 P5 t + P1 P3 P4 P5 t + P0 P3 P4 P5 t 2 2 2 + P1 P2 P4 P5 t - P0 P1 P4 P5 t + P2 P3 P4 P5 t + P1 P2 P3 P4 P5 t 2 2 2 - P0 P1 P3 P4 P5 t - P1 P2 P4 P5 t + P0 P1 P4 P5 t - P1 P2 P3 P5 t 2 2 2 2 2 + P2 P3 P4 t - P1 P2 P3 P4 t - P0 P2 P3 P4 t - P1 P2 P3 P4 t 2 2 2 2 + P0 P1 P2 P3 P4 t + P0 P1 P2 P3 t + P1 P2 P3 t - P0 P1 P2 P3 t 2 2 2 2 2 2 + P3 P4 P5 + P2 P3 P4 P5 - P1 P3 P4 P5 - P0 P3 P4 P5 - P2 P3 P4 P5 2 2 - P1 P2 P3 P4 P5 + P0 P1 P3 P4 P5 - P1 P2 P4 P5 + P1 P2 P4 P5 2 2 2 2 2 + P0 P1 P2 P4 P5 + P1 P2 P3 P5 - P0 P1 P2 P5 - P2 P3 P4 + P0 P1 P3 P4 2 2 2 2 + P1 P2 P3 P4 + P0 P2 P3 P4 - P0 P1 P3 P4 + P1 P2 P3 P4 - P0 P1 P2 P3 P4 2 2 2 2 2 2 2 - P0 P1 P2 P4 - P1 P2 P3 - P0 P1 P2 P3 + P0 P1 P2 P3 + P0 P1 P2 ) FACTOR(B11 A2t - B12 A1t) (C29) s : ------------------------- FACTOR(A1s A2t - A2s A1t) (D29) (P4 - P2) (P5 - P3) (P0 P5 - P1 P2) (P3 P4 P5 + P2 P4 P5 - P1 P4 P5 - P0 P4 P5 - P2 P3 P5 + P0 P1 P5 - P2 P3 P4 + P0 P1 P4 + P1 P2 P3 + P0 P2 P3 - P0 P1 P3 - P0 P1 P2) 2 2 2 2 2 2 2 /((P5 - P2) (P2 P3 P4 P5 - P0 P1 P4 P5 - 3 P0 P2 P3 P4 P5 + P0 P3 P4 P5 2 2 2 2 2 2 2 - P1 P2 P4 P5 + 3 P0 P1 P2 P4 P5 + P0 P2 P3 P5 - P0 P1 P2 P5 2 2 2 2 2 2 - P0 P3 P4 P5 - 3 P1 P2 P3 P4 P5 + 3 P0 P1 P3 P4 P5 + P1 P2 P4 P5 2 2 2 2 2 - P2 P3 P4 P5 + 3 P0 P2 P3 P4 P5 + 3 P1 P2 P3 P4 P5 - 3 P0 P1 P3 P4 P5 2 2 2 2 2 2 - 3 P0 P1 P2 P4 P5 + P0 P1 P4 P5 - P0 P2 P3 P5 - 3 P0 P1 P2 P3 P5 2 2 2 2 2 2 2 + 3 P0 P1 P2 P3 P5 + P0 P1 P2 P5 + P1 P2 P3 P4 - P0 P1 P3 P4 2 2 2 2 2 2 - 3 P0 P1 P2 P3 P4 + P0 P1 P3 P4 - P1 P2 P3 P4 + 3 P0 P1 P2 P3 P4 2 2 2 2 + P0 P1 P2 P3 - P0 P1 P2 P3)) (C30) M : FACTOR((F - C) s + C) 2 2 2 2 2 2 2 2 2 2 2 (D30) (P2 P3 P4 P5 - P0 P3 P4 P5 + P2 P3 P4 P5 - P1 P2 P3 P4 P5 2 2 2 2 2 2 2 2 2 2 - P0 P2 P3 P4 P5 + P0 P1 P3 P4 P5 + P0 P3 P4 P5 - P1 P2 P4 P5 2 2 2 2 2 2 2 2 2 2 2 + P1 P2 P4 P5 + P0 P1 P2 P4 P5 - P0 P1 P4 P5 - P0 P1 P4 P5 2 2 2 2 2 2 2 2 2 2 - P2 P3 P4 P5 + P0 P3 P4 P5 + P1 P2 P3 P4 P5 - P0 P2 P3 P4 P5 2 2 2 2 2 2 2 2 2 - P0 P2 P3 P4 P5 - P0 P1 P3 P4 P5 - P1 P2 P4 P5 + P0 P1 P2 P4 P5 2 2 2 2 2 2 2 2 2 2 2 + P0 P1 P2 P4 P5 + P0 P1 P4 P5 + P0 P2 P3 P5 - P0 P2 P3 P5 2 2 2 2 2 2 2 2 2 2 - P0 P1 P2 P3 P5 + P0 P2 P3 P5 + P0 P1 P2 P3 P5 + P0 P1 P2 P5 2 2 2 2 2 2 2 2 2 2 2 - P0 P1 P2 P5 - P0 P1 P2 P5 - P2 P3 P4 P5 - P1 P2 P3 P4 P5 2 2 2 2 2 2 2 2 2 + P0 P2 P3 P4 P5 + P0 P1 P3 P4 P5 - P0 P3 P4 P5 - P1 P2 P3 P4 P5 2 2 2 2 2 2 2 2 2 2 + P0 P1 P3 P4 P5 + P1 P2 P4 P5 - P0 P1 P2 P4 P5 + P0 P1 P4 P5 2 2 2 2 2 2 2 2 + P1 P2 P3 P4 P5 + P0 P2 P3 P4 P5 + P0 P2 P3 P4 P5 - P0 P1 P3 P4 P5 2 2 2 2 2 2 2 2 + P1 P2 P3 P4 P5 - P0 P1 P3 P4 P5 - P0 P1 P2 P4 P5 - P0 P1 P2 P4 P5 2 2 2 2 2 2 2 2 2 - P0 P1 P2 P3 P5 - P0 P2 P3 P5 + P0 P1 P2 P3 P5 - P0 P1 P2 P3 P5 2 2 2 2 2 2 2 2 2 2 2 + P0 P1 P2 P3 P5 + P0 P1 P2 P5 + P1 P2 P3 P4 + P1 P2 P3 P4 2 2 2 2 2 2 2 2 2 2 2 - P0 P1 P2 P3 P4 - P0 P1 P3 P4 + P0 P1 P3 P4 - P1 P2 P3 P4 2 2 2 2 2 2 2 2 2 2 + P0 P1 P2 P3 P4 - P0 P1 P3 P4 - P1 P2 P3 P4 - P0 P1 P2 P3 P4 2 2 2 2 2 2 2 2 2 - P0 P1 P2 P3 P4 + P0 P1 P3 P4 + P0 P1 P2 P3 P4 + P0 P1 P2 P3 P4 2 2 2 2 2 2 2 2 2 2 2 2 + P0 P1 P2 P3 + P0 P1 P2 P3 - P0 P1 P2 P3 - P0 P1 P2 P3) 2 2 2 2 2 2 2 /(P2 P3 P4 P5 - P0 P1 P4 P5 - 3 P0 P2 P3 P4 P5 + P0 P3 P4 P5 2 2 2 2 2 2 2 - P1 P2 P4 P5 + 3 P0 P1 P2 P4 P5 + P0 P2 P3 P5 - P0 P1 P2 P5 2 2 2 2 2 2 - P0 P3 P4 P5 - 3 P1 P2 P3 P4 P5 + 3 P0 P1 P3 P4 P5 + P1 P2 P4 P5 2 2 2 2 2 - P2 P3 P4 P5 + 3 P0 P2 P3 P4 P5 + 3 P1 P2 P3 P4 P5 - 3 P0 P1 P3 P4 P5 2 2 2 2 2 2 - 3 P0 P1 P2 P4 P5 + P0 P1 P4 P5 - P0 P2 P3 P5 - 3 P0 P1 P2 P3 P5 2 2 2 2 2 2 2 + 3 P0 P1 P2 P3 P5 + P0 P1 P2 P5 + P1 P2 P3 P4 - P0 P1 P3 P4 2 2 2 2 2 2 - 3 P0 P1 P2 P3 P4 + P0 P1 P3 P4 - P1 P2 P3 P4 + 3 P0 P1 P2 P3 P4 2 2 2 2 + P0 P1 P2 P3 - P0 P1 P2 P3) 2 2 2 2 (C31) FACTOR(- NUM(M) + (- (P5 + P3 + P1) P1 P3 P5 + P5 P1 + P3 P5 2 2 + P1 P3 ) (P0 - P2) (P2 - P4) (P4 - P0) 2 2 2 2 2 2 + (- (P4 + P2 + P0) P0 P2 P4 + P0 P2 + P4 P0 + P2 P4 ) (P1 - P3) (P3 - P5) (P5 - P1)) (D31) 0 2 2 2 (C32) FACTOR(- DENOM(M) - (- 3 P1 P3 P5 + P5 P1 + P3 P5 + P1 P3) 2 2 2 (- 3 P0 P2 P4 + P0 P2 + P4 P0 + P2 P4) 2 2 2 + (- 3 P0 P2 P4 + P0 P2 + P4 P0 + P2 P4 ) 2 2 2 (- 3 P1 P3 P5 + P5 P1 + P3 P5 + P1 P3 )) (D32) 0