Lines Matching refs:s1
194 list($u1, $s1) = $p;
197 if (!$s1->equals($s2)) {
204 $r = $s2->subtract($s1);
212 $s1->multiply($h3)
226 list($u1, $s1, $z1) = $p;
234 if (!$s1->equals($s2)) {
241 $r = $s2->subtract($s1);
249 $s1->multiply($h3)
270 $s1 = $y1->multiply($z22->multiply($z2));
273 if (!$s1->equals($s2)) {
280 $r = $s2->subtract($s1);
288 $s1->multiply($h3)