Thank you, Martin, for spotting this, it is clearly a bug, originally a
conformance check was intended here and time series were defined using
integers, so exact comparison would have made sense. Now time series are
defined using doubles and exact comparison could be too strict with
rounding er
Good morning,
I am Martin Bodin, a postdoc at the CMM in Santiago de Chile, and I am
currently in the process of formalising (a part of) the R language into
the Coq proof assistant. This work makes me look frequently at the
source code of R.
I have noticed a strange line in the file src/main/util
