Machine Kinematics
solved, then drawn
Concept

Linkage — where it appears

An assembly of rigid bars joined by pins, whose only vocabulary is that two points are a fixed distance apart. Everything else it does — bisecting an angle, copying a direction, drawing a curve — has to be built out of that one statement.

Named by 2 essays across one field — each of them below, with the objects they name alongside it.

What the machine draws, against where the polynomial vanishes. Two objects, found two ways. The thin line is the set where x^4 + 2x^2y^2 + y^4 − 1.2x^2 + 1.2y^2 is zero, walked over a grid with no mechanism involved. The marks are where the compiled machine's tracing point went, one per converged solve, over the 147 positions of its working arc. The machine's constraint set never mentions the polynomial, so evaluating it at each traced point is an independent check: the worst value over the whole arc is 3.7e-13. The arc is 1.30 radians of the driving angle and not the whole turn, and past that arc it draws something else.

A demand that is an equation

Every field on this site is handed its demand geometrically — three positions, a sampled path, a ratio at each angle — and hands back a mechanism that is right at those places and approximately right between them. This one is handed a polynomial, and the mechanism that comes back satisfies it everywhere it moves.

computing · Compute How much of a compiled machine is computing anything. Each machine's bars split two ways: the ones that build an angle — reflectors, means, rigid offsets, the arm — and the ones that carry a direction from where it was computed to where it is needed. On the smallest machines the arithmetic is nearly all of it. By the quintic the carrying is 80 per cent, and it goes on rising, because the arithmetic grows with the number of terms and the carrying grows with the number of pairs of them. That is the answer to why a universality construction is enormous, and it is not about the algebra being hard.

A parallelogram carries an angle, and only so far

A direction computed at the frame is no use where it is needed. A parallelogram carries one from point to point — but only between two points a fixed distance apart, and that single proviso is what makes a compiled machine quadratic in the number of terms and turns most of it into transport.

computing · Compute

Named alongside it

The objects these essays reach for when they reach for this one.

Algebraic curveAssembly branchCoupler curveExact mechanismInverse problemKinematic synthesisOverconstraintParallelogram linkagePrecision positionRigid bodySumming chainTranslator

All concepts