A finite applicative expression over free variables and the combinator constants $S,K,I$, with application associating to the left. One may instead take $I$ as the abbreviation $SKK$. There is no variable binder in this syntax.

Bracket abstraction removes a free variable from a combinatory logic term. The displayed clauses are applied in that order, giving $FV([x]T)=FV(T)\setminus \{x\}$ and $([x]T)A{\to }^{\ast }T[x:=A]$. Under the standard lambda expansions of $S,K,I$, the result is beta-equivalent to $\lambda x.T$. The recursive translation of lambda terms therefore preserves variables and application and reflects weak equivalence, but need not preserve all beta equivalences.

The institution-issued AY 105 Lab Experiment 3: Optical aberrations by California Institute of Technology (Spring 2011 offering, Part A, pp. 2–3, 7–8) specifies a concrete optical bench: a lamp, opal diffuser and condensing optical lens illuminate a $25$ or $30\mu \mathrm{m}$ optical pinhole; a photographic telephoto optical lens acts as a collimator, producing an approximately $75\mathrm{mm}$ beam. A test optical lens sits on a rotation stage, followed by an adjustable optical microscope. The procedure establishes the on-axis image, then rotates the test optical lens a few degrees and examines the off-axis image through optical focus. It compares this readout with through-focus ray tracing at the corresponding field angles and offers a Ronchi ruling to calibrate the measuring eyepiece.

Part B (pp. 9–10) substitutes a spherical mirror of $1\mathrm{m}$ radius of curvature, with the optical microscope beside the incoming beam so the image is necessarily off-axis. It calls for measuring the field angle, calibrating the eyepiece and recording the image's length and width at minimum size. These are specified apparatus dimensions and instructions, not supplied measurement results or dimensions of the normalized figures.

A controlled extension would record images at zero and equal positive and negative field angles, repeat zero afterwards, and scan through optical focus at every setting. Keep the illuminated optical pupil and illumination fixed, recenter the optical microscope without clipping the bundle, and use its calibrated scale to separate a mere image displacement from a change in blur shape. The pure Seidel coma pupil mapping predicts reversal and linear growth; a stationary asymmetric central image instead calls for checking alignment. A focus-dependent change between perpendicular elongations suggests an astigmatism contribution. These comparisons test the model rather than assuming every off-axis flare is pure coma.

The optical pinhole has finite angular size, approximately its diameter divided by the collimator's focal length; the collimator and observing optical microscope also contribute their own optical aberrations. A broadband lamp can mix chromatic aberration with the geometric blur, and diffraction limits the smallest visible structure. A narrow spectral band, repeated field settings and a reference image help separate these effects. Consequently a measured length and width are useful checks on off-axis image formation, but they cannot by themselves determine a unique coma coefficient or recover the full point spread function.

Consider an original, explicitly normalized model of primary coma, rather than a prescription for a particular optical lens. Let $(u,v)$ be Cartesian coordinates in a circular optical pupil divided by its radius $a$, with $u^2+v^2\le 1$. Let $h=\alpha /{\alpha }_0$ be a signed small field angle divided by an arbitrary positive reference angle. With polar coordinates $u=\rho \cos \theta$, $v=\rho \sin \theta$, prescribe the wavefront errorHere $W_0$ is an arbitrary positive optical path difference scale, not a measured error. The cubic optical pupil dependence and linear field dependence are the classical Seidel form.^[ref]

In the paraxial approximation, light ray direction errors follow the transverse gradient of wavefront error. For a reference sphere a distance $L$ from the exit optical pupil in a uniform image medium of refractive index $n$, the corresponding image-error scale is $s=L{W}_0/(na)$. Choose image-error coordinate signs so the normalized displacement is $\nabla w$; reversing the convention reverses the plotted orientation. Image coordinates below are errors relative to the ideal image of this particular object point, rather than positions of different objects:The partial derivatives explain the asymmetry: opposite optical pupil points $(u,v)$ and $(-u,-v)$ land together, rather than on opposite sides of the ideal image. For $h>0$, every $X$ is nonnegative, while $Y$ can have either sign. The figures stipulate this single wavefront error, omit other optical aberrations and diffraction, and assign no instrument dimensions.

