Discrete_calculus