Free space — where it appears
Named by 9 essays across 8 fields — each of them below, with the objects they name alongside it.
Free at every instant and going nowhere
Three points on a circle of 1.1 radii around a unit disc leave it free in every direction at every configuration — rank two, margin nought, the whole plane of centres shaded — and it cannot get out. The threshold is 1/sin(π/n), which is 1.154701 for three, and a flood fill of the free space agrees with the formula at every radius sampled.
Free space comes in pieces
Every arc on this site has ended at a configuration the mechanism cannot reach. Put two studs in a four-bar's way and its drive falls into two arcs whose ends are configurations it reaches perfectly well and cannot occupy — and no quantity the solver computes tells one arc from the other.
One piece, and still not reachable
The site decides whether two configurations can be joined by asking whether they are in the same connected component, and that relation is symmetric because a path run backwards is a path. A one-way mechanism breaks the symmetry and leaves the connectivity alone: its free space is a single interval with no barrier anywhere in it, and about half of the ordered pairs of states cannot be joined by any admissible motion.
The block in the guide has a length
A prismatic pair is a point constrained to a line, and a point on a line of length G has a stroke of G. A block of length ℓ has a stroke of G − ℓ, because both its ends have to stay on the rails — so a guide is as long as the stroke plus the block, and a third of a short one is not stroke at all.
The space of configurations
A two-joint arm's configurations are a torus, and drawing one on a page turns it into a square whose opposite edges are secretly the same line. Count the free space on the square and get three pieces; count it on the torus and get one. Eighty single-obstacle arrangements were tried and not one of them cut the torus in two — what does that is a pair of hard stops.
Six things a body is not
A verdict read as a measurement, a hull read as a part, a sweep read as a proof, a drawing read as a configuration, a geometry read as a force, and a plane read as a place. Six claims, each of them what a careful person would say, each answered with a number.
Which walls a strand is held by
A Bowden inner is short of its sheath by the clearance times the total turning — a law with no bend radius in it and no route shape. It is exact while the inner touches the inside of every bend, and a bend shallower than the turn the inner spends crossing the bore is not touched at all. Past that the law is an over-estimate, and what the inner actually loses flattens onto a ceiling that has no clearance in it.
The arm that hits itself
A three-link arm's joint space is a cube of angles and it may not use a fifth of it, because its own material is in the way. The forbidden set does not depend on where the arm is pointing — which is why it can be drawn as a picture rather than described as a volume.
Where the boundary moved
Three phases ago this site drew a line around what it computes and listed one thing on the far side as a gap rather than a boundary: interference between links, which needed no new physics, only a body and a test. Here is what that turned out to cost and what it turned out to open.
Named alongside it
The objects these essays reach for when they reach for this one.
Configuration spaceLink bodyConnected componentInterferenceSigned clearanceAssembly branchConvex hullInverse kinematicsLayer assignmentMisconceptionSelf-collisionWorkspace