Nothing
test_that("SpecialSets", {
useUnicode(FALSE)
x <- Reals$new() - Naturals$new()
expect_equal(x$strprint(), "R \\ N0")
expect_true(x$contains(1.1))
expect_false(x$contains(1))
expect_equal(x$elements, NA)
expect_equal(x$length, Inf)
expect_equal(x$addedSet, Reals$new())
expect_equal(x$subtractedSet, Naturals$new())
useUnicode(TRUE)
})
test_that("constructor", {
expect_silent(ComplementSet$new(Set$new(elements = 1:10), Set$new(5, 7)))
expect_equal(ComplementSet$new(Interval$new(1, 3), Interval$new(1, 2))$lower, 1 + .Machine$double.xmin)
expect_equal(ComplementSet$new(Interval$new(1, 3, class = "integer"), Interval$new(1, 2))$lower, 2)
expect_equal(ComplementSet$new(Interval$new(1, 3), Interval$new(2, 3))$upper, 3 - .Machine$double.xmin)
expect_equal(ComplementSet$new(Interval$new(1, 3, class = "integer"), Interval$new(2, 3))$upper, 2)
expect_equal(ComplementSet$new(Interval$new(1, 3, class = "integer"), Interval$new(1, 2))$upper, 3)
expect_equal(ComplementSet$new(Interval$new(1, 3, class = "integer"), Interval$new(2, 3))$lower, 1)
expect_equal(ComplementSet$new(Set$new(1, 3), Set$new(1))$lower, 3)
})
test_that("fields", {
d <- ComplementSet$new(Set$new(elements = 1:10), Set$new(5, 10))
expect_equal(d$length, 8)
expect_equal(d$elements, as.list(c(1:4, 6:9)))
expect_equal(ComplementSet$new(Set$new(elements = 1:10), Interval$new(5, 10))$elements, NA)
expect_equal(d$type, "{}")
})
test_that("strprint", {
d <- ComplementSet$new(Set$new(1, 2, 3, 4, 5, class = "numeric") + Interval$new(5, 7), Set$new(5, 10, class = "numeric") + Interval$new(10, 15))
expect_equal(d$strprint(n = 1), "({1,...,5} ∪ [5,7]) \\ ({5, 10} ∪ [10,15])")
})
Any scripts or data that you put into this service are public.
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.