I know that for arbitrary precision arithmetic Mathematica uses GMP. But apart from just providing arbitrary precision, Mathematica also does precision tracking for its arbitrary-precision numbers, so that e.g.

1.2345`5 - 1.2300`5 // Precision

gives us 2.2614836912846. Among GNU packages of the GMP family there is MPFI. But I haven't found any references that Mathematica does use it: there's no such library in installation directory (unlike libgmp.so.10), and it doesn't seem mentioned anywhere.

So does Mathematica actually implement precision tracking on its own, without using any well-known package for this?


closed as off-topic by MarcoB, m_goldberg, Young, Feyre, happy fish Feb 12 '17 at 5:13

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "The question is out of scope for this site. The answer to this question requires either advice from Wolfram support or the services of a professional consultant." – MarcoB, m_goldberg, Young, Feyre, happy fish
If this question can be reworded to fit the rules in the help center, please edit the question.

  • 5
    $\begingroup$ Yes, mathematica implements it's own precision tracking. $\endgroup$ – user21 Feb 7 '17 at 7:21
  • $\begingroup$ @user21 your link gives "Item not found". $\endgroup$ – Ruslan Feb 7 '17 at 7:34
  • $\begingroup$ Not the talk I had in mind, but I can not find the other one. Maybe contact the author, this one is very dated. $\endgroup$ – user21 Feb 7 '17 at 7:42