## ----include = FALSE----------------------------------------------------------
knitr::opts_chunk$set(collapse = TRUE, comment = "#>")
library(RobustArithmetic)

## -----------------------------------------------------------------------------
x <- ra_interval(1, 2)
y <- ra_interval(3, 4)
ra_add(x, y)
ra_mul(x, y)

## -----------------------------------------------------------------------------
ra_pred(1)
ra_succ(1)

## -----------------------------------------------------------------------------
ra_div_extended(ra_interval(1, 2), ra_interval(-1, 1))

## -----------------------------------------------------------------------------
ra_elem("exp", ra_interval(0, 1))
ra_has_mpfr()

## -----------------------------------------------------------------------------
ra_eval_natural(quote(x^2 - x), list(x = ra_interval(0, 1)))
ra_enclose_expr(quote(x^2 - x), ra_interval(0, 1))

## -----------------------------------------------------------------------------
ra_solve(quote(x^2 - 2), ra_interval(0, 2))

## -----------------------------------------------------------------------------
ra_ball_certificate(rho = 0.2, lipschitz = 0.5)

## -----------------------------------------------------------------------------
ra_ball_certificate(rho = 0.24, lipschitz = 1.6, radius = 0.4, image_radius = 0.4)

## -----------------------------------------------------------------------------
ra_gershgorin(matrix(c(2, 0.1, 0.1, 3), 2, 2))