Given a sequence Is of ideals of S, pairwise coprime, and a sequence as of elements of S, it returns an element e such that e - as[i] ∈Is[i] for every i.
Given two coprime ideals I and J of S, two elements a, b ∈S, finds e such that (e - a) ∈I and (e - b) ∈J.