equality difference equation diff eq different disequality equidistance inequation differential equidistribution finite difference