For a ring of fixed optical pupil radius $\rho$, the double-angle formulas for trigonometric functions giveThus each ring maps into a circle of radius $|h|{\rho }^2$ whose centre is displaced by $2h{\rho }^2$. Doubling $\rho$ quadruples both sizes; for $h=1$, the edge ring has centre $(2,0)$ and radius $1$, while the half-radius ring has centre $(1/2,0)$ and radius $1/4$. Superposing these displaced circles produces the comet-like envelope.

For uniform irradiance over the circular optical pupil, equal area samples give an equal-weight geometrical image. Its centroid is $(h,0)$ because $⟨u^2⟩=⟨v^2⟩=1/4$ and $⟨uv⟩=0$. Moving the coordinate origin to that centroid translates the image; it does not remove its asymmetric shape. Adding a linear term to $w$ likewise translates all light rays equally. These origin choices must be distinguished from changing the optical aberration itself.

The model's full transverse extent is $3|h|$ along $X$ and $2|h|$ along $Y$. Halving the field angle halves the blur, and reversing it reverses the pattern about the ideal image. This isolates why coma matters for an optical camera's usable field of view: collecting more light does not ensure that off-axis points remain compact. Near diffraction-limited resolution, a physical optics calculation of the point spread function is needed instead of interpreting the geometrical tip as an infinitely sharp image.^[ref]

The $s$-stage Gauss--Legendre Runge--Kutta method collocates at the Gauss--Legendre quadrature nodes on $[0,1]$. It is symmetric, A-stable, and has order $2s$.

For a collocation Runge-Kutta method, $a_{ij}={\int }_0^{c_i}{\ell }_j(t)dt$, where the Lagrange interpolation basis obeys ${\sum }_j{\ell }_j=1$. Hence each row sum is its collocation node. Failure of this identity disproves a claimed collocation tableau with those nodes. The identity alone is necessary rather than sufficient: the individual integrated basis coefficients must also agree.

For $s$ distinct collocation nodes, let ${\pi }_s(t)={\prod }_{i=1}^s(t-c_i)$. If ${\int }_0^1{t}^j{\pi }_s(t)dt=0$ for $0\le j<k$, and the next moment is nonzero, the associated interpolatory quadrature has order $s+k$, and the collocation Runge-Kutta method has the same classical order for sufficiently smooth differential equations. Here $0\le k\le s$. Equivalently, if the quadrature is exact through degree $p-1$ but not degree $p$, the method has order $p$. The generic order is at least $s$, Gauss collocation methods reach $2s$, and Radau IIA methods reach $2s-1$.

For distinct nodes $c_1,c_2\in [0,1]$, the two-stage collocation Runge-Kutta method has stability functionThe denominator has no zeros in the closed left half-plane. On the imaginary axis the denominator's squared modulus minus the numerator's is $(d^2-r^2)y^4$. Thus $d\ge r$, equivalently $c_1+c_2\ge 1$, is necessary and sufficient for A-stability, using the maximum modulus principle and the bound at infinity.

The narrow phase checks the actual objects for candidates retained by the broad phase. Its numerical guarantees depend on the chosen shape test.

// Target: analysis.bigb

The broad phase generates candidate pairs with inexpensive conservative enclosure tests. An accepted pair still needs the narrow phase.

For the negative-flux viscous Burgers equation $q_Z-q{q}_{\theta }=ϵq_{\theta \theta }$, set $q=2ϵ{\partial }_{\theta }\log \psi$. A sum of exponentials in the initial heat data evolves into $\psi ={\sum }_j{e}^{A_j}$, giving the displayed softmax function average. Two terms produce a traveling tanh shock from the lower to the higher state, with speed minus their mean.

