Verified Interval Arithmetic and Rigorous Enclosures in Pure R

---

Documentation for package ‘RobustArithmetic’ version 0.1.0

• DESCRIPTION file
• User guides, package vignettes and other documentation

Help Pages

as.data.frame.ra_certificate	Coerce a fixed point certificate to a data frame
as.data.frame.ra_escalation	Show the result of an escalation
as.data.frame.ra_ivl	Show an interval
as.data.frame.ra_paving	Show a paving of certified roots
c.ra_ivl	Combine and subset intervals
format.ra_certificate	Format a fixed point certificate
format.ra_escalation	Show the result of an escalation
format.ra_ivl	Show an interval
format.ra_paving	Show a paving of certified roots
format.ra_summary_certificate	Format the summary of a fixed point certificate
length.ra_ivl	Combine and subset intervals
Ops.ra_ivl	Interval arithmetic through the ordinary operators
print.ra_certificate	Print a fixed point certificate
print.ra_escalation	Show the result of an escalation
print.ra_escalation_summary	Show the result of an escalation
print.ra_ivl	Show an interval
print.ra_ivl_summary	Show an interval
print.ra_paving	Show a paving of certified roots
print.ra_paving_summary	Show a paving of certified roots
print.ra_summary_certificate	Print the summary of a fixed point certificate
ra_abs	Square, absolute value and integer powers
ra_add	The named arithmetic operations
ra_arith	The named arithmetic operations
ra_ball_certificate	Certify a fixed point over a ball in a norm
ra_certify_fixed_point	Certify a fixed point of a univariate expression over a ball
ra_check_expr	Check that an expression is written with admitted symbols
ra_check_sentinels	Check the evaluation route in use against the sentinels
ra_constants	The two constants of the outward-rounding theorem
ra_dec	Read the parts of an interval
ra_div	The named arithmetic operations
ra_div_extended	Extended division, keeping the two pieces apart
ra_elem	Interval extension of an elementary function
ra_elem_escalate	Climb the precision ladder until a question is settled
ra_empty	The special intervals
ra_enclose_expr	Enclose the range of a univariate expression, by three routes at once
ra_enclose_mpfr	Enclose a multiprecision value in a pair of doubles
ra_entire	The special intervals
ra_environment_anchor	The environment anchor of the sentinels
ra_escalation_show	Show the result of an escalation
ra_eval_natural	Natural interval extension of an expression
ra_gershgorin	Enclose the spectrum of a symmetric matrix by Gershgorin discs
ra_has_mpfr	Is the rigorous level available
ra_hull	Set operations on intervals
ra_inf	Read the parts of an interval
ra_intersect	Set operations on intervals
ra_interval	Build an interval
ra_interval_to_text	The text output of the interval standard
ra_is_empty	Read the parts of an interval
ra_is_entire	Read the parts of an interval
ra_is_nai	Read the parts of an interval
ra_mag	Derived quantities of an interval
ra_measures	Derived quantities of an interval
ra_measure_library_error	Measure the error of the evaluation path the fast level actually uses
ra_message_no_mpfr	Report what the rigorous level would give and why it is unavailable
ra_mid	Derived quantities of an interval
ra_mig	Derived quantities of an interval
ra_mul	The named arithmetic operations
ra_nai	The special intervals
ra_neg	The named arithmetic operations
ra_newton_step	One step of the interval Newton operator
ra_operator_table	The closed table of symbols an expression may use
ra_parts	Read the parts of an interval
ra_paving_show	Show a paving of certified roots
ra_periodic_frontier	Where the periodic enclosures stop resolving, and why
ra_powers	Square, absolute value and integer powers
ra_pown	Square, absolute value and integer powers
ra_precision_ladder	The ladder of working precisions
ra_pred	Predecessor of a double in round-to-nearest
ra_prov	The provenance of an interval's guarantee
ra_rad	Derived quantities of an interval
ra_round_out	Widen a pair of endpoints outward by one rounding step
ra_sentinels	The load sentinels of the fast level
ra_sets	Set operations on intervals
ra_set_dec	Attach a decoration to an interval
ra_show	Show an interval
ra_slack	Slack in units in the last place declared for one function
ra_solve	Certified enclosure of the roots of an expression over a window
ra_specials	The special intervals
ra_spectral_sum	Bound the spectrum of a sum of symmetric matrices
ra_sqr	Square, absolute value and integer powers
ra_stop	Raise a typed error of the package
ra_sub	The named arithmetic operations
ra_succ	Successor of a double in round-to-nearest
ra_sup	Read the parts of an interval
ra_to_double	Convert a multiprecision number to a double in a chosen direction
ra_vector	Combine and subset intervals
ra_verify_monotonicity	Verify the declared shapes against the functions themselves
ra_verify_operator_table	Re-close the table against the installed software
ra_warn	Raise a typed warning of the package
ra_wid	Derived quantities of an interval
summary.ra_certificate	Summarise a fixed point certificate
summary.ra_escalation	Show the result of an escalation
summary.ra_ivl	Show an interval
summary.ra_paving	Show a paving of certified roots
[.ra_ivl	Combine and subset intervals