Ops.ra_ivl              Interval arithmetic through the ordinary
                        operators
as.data.frame.ra_certificate
                        Coerce a fixed point certificate to a data
                        frame
format.ra_certificate   Format a fixed point certificate
format.ra_summary_certificate
                        Format the summary of a fixed point certificate
print.ra_certificate    Print a fixed point certificate
print.ra_summary_certificate
                        Print the summary of a fixed point certificate
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_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_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_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_interval             Build an interval
ra_interval_to_text     The text output of the interval standard
ra_measure_library_error
                        Measure the error of the evaluation path the
                        fast level actually uses
ra_measures             Derived quantities of an interval
ra_message_no_mpfr      Report what the rigorous level would give and
                        why it is unavailable
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_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_round_out            Widen a pair of endpoints outward by one
                        rounding step
ra_sentinels            The load sentinels of the fast level
ra_set_dec              Attach a decoration to an interval
ra_sets                 Set operations on intervals
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_stop                 Raise a typed error of the package
ra_succ                 Successor of a double in round-to-nearest
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
summary.ra_certificate
                        Summarise a fixed point certificate
