Affine Arithmetic - Definition

Definition

In affine arithmetic, each input or computed quantity x is represented by a formula where are known floating-point numbers, and are symbolic variables whose values are only known to lie in the range .

Thus, for example, a quantity X which is known to lie in the range can be represented by the affine form, for some k. Conversely, the form implies that the corresponding quantity X lies in the range .

The sharing of a symbol among two affine forms, implies that the corresponding quantities X, Y are partially dependent, in the sense that their joint range is smaller than the Cartesian product of their separate ranges. For example, if and, then the individual ranges of X and Y are and, but the joint range of the pair (X,Y) is the hexagon with corners (2,27), (6,27), (18,19), (18,13), (14,13), (2,21) — which is a proper subset of the rectangle ×.

Read more about this topic:  Affine Arithmetic

Famous quotes containing the word definition:

    Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.
    Elaine Heffner (20th century)

    ... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.
    George Eliot [Mary Ann (or Marian)

    Although there is no universal agreement as to a definition of life, its biological manifestations are generally considered to be organization, metabolism, growth, irritability, adaptation, and reproduction.
    The Columbia Encyclopedia, Fifth Edition, the first sentence of the article on “life” (based on wording in the First Edition, 1935)