For $q_Z-q{q}_{\theta }=\delta q_{\theta \theta }$ and initial data $q=\sin \theta$, the Cole-Hopf transformation $q=2\delta {\psi }_{\theta }/\psi$ gives $\psi (\theta ,0)=\exp [-\cos \theta /(2\delta )]$. The Fourier series of this exponential and the heat equation give the displayed exact positive diffusion solution. Its first harmonic gives $q\sim 4\delta [I_1(a)/I_0(a)]e^{-\delta Z}\sin \theta$. The large-argument asymptotic expansion of a modified Bessel function makes the ratio tend to one as $\delta \to 0$.

For $m\ge 0$, these sheaf cohomology dimensions follow from the vanishing for $\mathcal{O}$ and the hyperplane exact sequence for twisting sheaves. Induct on dimension and then on $m$ in $0\to \mathcal{O}(m-1)\to \mathcal{O}(m)\to i_{\ast }{\mathcal{O}}_{{\mathbf{P}}^{n-1}}(m)\to 0$. The long exact sequence in sheaf cohomology gives higher-degree vanishing and the recurrence $h_n^0(m)-h_n^0(m-1)=\left(\genfrac{}{}{0ex}{}{n-1+m}{n-1}\right)$. Starting with $h_n^0(0)=1$ yields the formula; the corresponding homogeneous monomials form a basis of global sections.

There is no fiber bundle $F\to S^m\to S^q$ when $m>q\ge 3$ and $q$ is odd. A local trivialization makes $F$ a retract of an open subset of $S^m$, so $H^j(F;\mathbb{Q})=0$ for $j>m$; the long exact sequence of homotopy groups of a fibration makes $F$ connected. In the multiplicative rational Serre spectral sequence, only base columns zero and $q$ occur. Since $H^q(S^m)=0$, a fibre class $a\in H^{q-1}(F;\mathbb{Q})$ must satisfy $d_{q}a=u$, the base generator. Its degree is even. If $a^s=0$ is its first vanishing power, the derivation law gives $0=d_q(a^s)=su{a}^{s-1}\ne 0$ on the $E_q$ page, a contradiction. Bounded fibre cohomology ensures such a vanishing power exists. In particular $S^4$ cannot be the total space of a bundle over $S^3$.

Use the signature of unital commutative rings, its equational axioms, and the coherent sequents $0=1⊢\perp$ and $\top {⊢}_x\mathrm{Inv}(x)\vee \mathrm{Inv}(1-x)$, where $\mathrm{Inv}(x)$ abbreviates $\exists y(xy=1)$. In a set-based model the nonunits form its unique maximal ideal; this is the usual nonzero local ring. In a topos the disjunction expresses local existence of a unit witness. Its classifying topos is defined by the Zariski coverage on finitely presented rings.

Suppose the first ancilla records parity $q_2\oplus q_3$, then a fault of value $f$ flips $q_2$, and the second ancilla records parity $q_1\oplus q_2$. For incoming bit-error pattern $e$, the observed error syndrome is the displayed pair, while the final data error before recovery is $d=e\oplus (0,f,0)$. When $f=1$, the observed syndrome differs from the actual data syndrome by $(1,0)$. Applying the usual minimum-weight recovery leaves a nonzero syndrome, so the state is outside the code space even when the channel itself made no error. This is a timing-dependent failure of this simple extraction circuit, not a general obstruction to fault-tolerant quantum error correction.

For a block sliding right on a stationary horizontal plane, take rightward acceleration $a$ as positive. A gauge reading $F$ for a pull at angle $\alpha$ above horizontal has horizontal component $F\cos \alpha$ and upward component $F\sin \alpha$. With no vertical acceleration or other forces, Newton's second law givesand thereforeThis inference requires continued contact with $N>0$ and rightward contact slip, so its numerator must be nonnegative. An upward pull reduces normal force; a downward pull, represented by $\alpha <0$, increases it. The horizontal constant-velocity formula is the special case $\alpha =0$, $a=0$.

For the original $2\mathrm{kg}$, ${\mu }_k=0.30$ model, an upward pull at $\alpha =30^{\circ }$ maintaining constant velocity needsDividing this gauge reading by $mg$ would give about $0.2953$, rather than $0.30$: the gauge reads the full inclined force, and the pull has changed the normal force.

