Алгоритм совпадения
возвращает скалярное x = coincidence(res,div,maxval)x что меньше или равно maxval и является конгруэнтным каждому остатку в res для соответствующего делителя в div. x удовлетворяет
mod (x, div) = res.
Другими словами, разделение x по каждому элементу div оставляет как оставшийся соответствующий элемент res.
также задает допуск. На практике может не быть значения, удовлетворяющего всем ограничениям в x = coincidence(res,div,maxval,tol)res и div точно. В этом случае, coincidence определяет набор кандидатов, которые приблизительно удовлетворяют ограничениям и находятся в пределах интервала ширины 2 × tol с центром в медиане кандидатов. Затем функция возвращает медиану следующим x.