Lines Matching refs:holds
1777 This finds the triple U1/U2/U3 using the Extended Euclidean algorithm such that the following equation holds.