Concept

Bezout — where it appears

The number of solutions a polynomial system has when nothing about it is special: the product of the degrees of its equations. It is an upper bound that a mechanism's own system almost never attains, and the gap between it and the true count is where the interesting geometry sits.

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

Also named here as polynomial system — the same set of essays touches all of them, so they are one junction rather than several.

Two circles, four answers, two of them nowhere. A four-bar with its crank held at 52° is two circles: the coupler pin is 3.5 from the crank pin and 3 from the far ground pivot. Two quadratics in two unknowns, so Bézout's number is four — and the tracker finds two. The other two paths run off to infinity, and they do so for every pair of circles ever drawn: two circles meet the line at infinity in the same two points, and those are what the fourth and third answers are.

Two circles, four answers

A four-bar with its crank held still is two circles, and two circles meet twice. Bézout's theorem says four. The two missing answers are not a rounding error and are not special to these link lengths — they are the same two points for every pair of circles ever drawn, and they are the beginning of a way of counting that has so far been done by hand.

algebra · Algebra
Every path, in the plane of one unknown. The 16 tracked paths of the 3-RPR platform, projected onto the complex plane of x. Each curve starts at a solution of the start system and ends at a solution of the target or leaves the frame on its way to infinity. This run is γ random, start constants complex, and it found 6 solutions.

Following a root from a problem already solved

Homotopy continuation solves a system nobody can solve by deforming one that anybody can, and following every root as it moves. The whole method rests on the deformation being generic, and the folklore says that is what the γ-trick is for. Running all four combinations says the folklore names one of two places the randomness can live, and either will do.

algebra · Algebra
What became of Bézout's paths. four-bar coupler pin: 2 of 4 paths arrived at a solution and 2 went to infinity; 3-RPR platform: 6 of 16 paths arrived at a solution and 10 went to infinity; Gough, generic: 80 of 1458 paths arrived at a solution and 1378 went to infinity. The surplus is not merely wasted — it is cheap: a path on its way to infinity is abandoned in a handful of steps, while every path that arrives is tracked in full.

The paths that leave

Bézout's number over-counts, and the over-count is enormous — 1,458 tracked paths for 80 solutions. The obvious response is to find a method that tracks only the paths that arrive. That method exists, it was built, and it is four times slower, because the surplus paths are not merely surplus. They are cheap.

algebra · Algebra
The count that moves, and the one that does not. 676 sets of leg lengths for one 3-RPR platform, the third leg held at 2.2. Every one of them has exactly 6 complex solutions. The number that is real runs 0, 2 — 141 cells at 0, 535 cells at 2 — and that number is what a machine shop would call the assembly modes.

The count that does not move

A mechanism does not have a number of assembly modes. Its family has a complex solution count that never changes, and each member has a real count that does — 676 sets of leg lengths for one platform, all with six complex solutions, and nought, two or four of them real. The number a machine shop cares about is the one that is not a property of the machine.

algebra · Algebra
Five positions, and what is left of the curve. Five prescribed poses of a moving body. With four of them, every point of the pale curve is a usable fixed pivot — a one-parameter family. The fifth pose is one more equation, and it leaves 4 points. Bézout's number for the system is 16; 4 paths arrive; 4 of those are real. Every pair of the 4 is a four-bar, so there are 6 candidate linkages and 2 of them reach all five poses in one piece and in order. 1 of the 4 pivots is too far away to draw in frame and is marked at the edge with its true distance — which is why some of the linkages have a bar twenty times the size of the body.

Five positions, and what is left

Three prescribed poses leave a whole plane of choices. Four leave a curve. Five leave four points, and finding them is the first thing in this site's synthesis field that a compass cannot do — it needs two cubics intersected, which is algebra rather than construction. Four points give six four-bars, and two of them can be built.

synthesis · Synthesis
The twelve that were at infinity, coming back. Every solution of the platform's direct kinematics, plotted by how far from the origin it sits, as the six anchors are jittered. At no jitter the site's own platform has 56 solutions and the largest is at 25.8. At a jitter of 0.2 there are 80, and the extra ones arrive from far out — they were never missing, they were at infinity.

Twenty-eight, not forty

The general six-legged platform has forty poses for a given set of leg lengths, and this site has quoted that number beside a picture of a platform that has twenty-eight. Its anchors are arranged symmetrically, which makes it a special architecture, and the missing twelve poses are not missing. They are at infinity, and perturbing the anchors brings them back.

algebra · Algebra
How many points a linkage will take. function generation: 5 free numbers, 1 net constraint per point, 5 precision points; motion generation: 4 free numbers, 1 net constraint per point, 5 precision points; path generation: 9 free numbers, 1 net constraint per point, 9 precision points. Every count in the literature that differs from these differs about what is being counted as free, not about the geometry.

How many points may be prescribed

Five poses, five angle pairs, nine points — three numbers that get quoted as properties of a four-bar and are properties of what somebody decided to count as free. Derive them instead, and the fifth precision point turns a linear solve into a system with 128 paths, twelve finite solutions, four real ones, and exactly one linkage anybody could build.

synthesis · Synthesis

Named alongside it

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

Polynomial systemComplex solutionAssembly branchGough platformHomotopy continuationKinematic synthesisPath trackingSolutions at infinityBranch defectBurmester pointCentre-point curveCircle-point curve

All concepts