A finite map lesson begins with a seed, a rule, and checked states. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

A map is a rule plus a seed

The seed is 0 and the checked rule sends it to one quarter.

x1=x02+14=14x_{1}=\frac{x_{0}}{2}+\frac{1}{4}=\frac{1}{4}
Affine iteration ledgerEvery state label is bound to the checked finite map.mapId=affine_contractionparameter=nonestates=0,1/4,3/8,7/16stepCount=3branchRoles=single,single,single

The ledger stops at the pinned depth

The four displayed states are the seed, one quarter, three eighths, and seven sixteenths.

014387160\to\frac{1}{4}\to\frac{3}{8}\to\frac{7}{16}
Pinned step countNo hidden extra iteration is inferred.mapId=affine_contractionparameter=nonestates=0,1/4,3/8,7/16stepCount=3branchRoles=single,single,single