It seems that arb_equal defines a total equality (NaN being equal to themselves). If it is indeed the case, it would be nice that the documentation states explicitly that this defines an equivalence relation (as opposed to a partial equivalence relation).. For arf_equal, this is somewhat clearer but stating it explicitly would be better.
It seems that
arb_equal
defines a total equality (NaN being equal to themselves). If it is indeed the case, it would be nice that the documentation states explicitly that this defines an equivalence relation (as opposed to a partial equivalence relation).. Forarf_equal
, this is somewhat clearer but stating it explicitly would be better.