219     PetscInt mid = lo + (hi - lo) / 2;  in PetscFindReal()  local
220 …] <= t[mid] && t[mid] <= t[hi - 1], PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Input array was not sor…  in PetscFindReal()
221     if (key < t[mid]) hi = mid;  in PetscFindReal()
222     else lo = mid;  in PetscFindReal()
281   PetscInt    i, mid, last, itmp, j, first;  in PetscSortSplit()  local
291     mid    = first;  in PetscSortSplit()
292     d      = a[mid];  in PetscSortSplit()
298         ++mid;  in PetscSortSplit()
300         tmp      = a[mid];  in PetscSortSplit()
301         itmp     = idx[mid];  in PetscSortSplit()
302         a[mid]   = a[j];  in PetscSortSplit()
303         idx[mid] = idx[j];  in PetscSortSplit()
310     tmp        = a[mid];  in PetscSortSplit()
311     itmp       = idx[mid];  in PetscSortSplit()
312     a[mid]     = a[first];  in PetscSortSplit()
313     idx[mid]   = idx[first];  in PetscSortSplit()
318     if (mid == ncut) break;  in PetscSortSplit()
319     else if (mid > ncut) last = mid - 1;  in PetscSortSplit()
320     else first = mid + 1;  in PetscSortSplit()
346   PetscInt  i, mid, last, itmp, j, first;  in PetscSortSplitReal()  local
356     mid    = first;  in PetscSortSplitReal()
357     d      = a[mid];  in PetscSortSplitReal()
363         ++mid;  in PetscSortSplitReal()
365         tmp      = a[mid];  in PetscSortSplitReal()
366         itmp     = idx[mid];  in PetscSortSplitReal()
367         a[mid]   = a[j];  in PetscSortSplitReal()
368         idx[mid] = idx[j];  in PetscSortSplitReal()
375     tmp        = a[mid];  in PetscSortSplitReal()
376     itmp       = idx[mid];  in PetscSortSplitReal()
377     a[mid]     = a[first];  in PetscSortSplitReal()
378     idx[mid]   = idx[first];  in PetscSortSplitReal()
383     if (mid == ncut) break;  in PetscSortSplitReal()
384     else if (mid > ncut) last = mid - 1;  in PetscSortSplitReal()
385     else first = mid + 1;  in PetscSortSplitReal()