Thomas calculus