Even with a horizontal pull, an accelerating measurement needs the $ma$ correction: ${\mu }_k=(F-ma)/(mg)$. In the same model, a horizontal $7.88\mathrm{N}$ pull produces $a=1m/{\mathrm{s}}^2$ while the block slides right; subtracting $ma=2\mathrm{N}$ recovers the $5.88\mathrm{N}$ kinetic friction. Dividing the uncorrected reading by $19.6\mathrm{N}$ instead gives about $0.4020$. Measure acceleration in an inertial frame, along the sliding direction, over the same interval as the gauge reading. These corrections follow from the force balance, independently of whether the resulting coefficient of kinetic friction is constant across runs.

// Target: classical-mechanics.bigb

Changing the added mass while retaining the same contact pair and sliding speed tests whether a constant coefficient of kinetic friction is a useful model. Compute $N=(m_{\mathrm{block}}+m_{\mathrm{added}})g$ for each level horizontal run, and plot the mean sliding force vertically against normal force horizontally. The constant-coefficient prediction is a straight line through the origin; its slope is ${\mu }_k$. This extracts a ratio from several loads rather than relying on one reading.

The apparatus sketch identifies the contact pair and horizontal pull used by the cited laboratory procedure. The plotted line and points are the original stipulated ${\mu }_k=0.30$ model from coefficient of kinetic friction, not laboratory data. The two model points giveIn actual measurements, a linear regression $\overline{F}=b+{\mu }_{k}N$ can expose an unexplained intercept $b$. A nonzero intercept calls for checking the gauge zero, other resisting forces and the contact model; forcing the line through zero can hide those problems. Conversely, constant ratios within measurement error support the approximation only over the loads, speeds and surface conditions tested. A load sweep alone cannot establish independence from contact area or sliding speed; those require separate controlled variations.

A force gauge reads the pulling force. For horizontal straight-line sliding at constant velocity, its reading equals the opposing kinetic friction magnitude, provided these are the only horizontal forces. For total supported mass $m$, including added loads, $N=mg$, so a mean sliding reading $\overline{F}$ gives ${\mu }_k=\overline{F}/(mg)$. The important readout is the sustained sliding force after the starting peak; the peak belongs to the static friction threshold.

The University of Mississippi's Experiment 6 uses a wooden block on a wooden plane, a triple-beam balance, added masses, and a dual-range 50 N force probe connected through LabPro to Logger Pro. Its procedure calibrates the probe with a $0.5\mathrm{kg}$ load on a hanger, entering the corresponding force in newtons, and measures the block's mass separately. With the plane horizontal, it starts with $0.5\mathrm{kg}$ on the block and pulls horizontally at constant speed. The recorded force trace has a starting peak; the procedure selects the subsequent constant-force interval and takes its mean. It repeats with $0.5\mathrm{kg}$ increments up to $3\mathrm{kg}$ added, then plots sliding force against normal force to estimate the coefficient of kinetic friction from the slope.^[ref]

For a replication, check the gauge's zero with the string slack and its response to known gravitational weights; zeroing alone does not check its scale. Keep the plane level, the pull parallel to it, and the block face and track region consistent. Specify the contacting materials and whether the surfaces are dry, cleaned or lubricated; repeat runs to see whether debris or wear changes the sliding force. Verify constant velocity independently from position versus time, rather than assuming that a flat force trace proves zero acceleration. These are proposed measurement controls, not additional observations from the laboratory writeup. Record the selected interval, variation between runs and gauge resolution as sources of measurement error.

In the standard genetic code, UAA, UAG and UGA are stop codons: they signal termination of biological translation rather than an amino acid assignment. See Clark, Douglas and Choi: stop codons.

A stop codon supplies no additional amino acid residue. In the constructed AUG GCU UUC UGA example, replacing UGA by UAA preserves termination after the same three amino acid residues. Replacing UUC by UAA instead terminates after methionine and alanine. These are consequences of the stated genetic code, not measurements of expression efficiency.

At a standard stop codon, a release factor promotes release of the polypeptide from the ribosome. Ordinary delivery of an amino acid by transfer RNA does not supply a “stop amino acid”.^[ref]