withArgs package:aern2-mp
Assert equality of two MPFloat's with tolerance derived from the given
list of input and intermediate values and their differentials (ie the
derivative of the result wrt this value). The difference in the left
and right results is expected to share at least as many significant
digits as the worst error step among the input and intermediate
numbers shifted by the slope of the differential minus the given
precision loss parameter.
When the assertion fails, report the given values using the given
names.