Series

Derivation — the series

5 essays on one idea, from the one that introduces it to the one that assumes the rest.
  1. The basic weaves at four by four. Plain weave and the three twills a repeat of four admits, each drawn with its longest float and its layer count computed from the matrix. The fifth frame is empty: a satin needs a move coprime with its order and neither one nor one less than it, and four ends admits 0 such moves. So the smallest interesting repeat contains two of the three weaves every manual begins with.

    The three basic weaves do not generate the rest

    Every weaving manual opens with the same sentence: there are three basic weaves, and everything else is derived from them. The complete catalogue of the smallest interesting repeat is in hand, so the claim can be checked instead of repeated. Starting from plain weave, every twill and every satin, and applying every derivation the manuals name, reaches nine of the 426 cloths that exist there.

    part 1 · weaves
  2. What combination adds to the manuals' reach. The three counts. The manuals' own operations on their own seeds reach 9 of the 426 four-by-four cloths. Admitting stripes, checks and figures of any two seeds — 17,787 constructions, of which 177 repeat inside four ends and four picks — takes it to 28, a gain of 19. That is a threefold rise and it leaves 398 cloths unreached, which is 93.4 per cent of the catalogue. What the chart cannot show is combinations of combinations, which are excluded on purpose: the closure's seeds have to be what a chapter actually teaches or the count measures something else.

    What combining two weaves reaches

    The account before it found that the manuals' own operations on their own basic weaves reach nine of the 426 four-by-four cloths, and recorded one exclusion honestly: combination — striping, checking and figuring — was left out, because a combination of two four-end weaves is eight ends wide and so is not a four-by-four cloth at all. Admitting it triples the reach and leaves ninety-three per cent of the catalogue outside.

    part 2 · weaves
  3. One pick of a 2/2 twill made in the wrong shed. Pick 2 of a 2/2 twill laid in the shed belonging to another pick. The thread is there, it is beaten up in its place, and it is simply not the pick the design asked for — so the fault is a bar the whole width of the cloth and one pick deep. This one leaves the cloth sound, with its longest float at 3. Across every four-by-four draft and every possible wrong shed — 1,372,440 substitutions — 63.2% leave a cloth that still hangs together, 36.6% leave a thread loose, and 0.25% split the cloth. The same wrong shed is harmless in one draft and destroys another, so nothing about the size of the mistake predicts the size of the fault.

    A mispick is one row in the wrong place

    Every four-by-four draft, with each of its picks replaced by every shed the loom could have made instead: a million and a third substitutions. Two thirds leave a cloth that still hangs together, a third leave a thread held by nothing, and the same wrong shed is harmless in one draft and fatal in another.

    part 3 · weaves
  4. How many cloths any one cloth derives into. The 426 four-by-four cloths sorted into the orbits the manuals' derivations cut them into. 12 orbits hold 1 cloth; 83 orbits hold 2 cloths; 62 orbits hold 4 cloths. The largest orbit in the whole catalogue holds 4, so no cloth derives into more than 3 others by any sequence of the named operations, however long. The derivations generate a group of 256 elements and it cuts the catalogue into 157 pieces. What the bars cannot show is which cloths are in which orbit, which is the next figure.

    No cloth derives into more than three others

    Every weaving manual opens by saying the three basic weaves generate the rest. This collection counted the reach and found nine of 426, and left the nine as a count. It is not a count: every derivation the manuals name is a relabelling of the grid or a complementation of it, both invertible, so they generate a group — and that group cuts the 426 cloths into 157 closed pieces of which the largest holds four. The claim is not merely wrong about how much derivation reaches; derivation cannot reach more than four cloths from anywhere, by any sequence of operations, however long.

    part 4 · weaves
  5. How many derivation orbits each measure separates. For the 426 four-by-four cloths in 157 derivation orbits, the number of classes each invariant measure cuts the orbits into: marks, up to exchanging face and back, 5; interlacings, 8; layers, 2; plane group, 12; floats of both faces, both systems, 60; changes of face per end and per pick, 12; distinct ends and distinct picks, 4; all seven familiar measures, 120; census of two-by-two patches, 127; all seven, and the two-by-two patches, 153; census of three-by-three patches, 157. Only the census of three-by-three patches reaches 157. What the bars cannot show is which orbits a measure confuses, which the pair figure draws for the seven measures together.

    A cloth's derivation class is its census of small patches

    The manuals' derivations cut the 426 four-by-four cloths into 157 orbits, and an orbit is found by searching a group of 256 operations. The question left was whether a short list of numbers read off a draft could do the same job. The familiar ones cannot. Marks, interlacings, layers, plane group, float lengths, crossings per thread and distinct ends and picks are all invariant, and all seven together tell 120 of the orbits apart. A census of the two-by-two patches a draft contains tells 127 apart. A census of its three-by-three patches tells all 157 apart — a complete invariant of derivation, computed by counting windows rather than by searching operations.

    part 5 · weaves

All series