← All parts of this equation

Equation 1 · Part 2 · How Mathematics, Proof, and Scientific Computation Actually Work

Symbol y

fl(xopy)=(xopy)(1+δ),∣δ∣≤u,\mathrm{fl}(x \mathbin{\text{op}} y) = (x \mathbin{\text{op}} y)(1 + \delta), \qquad |\delta| \le u,
yy

What this part means

y is an argument of the function-like quantity on the left; its role is set by that function’s stated inputs.

Its job in the formula

y is an argument of the function-like quantity on the left; its role is set by that function’s stated inputs.

The passage around this formula

Computers represent real numbers with a finite number of bits, following a specification — IEEE 754 — that fixes the format and the rounding behavior of arithmetic exactly enough that different compliant hardware and software give reproducible results for the same operations [ 5 ] . The standard’s core guarantee is deceptively narrow: each individual elementary operation is correctly rounded , meaning the result is the closest representable floating-point number to the true mathematical result of that one operation. For a single addition or multiplication, this means fl(xopy)=(xopy)(1+δ),∣δ∣≤u\mathrm{fl}(x \mathbin{\text{op}} y) = (x \mathbin{\text{op}} y)(1 + \delta), \qquad |\delta| \le u. where u is the unit roundoff — roughly 10^{-16} for standard double precision — and op\mathrm{op} is…

Read this part in the article →

Learn the underlying idea

A variable is a named place for a value. Its letter is a local label: x can mean position in one formula and a data point in another.

Open the illustrated variables: a letter stands for a value guide →

See this notation across published equations →

Sources cited in the surrounding passage

These citations provide research context; check each source for the exact claim it supports.