<- 1e-10
precision
`%noVwithin%` <- function(x, y) {
any(
sapply(y, function(z) {
abs(x - z) <= precision
})
) }
Equality between floating points is always challening when programming (see https://en.wikipedia.org/wiki/Floating-point_arithmetic#Accuracy_problems). One way to determine if two numbers are equal is to set a precision. In this short snippet I create a function (%noVwithin%
) to determine if a number exists in a vector of floating point numbers. The function is then vectorized so that it can be used in tidyverse expressions.
Function - %noVwithin%
The function %noVwithin%
takes two variables, checking to see if x
is within the vector y
. It is similar to the R function %in%
but works with floating point numbers. The example below illustrates both %in%
and %noVwithin%
<- 0.8
a <- 0.4
b <- a + b
val
print(val %in% c(1.1, 1.2, 1.3))
[1] FALSE
print(val %noVwithin% c(1.1, 1.2, 1.3))
[1] TRUE
Vectorizing the Function
Our function works but fails when used in a tidyverse pipe:
<- tibble::tibble(
d a = seq(0.1, 0.5, 0.1),
b = seq(1.1, 1.5, 0.1),
val = a + b
)
print(d)
# A tibble: 5 × 3
a b val
<dbl> <dbl> <dbl>
1 0.1 1.1 1.2
2 0.2 1.2 1.4
3 0.3 1.3 1.6
4 0.4 1.4 1.8
5 0.5 1.5 2
<- seq(1, 1.6, 0.2)
myVals print(myVals)
[1] 1.0 1.2 1.4 1.6
|>
d ::mutate(in_myVals = val %noVwithin% myVals) dplyr
# A tibble: 5 × 4
a b val in_myVals
<dbl> <dbl> <dbl> <lgl>
1 0.1 1.1 1.2 TRUE
2 0.2 1.2 1.4 TRUE
3 0.3 1.3 1.6 TRUE
4 0.4 1.4 1.8 TRUE
5 0.5 1.5 2 TRUE
Here, val
is identified as present in myVals
even when it is not.
Vectorizing is simple. We just pass the function to Vectorize()
, passing a list of argument names that we wish to vectorize. In this case we are passing just the x
variable as y
is fixed when calling.
`%within%` <- Vectorize(`%noVwithin%`, vectorize.args = "x")
Our new function, %within%
, is the vectorized version. Running the code above with %within%
gives the expected result.
|>
d ::mutate(in_myVals = val %within% myVals) dplyr
# A tibble: 5 × 4
a b val in_myVals
<dbl> <dbl> <dbl> <lgl>
1 0.1 1.1 1.2 TRUE
2 0.2 1.2 1.4 TRUE
3 0.3 1.3 1.6 TRUE
4 0.4 1.4 1.8 FALSE
5 0.5 1.5 2 FALSE
Using the %in% Function
Running the above code with the base R %in%
function (which, like many base R functions, is vectorized) in place of %within%
produces an interesting output:
|>
d ::mutate(in_myVals = val %in% myVals) dplyr
# A tibble: 5 × 4
a b val in_myVals
<dbl> <dbl> <dbl> <lgl>
1 0.1 1.1 1.2 FALSE
2 0.2 1.2 1.4 FALSE
3 0.3 1.3 1.6 TRUE
4 0.4 1.4 1.8 FALSE
5 0.5 1.5 2 FALSE
Everything is false, as expected, except for 1.6
. Looking at val
and myVals
illustrates why.
Here are the values of val
at 20 decimal places:
$val |> formatC(digits = 20, format = 'f') d
[1] "1.20000000000000017764" "1.40000000000000013323" "1.60000000000000008882"
[4] "1.80000000000000026645" "2.00000000000000000000"
and here are the values stored in the myVals
vector:
|> formatC(digits = 20, format = 'f') myVals
[1] "1.00000000000000000000" "1.19999999999999995559" "1.39999999999999991118"
[4] "1.60000000000000008882"
It’s interesting to note that both values for 1.6 (d[3, ]$val and myvals[4]) are identical, hence the %in%
comparison works for 1.6.
Alternative approaches
dplyr::rowwise()
The non-vectorized version works when used in conjunction with dplyr::rowwise()
as rowwise
computes one row at a time.
|>
d ::rowwise() |>
dplyr::mutate(in_myVals = val %noVwithin% myVals) dplyr
# A tibble: 5 × 4
# Rowwise:
a b val in_myVals
<dbl> <dbl> <dbl> <lgl>
1 0.1 1.1 1.2 TRUE
2 0.2 1.2 1.4 TRUE
3 0.3 1.3 1.6 TRUE
4 0.4 1.4 1.8 FALSE
5 0.5 1.5 2 FALSE
purrr::map
The purrr::map()
functions can work with non-vectorized functions within a mutate()
.
|>
d ::mutate(in_myVals = purrr::map_lgl(val, `%noVwithin%`, myVals)) dplyr
# A tibble: 5 × 4
a b val in_myVals
<dbl> <dbl> <dbl> <lgl>
1 0.1 1.1 1.2 TRUE
2 0.2 1.2 1.4 TRUE
3 0.3 1.3 1.6 TRUE
4 0.4 1.4 1.8 FALSE
5 0.5 1.5 2 FALSE