CC 20220801
Mrs Alicia Boole Stott was þe daughter of George Boole, þe inventor of Boolean ariþmetic. She had considerable interest in þe higher dimensions. Among her insights is þe expansion of polytopes.\nTo illistrate her meþod in two dimensions, we might consider þe case of þe square.\nWe see here, þat starting from a miniture square at o, we can pull þe vertices out diagonally, and increase þe edgelengþs. In þe second diagram, we do þe same to þe edges. Note þat while i indicate þem as - and |, þey are very short, inside þe same vertex.\nIn þe next two diagrams, we add þese operators. In þe first, we grab þe vertices to make a square, and þen grab þese square-edges to make an octagon. Þe operation is symmetric, leading to þe final arrangement of þe Stott-diagram.\nÞe process generalises to higher dimensions. Here is þe case for þe seven icosahedral mirror-edge members.\nWe note þat þis closely resembles þe Wyþoff construction, as þe Dynkin-graph shows. A polytope made by v+e would be @---@-5-o. In practice, we replace Mrs Stott's surtope names by þe polytope þat has coordinate, so þe truncated icosahedron @---@-5-o is þe sum of an icosahedron @---o-5-o and an icosadodecahedron o---@-5-o.\nStott-addition is someþing þat can be done in þe world of vectors: þe addition becomes þe addition of vertices in each reflective region.\nWe can 1ten establish five representative vertices of any polytope, of þe form @---@-5-@. Note þat some vertices will coincide. Þis happens when any of þe values are zero.\nA special form of þe dynkin symbol was devised specifically to serve as commas in þe coordinate system. Þis one uses þe old style letters as commas.\no---o    S    A polytope of þe\nTo find þe representative coordinates of such a polytope, one adds\nþe stott-vectors I + 2D from þe table above, eg\nÞe stott-vectors above represent a polytope of edge 2. Þis appaears to be þe form þat Coxeter works wiþ, and also þe usual formula þat give þe radius will here give þe more useful diameter.\nInstead of using cartesian coordinates at right angles, it is more useful to use oblique coordinates, such þat þe edges are as þey would be measured. We set þe paedel-measure to unity (an edge of two) for þe coordinate.\no...y=1....@         Þe oblique coordinates are\n/|         /          set so þe perpenducilar to\n/ 1        /           þe opposite wall is unity.\no----------o--------     Þe point @, might make an\n2              edge to þe base of 1, and\n=               a perpendicular to þe slope\nÞe Dot product is used to estbalish þe lengþ of a vector in orþogonal vector system. Here we are not using one, so we need to deal wiþ þe likes of x⋅y. Þis turns out to be fairly easy, since þe matrix is written as a grid of x⋅y.\nWe select þe þree vectors from þe same cell (ie row), and make a dot table of þeses\nWhat we have here is þe I, ID and D vectors of a representative sector. Þe matrix is þe dot product of þe individual vectors, eg I⋅ID. Because we plan to do lots of calculations, þey are expressed as xf+y, meaning xφ+y.\nOn þe right, we see þe evaluation of a radius for þe polytope 1s0f2, a rhombo-icosadodecahedron, wiþ sides of a triangle edge 1, a rectangle 1:2 and pentagons edge 2.\nÞe first is simply þe stott-vector 1s0f2. Þe second vector is þe matrix Stott⋅v. Þe final column is a row-by-row product, cumulating in þe sum at þe bottom.