Checking time vectors

datkit.is_increasing(times)

Checks if each value in times is greater than (not equal to) the last.

datkit.is_regularly_increasing(times, reltol=1e-12)

Checks if the difference between successive times is always the same strictly positive value.

Checks that dt, the value returned by sampling_interval(), is strictly positive and that abs((times[i + 1] - times[i]) / dt - 1) < reltol for all i.

datkit.sampling_interval(times)

Returns the sampling interval, assuming that times is regularly spaced.