Алгоритм совпадения
возвращает скалярное 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
.