Ask Your Question
1

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

asked 2019-04-11 13:57:02 -0600

stockh0lm gravatar image

updated 2019-04-11 14:12:43 -0600

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.

Thanks

edit retag flag offensive close merge delete

2 answers

Sort by ยป oldest newest most voted
2

answered 2019-04-11 15:44:15 -0600

nbruin gravatar image

updated 2019-04-11 21:23:06 -0600

There's the source:

https://git.sagemath.org/sage.git/tre...

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:

http://perso.ens-lyon.fr/nathalie.rev...

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

edit flag offensive delete link more

Comments

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-11 17:08:30 -0600 )edit
1

answered 2019-04-13 17:03:50 -0600

slelievre gravatar image

updated 2019-04-14 14:01:03 -0600

edit flag offensive delete link more

Comments

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 00:47:14 -0600 )edit

Okay, I updated my answer.

slelievre gravatar imageslelievre ( 2019-04-14 14:01:28 -0600 )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

Stats

Asked: 2019-04-11 13:57:02 -0600

Seen: 60 times

Last updated: Apr 14