Ask Your Question

What model for propagation of uncertainty is used in sage for functions with RIF variables?

asked 2019-04-11 20:57:02 +0200

stockh0lm gravatar image

updated 2019-04-11 21:12:43 +0200

I am writing a scientific paper and i would like to mention which of the various models of error/uncertainty propagation for functions operating on RIF parameters sage is using.

If you had a pointer to a URL or reference to literature or so, i would be thrilled.


edit retag flag offensive close merge delete

2 Answers

Sort by ยป oldest newest most voted

answered 2019-04-11 22:44:15 +0200

nbruin gravatar image

updated 2019-04-12 04:23:06 +0200

There's the source:

Quickly browsing the file shows RIF elements are pairs of mprf floats, one with "round up" and the other with "round down". It's just relying on mpfr doing its rounding properly.

For more advanced functionality, however, it's using a library, MPFI:

your should probably reference that library, and the documentation there hopefully has the information you're looking for.

edit flag offensive delete link more


Is that a valid way of doing error propagation? does it not consider the kind of function operating on the floats for the effect on the resulting error? --- checked that out, and yes it is.

stockh0lm gravatar imagestockh0lm ( 2019-04-12 00:08:30 +0200 )edit

answered 2019-04-14 00:03:50 +0200

slelievre gravatar image

updated 2019-04-14 21:01:03 +0200

edit flag offensive delete link more


I agree that Arb is probably under more active development, but I'd expect that MPFI is also certified. The only point of doing interval or ball arithmetic is to get certified results.

nbruin gravatar imagenbruin ( 2019-04-14 07:47:14 +0200 )edit

Okay, I updated my answer.

slelievre gravatar imageslelievre ( 2019-04-14 21:01:28 +0200 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2019-04-11 20:57:02 +0200

Seen: 254 times

Last updated: Apr 14 '19