Anti-commutating Basis Elements in Dirac

Geometric Algebra
Kurt Nalty
June 30, 2016
Abstract
This note documents the anti-commutating sets in Dirac Geometric algebra. I find 240 pairs, 640 triads, 480 tetrads and 192 pentads.

Minkowski Geometric Algebra

Dirac geometric algebra has
1. One scalar (q)
2. Five basis vectors (w, x, y, z, t)
3. Ten bivectors (wx, wy, wz, wt, xy, xz, xt, yz, yt, zt)
4. Ten trivectors (wxy, wxz, wxt, wyz, wyt, wzt, xyz, xyt, xzy, yzt)
5. Five quadvectors (wxyz, wxyt, wxzt, wyzt, xyzt), and
6. One pentavector (wxyzt).
Dirac geometric algebra has a signature of (+, +, +, +, ), meaning that
the unit basis vectors w, x, y, z, and t have squares w2 = 1, x2 = 1, y 2 =
1, z 2 = 1 but t2 = 1. Multiplication between the basis vectors is anticommutative, meaning xy = yz. Given that the scalar multiplication is
commutative with all elements, that the basis vectors are anti-commutative
among themselves, and that the squares of the basis vectors are given by the
signature, we can define the Minkowski geometric product without ambiguity.
1

The anti-commutating pairs are found by testing each possible pair for
AB + BA = 0 behavior. The 240 pairs found are stored in an array for the
later steps of finding triads, quads and pentads.
The 240 pairs in text format are
{w
,x
}
{w
,wz }
{w
,wxyz}
{x
,t
}
{x
,wyt }
{x
,xyzt}
{y
,yt }
{y
,wxyt}
{z
,yz }
{z
,wxyz}
{t
,yt }
{t
,wxyt}
{wx ,wt }
{wx ,wzt }
{wy ,wz }
{wy ,wxt }
{wy ,xyzt}
{wz ,wxt }
{wz ,xyzt}
{wt ,wyz }
{xy ,xz }
{xy ,wyz }
{xz ,xt }
{xz ,wzt }
{xt ,zt }
{xt ,yzt }
{yz ,wxz }
{yz ,wxzt}
{yt ,xyz }
{zt ,wyz }
{wxy ,wxz }
{wxy ,wxyz}
{wxz ,xzt }
{wxt ,xzt }
{wyz ,yzt }
{wyt ,wxyt}
{xyz ,xyt }
{xyt ,yzt }
{yzt ,wyzt}
{wxyt,wxzt}

{w
,y
}
{w
,wt }
{w
,wxyt}
{x
,wx }
{x
,wzt }
{y
,z
}
{y
,wxz }
{y
,wyzt}
{z
,zt }
{z
,wxzt}
{t
,zt }
{t
,wxzt}
{wx ,xy }
{wx ,xyz }
{wy ,wt }
{wy ,wzt }
{wz ,wt }
{wz ,wyt }
{wt ,xt }
{wt ,xyt }
{xy ,xt }
{xy ,wyt }
{xz ,yz }
{xz ,xyt }
{xt ,wxy }
{xt ,wxyz}
{yz ,wyt }
{yt ,zt }
{yt ,xzt }
{zt ,wyt }
{wxy ,wxt }
{wxy ,wxyt}
{wxz ,wxyz}
{wxt ,wxyt}
{wyz ,wxyz}
{wyt ,wyzt}
{xyz ,xzt }
{xyt ,wxyt}
{yzt ,xyzt}
{wxyt,wyzt}

{w
,z
}
{w
,xyz }
{w
,wxzt}
{x
,xy }
{x
,yzt }
{y
,t
}
{y
,wxt }
{y
,xyzt}
{z
,wxy }
{z
,wyzt}
{t
,wxy }
{t
,wyzt}
{wx ,xz }
{wx ,xyt }
{wy ,xy }
{wy ,xyz }
{wz ,xz }
{wz ,xyz }
{wt ,yt }
{wt ,xzt }
{xy ,yz }
{xy ,xzt }
{xz ,zt }
{xz ,yzt }
{xt ,wxz }
{xt ,wyzt}
{yz ,wzt }
{yt ,wxy }
{yt ,wxyz}
{zt ,xyz }
{wxy ,wyz }
{wxz ,wxt }
{wxz ,wxzt}
{wxt ,wxzt}
{wyz ,wyzt}
{wzt ,xzt }
{xyz ,yzt }
{xyt ,xyzt}
{wxyz,wxyt}
{wxyt,xyzt}

{w
,t
}
{w
,xyt }
{w
,wyzt}
{x
,xz }
{x
,wxyz}
{y
,wy }
{y
,wzt }
{z
,t
}
{z
,wxt }
{z
,xyzt}
{t
,wxz }
{t
,xyzt}
{wx ,xt }
{wx ,xzt }
{wy ,yz }
{wy ,xyt }
{wz ,yz }
{wz ,xzt }
{wt ,zt }
{wt ,yzt }
{xy ,yt }
{xy ,yzt }
{xz ,wxy }
{xz ,wxyt}
{xt ,wyt }
{yz ,yt }
{yz ,xyt }
{yt ,wxt }
{yt ,wxzt}
{zt ,xyt }
{wxy ,wyt }
{wxz ,wyz }
{wxt ,wyt }
{wyz ,wyt }
{wyt ,wzt }
{wzt ,yzt }
{xyz ,wxyz}
{xzt ,yzt }
{wxyz,wxzt}
{wxzt,wyzt}

{w
,wx }
{w
,xzt }
{x
,y
}
{x
,xt }
{x
,wxyt}
{y
,xy }
{y
,xzt }
{z
,wz }
{z
,wyt }
{t
,wt }
{t
,wyz }
{wx ,wy }
{wx ,wyz }
{wx ,wyzt}
{wy ,yt }
{wy ,yzt }
{wz ,zt }
{wz ,yzt }
{wt ,wxy }
{wt ,wxyz}
{xy ,wxz }
{xy ,wxzt}
{xz ,wxt }
{xz ,wyzt}
{xt ,wzt }
{yz ,zt }
{yz ,xzt }
{yt ,wyz }
{zt ,wxz }
{zt ,wxyz}
{wxy ,xyz }
{wxz ,wzt }
{wxt ,wzt }
{wyz ,wzt }
{wyt ,xyt }
{wzt ,wxzt}
{xyz ,xyzt}
{xzt ,wxzt}
{wxyz,wyzt}
{wxzt,xyzt}

{w
,wy }
{w
,yzt }
{x
,z
}
{x
,wyz }
{x
,wxzt}
{y
,yz }
{y
,wxyz}
{z
,xz }
{z
,xyt }
{t
,xt }
{t
,xyz }
{wx ,wz }
{wx ,wyt }
{wx ,xyzt}
{wy ,wxz }
{wy ,wxzt}
{wz ,wxy }
{wz ,wxyt}
{wt ,wxz }
{wt ,xyzt}
{xy ,wxt }
{xy ,wyzt}
{xz ,wyz }
{xt ,yt }
{xt ,xyz }
{yz ,wxy }
{yz ,wxyt}
{yt ,wzt }
{zt ,wxt }
{zt ,wxyt}
{wxy ,xyt }
{wxz ,xyz }
{wxt ,xyt }
{wyz ,xyz }
{wyt ,yzt }
{wzt ,wyzt}
{xyt ,xzt }
{xzt ,xyzt}
{wxyz,xyzt}
{wyzt,xyzt}

The 640 triads are found by a simple process. For each of the 240 pairs
found previously, we test each of the sixteen basis as a candidate third member. If this candidate third member anti-commutates with the first two
members, we add this triad to a list of anti-commutating triples.
Here are the 640 anti-commutating triples.
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{y
{y
{y
{y
{y
{y
{y
{y
{y
{y
{z
{z
{z
{z
{z

,x
,y
}
,x
,wxyz}
,y
,wy }
,z
,t
}
,z
,wyzt}
,t
,wyzt}
,wx ,xyt }
,wy ,xyz }
,wz ,xyz }
,wt ,xzt }
,xyz ,yzt }
,xzt ,yzt }
,wxyz,wyzt}
,y
,t
}
,y
,xyzt}
,z
,wxzt}
,t
,wxzt}
,wx ,wyz }
,xy ,xt }
,xz ,xt }
,xt ,wyt }
,wyz ,wzt }
,wyt ,wxyt}
,wxyz,wxzt}
,z
,t
}
,z
,xyzt}
,t
,xyzt}
,wy ,wxt }
,xy ,wxz }
,yz ,wxz }
,yt ,wzt }
,wxz ,xzt }
,wzt ,xzt }
,wxyz,xyzt}
,t
,wxy }
,wz ,yz }
,wz ,xyzt}
,xz ,xyt }
,yz ,xyt }

{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{y
{y
{y
{y
{y
{y
{y
{y
{y
{y
{z
{z
{z
{z
{z

,x
,z
}
,x
,wxyt}
,y
,xzt }
,z
,wz }
,t
,wt }
,wx ,wy }
,wx ,xzt }
,wy ,xyt }
,wz ,xzt }
,wt ,yzt }
,xyz ,wxyz}
,xzt ,wxzt}
,wxyt,wxzt}
,y
,xy }
,z
,t
}
,z
,xyzt}
,t
,xyzt}
,wx ,wyt }
,xy ,wyz }
,xz ,wyz }
,xt ,wzt }
,wyz ,yzt }
,wzt ,yzt }
,wxyz,xyzt}
,z
,yz }
,t
,yt }
,wy ,xy }
,wy ,wzt }
,xy ,wxt }
,yz ,wzt }
,yt ,xzt }
,wxz ,wxyz}
,wzt ,wyzt}
,wxyt,wyzt}
,t
,wxzt}
,wz ,zt }
,xz ,yz }
,xz ,wyzt}
,yz ,wxzt}

{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{y
{y
{y
{y
{y
{y
{y
{y
{y
{y
{z
{z
{z
{z
{z

,x
,t
}
,x
,wxzt}
,y
,wxyz}
,z
,xyt }
,t
,xyz }
,wx ,wz }
,wx ,wyzt}
,wy ,yzt }
,wz ,yzt }
,wt ,wxyz}
,xyt ,xzt }
,yzt ,wyzt}
,wxyt,wyzt}
,y
,wzt }
,z
,xz }
,t
,xt }
,wx ,xy }
,wx ,wzt }
,xy ,wyt }
,xz ,wzt }
,xt ,yzt }
,wyz ,wxyz}
,wzt ,wxzt}
,wxyt,wxzt}
,z
,wxt }
,t
,wxz }
,wy ,yz }
,wy ,xyzt}
,xy ,xzt }
,yz ,xzt }
,yt ,wxyz}
,wxt ,wzt }
,xzt ,xyzt}
,wxyt,xyzt}
,t
,wyzt}
,wz ,wxy }
,xz ,zt }
,yz ,zt }
,zt ,wxt }

{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{y
{y
{y
{y
{y
{y
{y
{y
{y
{y
{z
{z
{z
{z
{z

,x
,wx }
,y
,z
}
,y
,wxyt}
,z
,wxyz}
,t
,wxyt}
,wx ,wt }
,wy ,wz }
,wy ,wxzt}
,wz ,wxyt}
,xyz ,xyt }
,xyt ,yzt }
,wxyz,wxyt}
,wxzt,wyzt}
,y
,wxyz}
,z
,wyt }
,t
,wyz }
,wx ,xz }
,wx ,xyzt}
,xy ,yzt }
,xz ,yzt }
,xt ,wxyz}
,wyt ,wzt }
,yzt ,xyzt}
,wxyt,xyzt}
,z
,wxyz}
,t
,wxyt}
,wy ,yt }
,xy ,yz }
,xy ,wyzt}
,yz ,wxyt}
,wxz ,wxt }
,wxt ,xzt }
,wxyz,wxyt}
,wyzt,xyzt}
,t
,xyzt}
,wz ,wxt }
,xz ,wxy }
,yz ,wxy }
,zt ,wyt }

{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{y
{y
{y
{y
{y
{y
{y
{y
{y
{z
{z
{z
{z
{z
{z

,x
,yzt }
,y
,t
}
,y
,wyzt}
,z
,wxzt}
,t
,wxzt}
,wx ,xyz }
,wy ,wt }
,wz ,wt }
,wt ,xyt }
,xyz ,xzt }
,xyt ,wxyt}
,wxyz,wxzt}
,y
,z
}
,y
,wxyt}
,z
,wxyz}
,t
,wxyt}
,wx ,xt }
,xy ,xz }
,xy ,wxzt}
,xz ,wxyt}
,wyz ,wyt }
,wyt ,yzt }
,wxyz,wxyt}
,wxzt,xyzt}
,z
,wyzt}
,t
,wyzt}
,wy ,wxz }
,xy ,yt }
,yz ,yt }
,yt ,wxt }
,wxz ,wzt }
,wxt ,wxyt}
,wxyz,wyzt}
,t
,zt }
,wz ,xz }
,wz ,wyt }
,xz ,wxt }
,yz ,wyt }
,zt ,xyt }

{z
{z
{z
{z
{t
{t
{t
{t
{t
{t
{t
{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wz
{wz
{wz
{wz
{wz
{wz
{wz
{wt
{wt
{wt
{wt
{wt
{wt
{xy
{xy

,zt ,wxyz}
,wxt ,wyt }
,xyt ,xyzt}
,wxzt,xyzt}
,wt ,wxy }
,xt ,zt }
,yt ,zt }
,zt ,wxz }
,wxy ,wyz }
,wxz ,wxzt}
,wxyt,wyzt}
,wy ,wz }
,wy ,xyt }
,wz ,xyz }
,wt ,xyt }
,xy ,wyz }
,xz ,wyz }
,xt ,wzt }
,wyz ,xyz }
,wzt ,xzt }
,xyt ,xzt }
,wz ,yz }
,wt ,yt }
,xy ,yz }
,xy ,wxzt}
,yz ,wxzt}
,wxz ,wxt }
,wxt ,xyt }
,xyz ,yzt }
,wxzt,xyzt}
,wt ,xyzt}
,xz ,yzt }
,yz ,xzt }
,zt ,wxyt}
,wxt ,wyt }
,xyz ,xzt }
,yzt ,xyzt}
,xt ,wxz }
,yt ,wyz }
,zt ,xyt }
,wxy ,wxyz}
,wyz ,wxyz}
,xzt ,xyzt}
,xz ,wxt }
,xt ,wxz }

{z
{z
{z
{z
{t
{t
{t
{t
{t
{t
{t
{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wz
{wz
{wz
{wz
{wz
{wz
{wz
{wz
{wt
{wt
{wt
{wt
{wt
{wt
{xy
{xy

,wxy ,wxt }
,wxt ,xyt }
,wxyz,wxzt}
,wyzt,xyzt}
,wt ,wxz }
,xt ,wxy }
,yt ,wxy }
,zt ,wyz }
,wxy ,xyz }
,wyz ,xyz }
,wxyt,xyzt}
,wy ,wt }
,wy ,xyzt}
,wz ,xzt }
,wt ,xzt }
,xy ,wyt }
,xz ,wzt }
,xt ,xyz }
,wyz ,wyzt}
,wzt ,wyzt}
,xyt ,xyzt}
,wz ,wxt }
,wt ,wxz }
,xy ,yt }
,yz ,yt }
,yt ,wxt }
,wxz ,wzt }
,wxt ,wxzt}
,xyz ,xyzt}
,wt ,zt }
,xz ,yz }
,xz ,wxyt}
,yz ,wxyt}
,wxy ,wxt }
,wxt ,xzt }
,xyz ,yzt }
,wxyt,xyzt}
,xt ,yzt }
,yt ,xzt }
,zt ,wxyz}
,wxz ,wyz }
,xyt ,xzt }
,yzt ,xyzt}
,xz ,wyz }
,xt ,wyt }

{z
{z
{z
{t
{t
{t
{t
{t
{t
{t
{t
{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wz
{wz
{wz
{wz
{wz
{wz
{wz
{wt
{wt
{wt
{wt
{wt
{wt
{wt
{xy
{xy

,wxy ,wyt }
,wxt ,wxzt}
,wxyz,wyzt}
,wt ,xt }
,wt ,wyz }
,xt ,wxz }
,yt ,wyz }
,zt ,xyz }
,wxy ,wxyt}
,wyz ,wyzt}
,wxzt,wyzt}
,wy ,xy }
,wz ,wt }
,wz ,xyzt}
,wt ,xyzt}
,xy ,xzt }
,xz ,xyt }
,xt ,wyzt}
,wyt ,wzt }
,xyz ,xyt }
,xzt ,xyzt}
,wz ,xyz }
,wt ,xyt }
,xy ,wxz }
,yz ,wxz }
,yt ,wzt }
,wxz ,xyz }
,wzt ,yzt }
,xyt ,yzt }
,wt ,wxy }
,xz ,zt }
,yz ,zt }
,zt ,wxt }
,wxy ,wyt }
,wxt ,wxyt}
,xyz ,xyzt}
,xt ,yt }
,xt ,wxyz}
,yt ,wxyz}
,wxy ,wxz }
,wxz ,xzt }
,xyt ,yzt }
,wxyz,xyzt}
,xz ,yzt }
,xt ,yzt }

{z
{z
{z
{t
{t
{t
{t
{t
{t
{t
{t
{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wz
{wz
{wz
{wz
{wz
{wz
{wz
{wt
{wt
{wt
{wt
{wt
{wt
{xy
{xy
{xy

,wxy ,xyt }
,wyt ,xyt }
,wxyz,xyzt}
,wt ,yt }
,wt ,xyzt}
,xt ,xyz }
,yt ,xyz }
,zt ,wxyt}
,wxz ,wyz }
,xyz ,xyzt}
,wxzt,xyzt}
,wy ,wzt }
,wz ,xz }
,wt ,xt }
,xy ,xz }
,xy ,wyzt}
,xz ,wyzt}
,wyz ,wyt }
,wyt ,xyt }
,xyz ,xzt }
,wyzt,xyzt}
,wz ,yzt }
,wt ,yzt }
,xy ,wxt }
,yz ,wzt }
,yt ,xyz }
,wxz ,wxzt}
,wzt ,wxzt}
,xyt ,xyzt}
,wt ,xzt }
,xz ,wxy }
,yz ,wxy }
,zt ,wyt }
,wxy ,xyz }
,wyt ,yzt }
,xzt ,yzt }
,xt ,zt }
,yt ,zt }
,zt ,wxz }
,wxy ,wyz }
,wxz ,wxyz}
,xyt ,xyzt}
,xz ,xt }
,xz ,wyzt}
,xt ,wyzt}

{z
{z
{z
{t
{t
{t
{t
{t
{t
{t
{t
{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wz
{wz
{wz
{wz
{wz
{wz
{wz
{wt
{wt
{wt
{wt
{wt
{wt
{xy
{xy
{xy

,wxy ,wxyz}
,wyt ,wyzt}
,wxzt,wyzt}
,wt ,zt }
,xt ,yt }
,xt ,wyzt}
,yt ,wxzt}
,wxy ,wxz }
,wxz ,xyz }
,wxyt,wxzt}
,wyzt,xyzt}
,wy ,xyz }
,wz ,wyt }
,wt ,wyz }
,xy ,xt }
,xz ,xt }
,xt ,wyt }
,wyz ,wzt }
,wyt ,wyzt}
,xyz ,xyzt}
,wz ,wt }
,wz ,xyzt}
,wt ,xyzt}
,xy ,yzt }
,yz ,xyt }
,yt ,wxzt}
,wxt ,wzt }
,xyz ,xyt }
,yzt ,xyzt}
,wt ,yzt }
,xz ,wxt }
,yz ,wyt }
,zt ,xyz }
,wxy ,wxyt}
,wyt ,wxyt}
,xzt ,xyzt}
,xt ,wxy }
,yt ,wxy }
,zt ,wyz }
,wxy ,xyt }
,wyz ,yzt }
,xzt ,yzt }
,xz ,yz }
,xt ,yt }
,yz ,yt }

{xy ,yz ,wxz }

{xy ,yt ,wyz }
{xy ,wxz ,xzt }
{xy ,wyz ,wyt }
{xy ,xzt ,yzt }
{xz ,xt ,wxy }
{xz ,yz ,wxy }
{xz ,zt ,wyz }
{xz ,wxy ,xyt }
{xz ,wyz ,wzt }
{xz ,xyt ,yzt }
{xt ,yt ,wxy }
{xt ,zt ,wyt }
{xt ,wxy ,xyz }
{xt ,wyt ,wzt }
{xt ,xyz ,yzt }
{yz ,yt ,wxy }
{yz ,zt ,wyt }
{yz ,wxy ,xyt }
{yz ,wyt ,wzt }
{yz ,xyt ,xzt }
{yt ,zt ,wyz }
{yt ,wxy ,xyz }
{yt ,wyz ,wzt }
{yt ,xyz ,xzt }
{zt ,wxz ,wyz }
{zt ,wxt ,wxyt}
{zt ,wyt ,wxyt}
{wxy ,wxz ,wxt }
{wxy ,wxt ,xyt }
{wxy ,wyt ,xyt }
{wxy ,wxyz,wxyt}
{wxz ,wyz ,xyz }
{wxz ,xyz ,wxyz}
{wxt ,wyt ,wxyt}
{wxt ,xzt ,wxzt}
{wyz ,wzt ,yzt }
{wyz ,wxyz,wyzt}
{wyt ,yzt ,wyzt}
{wzt ,wxzt,wyzt}
{xyz ,xzt ,xyzt}
{xyt ,yzt ,xyzt}
{wxyz,wxyt,wxzt}
{wxyz,wyzt,xyzt}

{xy ,yz ,wyt }

{xy ,yt ,xzt }
{xy ,wxz ,wxzt}
{xy ,wyz ,yzt }
{xy ,xzt ,wxzt}
{xz ,xt ,wzt }
{xz ,yz ,wzt }
{xz ,zt ,xyt }
{xz ,wxy ,wxyt}
{xz ,wyz ,yzt }
{xz ,xyt ,wxyt}
{xt ,yt ,wzt }
{xt ,zt ,xyz }
{xt ,wxy ,wxyz}
{xt ,wyt ,yzt }
{xt ,xyz ,wxyz}
{yz ,yt ,wzt }
{yz ,zt ,xyt }
{yz ,wxy ,wxyt}
{yz ,wyt ,xyt }
{yz ,xyt ,wxyt}
{yt ,zt ,xyz }
{yt ,wxy ,wxyz}
{yt ,wyz ,xyz }
{yt ,xyz ,wxyz}
{zt ,wxz ,xyz }
{zt ,wyz ,wyt }
{zt ,xyz ,xyt }
{wxy ,wxz ,wyz }
{wxy ,wxt ,wxyt}
{wxy ,wyt ,wxyt}
{wxz ,wxt ,wzt }
{wxz ,wyz ,wxyz}
{wxz ,xzt ,wxzt}
{wxt ,wzt ,xzt }
{wxt ,wxyt,wxzt}
{wyz ,wzt ,wyzt}
{wyt ,wzt ,yzt }
{wyt ,wxyt,wyzt}
{xyz ,xyt ,xzt }
{xyz ,yzt ,xyzt}
{xyt ,wxyt,xyzt}
{wxyz,wxyt,wyzt}
{wxyt,wxzt,wyzt}

{xy ,yz ,xzt }

{xy ,yt ,wxzt}
{xy ,wxt ,wyt }
{xy ,wyz ,wyzt}
{xy ,yzt ,wyzt}
{xz ,xt ,yzt }
{xz ,yz ,xyt }
{xz ,zt ,wxyt}
{xz ,wxt ,wzt }
{xz ,wyz ,wyzt}
{xz ,yzt ,wyzt}
{xt ,yt ,xyz }
{xt ,zt ,wxyz}
{xt ,wxz ,wzt }
{xt ,wyt ,wyzt}
{xt ,yzt ,wyzt}
{yz ,yt ,xzt }
{yz ,zt ,wxyt}
{yz ,wxz ,wzt }
{yz ,wyt ,wxyt}
{yz ,xzt ,wxzt}
{yt ,zt ,wxyz}
{yt ,wxt ,wzt }
{yt ,wyz ,wxyz}
{yt ,xzt ,wxzt}
{zt ,wxz ,wxyz}
{zt ,wyz ,xyz }
{zt ,xyz ,wxyz}
{wxy ,wxz ,xyz }
{wxy ,wyz ,wyt }
{wxy ,xyz ,xyt }
{wxz ,wxt ,xzt }
{wxz ,wzt ,xzt }
{wxz ,wxyz,wxzt}
{wxt ,wzt ,wxzt}
{wyz ,wyt ,wzt }
{wyz ,xyz ,yzt }
{wyt ,wzt ,wyzt}
{wzt ,xzt ,yzt }
{xyz ,xyt ,yzt }
{xyz ,wxyz,xyzt}
{xzt ,yzt ,xyzt}
{wxyz,wxyt,xyzt}
{wxyt,wxzt,xyzt}

{xy ,yz ,wxzt}

{xy ,wxz ,wxt }
{xy ,wxt ,xzt }
{xy ,wyt ,yzt }
{xy ,wxzt,wyzt}
{xz ,xt ,wyzt}
{xz ,yz ,wxyt}
{xz ,wxy ,wxt }
{xz ,wxt ,xyt }
{xz ,wzt ,yzt }
{xz ,wxyt,wyzt}
{xt ,yt ,wxyz}
{xt ,wxy ,wxz }
{xt ,wxz ,xyz }
{xt ,wzt ,yzt }
{xt ,wxyz,wyzt}
{yz ,yt ,wxzt}
{yz ,wxy ,wxz }
{yz ,wxz ,xzt }
{yz ,wzt ,xzt }
{yz ,wxyt,wxzt}
{yt ,wxy ,wxt }
{yt ,wxt ,xzt }
{yt ,wzt ,xzt }
{yt ,wxyz,wxzt}
{zt ,wxt ,wyt }
{zt ,wyz ,wxyz}
{zt ,xyt ,wxyt}
{wxy ,wxz ,wxyz}
{wxy ,wyz ,xyz }
{wxy ,xyz ,wxyz}
{wxz ,wxt ,wxzt}
{wxz ,wzt ,wxzt}
{wxt ,wyt ,wzt }
{wxt ,xyt ,xzt }
{wyz ,wyt ,yzt }
{wyz ,xyz ,wxyz}
{wyt ,xyt ,yzt }
{wzt ,xzt ,wxzt}
{xyz ,xyt ,xyzt}
{xyt ,xzt ,yzt }
{xzt ,wxzt,xyzt}
{wxyz,wxzt,wyzt}
{wxyt,wyzt,xyzt}

{xy ,yt ,wxt }

{xy ,wxz ,wyz }
{xy ,wxt ,wxzt}
{xy ,wyt ,wyzt}
{xz ,xt ,zt }
{xz ,yz ,zt }
{xz ,zt ,wxt }
{xz ,wxy ,wyz }
{xz ,wxt ,wxyt}
{xz ,wzt ,wyzt}
{xt ,yt ,zt }
{xt ,zt ,wxz }
{xt ,wxy ,wyt }
{xt ,wxz ,wxyz}
{xt ,wzt ,wyzt}
{yz ,yt ,zt }
{yz ,zt ,wxz }
{yz ,wxy ,wyt }
{yz ,wxz ,wxzt}
{yz ,wzt ,wxzt}
{yt ,zt ,wxt }
{yt ,wxy ,wyz }
{yt ,wxt ,wxzt}
{yt ,wzt ,wxzt}
{zt ,wxz ,wxt }
{zt ,wxt ,xyt }
{zt ,wyt ,xyt }
{zt ,wxyz,wxyt}
{wxy ,wxt ,wyt }
{wxy ,wyz ,wxyz}
{wxy ,xyt ,wxyt}
{wxz ,wyz ,wzt }
{wxz ,xyz ,xzt }
{wxt ,wyt ,xyt }
{wxt ,xyt ,wxyt}
{wyz ,wyt ,wyzt}
{wyz ,yzt ,wyzt}
{wyt ,xyt ,wxyt}
{wzt ,yzt ,wyzt}
{xyz ,xzt ,yzt }
{xyt ,xzt ,xyzt}
{yzt ,wyzt,xyzt}
{wxyz,wxzt,xyzt}
{wxzt,wyzt,xyzt}

We now find our list of quads by the same method just used for the triads.
For each triad, we test each of the sixteen basis as a candidate fourth element.
If the basis anti-commutates with each of the previous three members, we
add this quad to the list of quads. We find 480 quads.
Here are the 480 quads.
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x

,x
,y
,z
}
,x
,y
,wxyt}
,x
,z
,wxzt}
,x
,wxyz,wxyt}
,y
,z
,t
}
,y
,t
,wxyt}
,y
,wxyz,wyzt}
,z
,t
,wyzt}
,z
,wxzt,wyzt}
,t
,wxzt,wyzt}
,wx ,wy ,xyz }
,wx ,wz ,xyz }
,wx ,wt ,xzt }
,wx ,xyt ,xzt }
,wy ,wz ,yzt }
,wy ,xyz ,xyt }
,wz ,wt ,xzt }
,wz ,xyz ,yzt }
,wt ,xyt ,yzt }
,xyz ,xyt ,yzt }
,wxyz,wxyt,wxzt}
,wxyt,wxzt,wyzt}
,y
,z
,xyzt}
,y
,wxyz,wxyt}
,z
,t
,wxzt}
,z
,wxyz,xyzt}
,t
,wxyt,xyzt}
,wx ,xy ,xt }
,wx ,xz ,xt }
,wx ,xt ,wyt }
,wx ,wyz ,wzt }
,xy ,xz ,wyz }
,xy ,xt ,yzt }
,xy ,wyt ,yzt }
,xz ,wyz ,wzt }
,xt ,wyt ,wzt }
,wyz ,wyt ,wzt }
,wyt ,wzt ,yzt }
,wxyz,wxzt,xyzt}

{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x

,x
,y
,t
}
,x
,z
,t
}
,x
,t
,wxyt}
,x
,wxyz,wxzt}
,y
,z
,wxyz}
,y
,t
,wyzt}
,y
,wxyt,wyzt}
,z
,wxyz,wxzt}
,t
,wxyt,wxzt}
,wx ,wy ,wz }
,wx ,wy ,xyt }
,wx ,wz ,xzt }
,wx ,xyz ,xyt }
,wy ,wz ,wt }
,wy ,wt ,xyt }
,wy ,xyz ,yzt }
,wz ,wt ,yzt }
,wz ,xzt ,yzt }
,wt ,xzt ,yzt }
,xyz ,xzt ,yzt }
,wxyz,wxyt,wyzt}
,y
,z
,t
}
,y
,t
,wxyt}
,y
,wxyz,xyzt}
,z
,t
,xyzt}
,z
,wxzt,xyzt}
,t
,wxzt,xyzt}
,wx ,xy ,wyz }
,wx ,xz ,wyz }
,wx ,xt ,wzt }
,wx ,wyt ,wzt }
,xy ,xz ,yzt }
,xy ,wyz ,wyt }
,xz ,xt ,wzt }
,xz ,wyz ,yzt }
,xt ,wyt ,yzt }
,wyz ,wyt ,yzt }
,wxyz,wxyt,wxzt}
,wxyt,wxzt,xyzt}

{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{w
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{x
{y

,x
,y
,wxyz}
,x
,z
,wxyz}
,x
,t
,wxzt}
,x
,wxyt,wxzt}
,y
,z
,wyzt}
,y
,wxyz,wxyt}
,z
,t
,wxzt}
,z
,wxyz,wyzt}
,t
,wxyt,wyzt}
,wx ,wy ,wt }
,wx ,wz ,wt }
,wx ,wt ,xyt }
,wx ,xyz ,xzt }
,wy ,wz ,xyz }
,wy ,wt ,yzt }
,wy ,xyt ,yzt }
,wz ,xyz ,xzt }
,wt ,xyt ,xzt }
,xyz ,xyt ,xzt }
,xyt ,xzt ,yzt }
,wxyz,wxzt,wyzt}
,y
,z
,wxyz}
,y
,t
,xyzt}
,y
,wxyt,xyzt}
,z
,wxyz,wxzt}
,t
,wxyt,wxzt}
,wx ,xy ,xz }
,wx ,xy ,wyt }
,wx ,xz ,wzt }
,wx ,wyz ,wyt }
,xy ,xz ,xt }
,xy ,xt ,wyt }
,xy ,wyz ,yzt }
,xz ,xt ,yzt }
,xz ,wzt ,yzt }
,xt ,wzt ,yzt }
,wyz ,wzt ,yzt }
,wxyz,wxyt,xyzt}
,z
,t
,wyzt}

{y
{y
{y
{y
{y
{y
{y
{y
{y
{y
{y
{y
{y
{y
{y
{z
{z
{z
{z
{z
{z
{z
{z
{z
{z
{z
{z
{z
{t
{t
{t
{t
{t
{t
{t
{t
{t
{t
{t
{t
{wx
{wx
{wx
{wx
{wx

,z
,t
,xyzt}
,z
,wyzt,xyzt}
,t
,wyzt,xyzt}
,wy ,xy ,wxz }
,wy ,yz ,wxz }
,wy ,yt ,wzt }
,wy ,wxt ,wzt }
,xy ,yz ,xzt }
,xy ,wxz ,wxt }
,yz ,yt ,wzt }
,yz ,wxz ,xzt }
,yt ,wxt ,xzt }
,wxz ,wxt ,xzt }
,wxyz,wxyt,wyzt}
,wxyt,wyzt,xyzt}
,t
,wyzt,xyzt}
,wz ,xz ,wxy }
,wz ,yz ,wxy }
,wz ,zt ,wyt }
,wz ,wxt ,wyt }
,xz ,yz ,xyt }
,xz ,wxy ,wxt }
,yz ,zt ,wyt }
,yz ,wxy ,xyt }
,zt ,wxt ,xyt }
,wxy ,wxt ,xyt }
,wxyz,wxzt,wyzt}
,wxzt,wyzt,xyzt}
,wt ,xt ,wxy }
,wt ,yt ,wxy }
,wt ,zt ,wyz }
,wt ,wxz ,wyz }
,xt ,yt ,xyz }
,xt ,wxy ,wxz }
,yt ,zt ,wyz }
,yt ,wxy ,xyz }
,zt ,wxz ,xyz }
,wxy ,wxz ,xyz }
,wxyt,wxzt,wyzt}
,wxzt,wyzt,xyzt}
,wy ,wz ,xyzt}
,wy ,xyz ,xyt }
,wz ,wt ,xzt }
,wz ,xyz ,xyzt}
,wt ,xyt ,xyzt}

{y
{y
{y
{y
{y
{y
{y
{y
{y
{y
{y
{y
{y
{y
{z
{z
{z
{z
{z
{z
{z
{z
{z
{z
{z
{z
{z
{t
{t
{t
{t
{t
{t
{t
{t
{t
{t
{t
{t
{wx
{wx
{wx
{wx
{wx
{wx

,z
,wxyz,wyzt}
,t
,wxyt,wyzt}
,wy ,xy ,yz }
,wy ,xy ,wxt }
,wy ,yz ,wzt }
,wy ,wxz ,wxt }
,xy ,yz ,yt }
,xy ,yt ,wxt }
,xy ,wxz ,xzt }
,yz ,yt ,xzt }
,yz ,wzt ,xzt }
,yt ,wzt ,xzt }
,wxz ,wzt ,xzt }
,wxyz,wxyt,xyzt}
,t
,wxzt,wyzt}
,wz ,xz ,yz }
,wz ,xz ,wxt }
,wz ,yz ,wyt }
,wz ,wxy ,wxt }
,xz ,yz ,zt }
,xz ,zt ,wxt }
,xz ,wxy ,xyt }
,yz ,zt ,xyt }
,yz ,wyt ,xyt }
,zt ,wyt ,xyt }
,wxy ,wyt ,xyt }
,wxyz,wxzt,xyzt}
,wt ,xt ,yt }
,wt ,xt ,wxz }
,wt ,yt ,wyz }
,wt ,wxy ,wxz }
,xt ,yt ,zt }
,xt ,zt ,wxz }
,xt ,wxy ,xyz }
,yt ,zt ,xyz }
,yt ,wyz ,xyz }
,zt ,wyz ,xyz }
,wxy ,wyz ,xyz }
,wxyt,wxzt,xyzt}
,wy ,wz ,wt }
,wy ,wt ,xyt }
,wy ,xyz ,xyzt}
,wz ,wt ,xyzt}
,wz ,xzt ,xyzt}
,wt ,xzt ,xyzt}

{y
{y
{y
{y
{y
{y
{y
{y
{y
{y
{y
{y
{y
{y
{z
{z
{z
{z
{z
{z
{z
{z
{z
{z
{z
{z
{z
{t
{t
{t
{t
{t
{t
{t
{t
{t
{t
{t
{t
{wx
{wx
{wx
{wx
{wx
{wx

,z
,wxyz,xyzt}
,t
,wxyt,xyzt}
,wy ,xy ,yt }
,wy ,yz ,yt }
,wy ,yt ,wxt }
,wy ,wxz ,wzt }
,xy ,yz ,wxz }
,xy ,yt ,xzt }
,xy ,wxt ,xzt }
,yz ,wxz ,wzt }
,yt ,wxt ,wzt }
,wxz ,wxt ,wzt }
,wxt ,wzt ,xzt }
,wxyz,wyzt,xyzt}
,t
,wxzt,xyzt}
,wz ,xz ,zt }
,wz ,yz ,zt }
,wz ,zt ,wxt }
,wz ,wxy ,wyt }
,xz ,yz ,wxy }
,xz ,zt ,xyt }
,xz ,wxt ,xyt }
,yz ,wxy ,wyt }
,zt ,wxt ,wyt }
,wxy ,wxt ,wyt }
,wxt ,wyt ,xyt }
,wxyz,wyzt,xyzt}
,wt ,xt ,zt }
,wt ,yt ,zt }
,wt ,zt ,wxz }
,wt ,wxy ,wyz }
,xt ,yt ,wxy }
,xt ,zt ,xyz }
,xt ,wxz ,xyz }
,yt ,wxy ,wyz }
,zt ,wxz ,wyz }
,wxy ,wxz ,wyz }
,wxz ,wyz ,xyz }
,wxyt,wyzt,xyzt}
,wy ,wz ,xyz }
,wy ,wt ,xyzt}
,wy ,xyt ,xyzt}
,wz ,xyz ,xzt }
,wt ,xyt ,xzt }
,xy ,xz ,xt }

{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wz
{wz
{wz
{wz
{wz
{wz
{wz
{wz
{wz
{wt
{wt
{wt
{wt
{wt
{wt
{wt
{wt
{xy
{xy
{xy
{xy
{xy
{xy
{xy
{xy
{xz

,xy
,xy
,xy
,xz
,xt
,wyz
,wyt
,xyz
,wz
,wz
,wt
,xy
,xy
,yz
,yz
,yt
,wxz
,xyz
,xyt
,wt
,xz
,xz
,yz
,yz
,zt
,wxy
,xyz
,xzt
,xt
,xt
,yt
,yt
,zt
,wxy
,xyt
,xzt
,xz
,xt
,yz
,yz
,yt
,wxz
,wyz
,wyt
,xt

,xz
,xt
,wyt
,wyz
,wyt
,wyt
,wzt
,xzt
,wt
,yzt
,yzt
,yz
,wxz
,yt
,wxz
,wxt
,wxt
,xyt
,yzt
,yzt
,yz
,wxy
,zt
,wxy
,wxt
,wxt
,xzt
,yzt
,yt
,wxy
,zt
,wxy
,wxz
,wxz
,xzt
,yzt
,wyz
,wyt
,yt
,wxz
,wxt
,wxt
,wyt
,yzt
,yzt

,wyz }
,wyzt}
,wyzt}
,wzt }
,wzt }
,wzt }
,wyzt}
,xyzt}
,xyzt}
,xyzt}
,xyzt}
,wxzt}
,wxt }
,wzt }
,wxzt}
,wxzt}
,wxzt}
,yzt }
,xyzt}
,xyzt}
,wxyt}
,wxt }
,wyt }
,wxyt}
,wxyt}
,wxyt}
,yzt }
,xyzt}
,wxyz}
,wxz }
,wyz }
,wxyz}
,wxyz}
,wxyz}
,yzt }
,xyzt}
,yzt }
,yzt }
,xzt }
,wxzt}
,wxzt}
,wxzt}
,yzt }
,wyzt}
,wyzt}

{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wz
{wz
{wz
{wz
{wz
{wz
{wz
{wz
{wz
{wt
{wt
{wt
{wt
{wt
{wt
{wt
{wt
{xy
{xy
{xy
{xy
{xy
{xy
{xy
{xy
{xz
{xz

,xy
,xy
,xz
,xz
,xt
,wyz
,xyz
,xyt
,wz
,wt
,xy
,xy
,xy
,yz
,yz
,yt
,wxz
,xyz
,wt
,xz
,xz
,xz
,yz
,yz
,zt
,wxy
,xyz
,xt
,xt
,xt
,yt
,yt
,zt
,wxy
,xyt
,xz
,xz
,xt
,yz
,yz
,yt
,wxz
,wyz
,xt
,yz

,xz
,wyz
,xt
,wyz
,wyt
,wyt
,xyt
,xzt
,xyz
,xyt
,yz
,yt
,wxz
,yt
,wzt
,wzt
,wzt
,xyt
,xzt
,yz
,zt
,wxy
,zt
,wyt
,wyt
,wyt
,xzt
,yt
,zt
,wxy
,zt
,wyz
,wyz
,wyz
,xzt
,xt
,wyz
,wyt
,yt
,xzt
,xzt
,xzt
,wyt
,wzt
,zt

,wyzt}
,wyt }
,wzt }
,wyzt}
,wyzt}
,wyzt}
,xzt }
,xyzt}
,yzt }
,yzt }
,yt }
,wxt }
,wxzt}
,wxzt}
,wxzt}
,wxzt}
,wxzt}
,xyzt}
,yzt }
,zt }
,wxt }
,wxyt}
,wxyt}
,wxyt}
,wxyt}
,wxyt}
,xyzt}
,zt }
,wxz }
,wxyz}
,wxyz}
,wxyz}
,wxyz}
,wxyz}
,xyzt}
,yzt }
,wyzt}
,wyzt}
,wxzt}
,wxzt}
,wxzt}
,wxzt}
,wyzt}
,yzt }
,xyt }

{wx
{wx
{wx
{wx
{wx
{wx
{wx
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wy
{wz
{wz
{wz
{wz
{wz
{wz
{wz
{wz
{wz
{wt
{wt
{wt
{wt
{wt
{wt
{wt
{wt
{xy
{xy
{xy
{xy
{xy
{xy
{xy
{xy
{xz
{xz

,xy
,xy
,xz
,xz
,xt
,wyz
,xyz
,wz
,wz
,wt
,xy
,xy
,xy
,yz
,yt
,wxz
,wxt
,xyz
,wt
,xz
,xz
,xz
,yz
,zt
,wxy
,wxt
,xyz
,xt
,xt
,xt
,yt
,zt
,wxy
,wxz
,xyt
,xz
,xz
,xt
,yz
,yt
,wxz
,wxt
,wyz
,xt
,yz

,xt
,wyz
,xt
,wzt
,wzt
,wzt
,xyt
,wt
,xyz
,xyt
,yz
,yt
,wxt
,wxz
,wxt
,wxt
,wzt
,yzt
,xzt
,yz
,zt
,wxt
,wxy
,wxt
,wxt
,wyt
,yzt
,yt
,zt
,wxz
,wxy
,wxz
,wxz
,wyz
,yzt
,xt
,yzt
,yzt
,wxz
,wxt
,wxt
,xzt
,yzt
,wzt
,zt

,wyt }
,wyzt}
,wyzt}
,wyzt}
,wyzt}
,wyzt}
,xyzt}
,yzt }
,xyzt}
,xyzt}
,wxz }
,wxzt}
,wxzt}
,wzt }
,wzt }
,wzt }
,wxzt}
,xyzt}
,xyzt}
,wxy }
,wxyt}
,wxyt}
,wyt }
,wyt }
,wyt }
,wxyt}
,xyzt}
,wxy }
,wxyz}
,wxyz}
,wyz }
,wyz }
,wyz }
,wxyz}
,xyzt}
,wyzt}
,wyzt}
,wyzt}
,xzt }
,xzt }
,xzt }
,wxzt}
,wyzt}
,wyzt}
,wxyt}

{xz ,yz ,wxy ,xyt }

{xz ,zt ,wxt ,xyt }
{xz ,wxy ,wxt ,xyt }
{xz ,wxt ,xyt ,wxyt}
{xz ,wyz ,yzt ,wyzt}
{xt ,yt ,zt ,wxyz}
{xt ,yt ,xyz ,wxyz}
{xt ,zt ,xyz ,wxyz}
{xt ,wxy ,xyz ,wxyz}
{xt ,wyt ,wzt ,wyzt}
{yz ,yt ,wzt ,xzt }
{yz ,zt ,wyt ,xyt }
{yz ,wxy ,wyt ,xyt }
{yz ,wxz ,wzt ,xzt }
{yz ,wyt ,xyt ,wxyt}
{yt ,zt ,wyz ,wxyz}
{yt ,wxy ,wyz ,wxyz}
{yt ,wxt ,wzt ,wxzt}
{yt ,wzt ,xzt ,wxzt}
{zt ,wxz ,xyz ,wxyz}
{zt ,wxt ,xyt ,wxyt}
{wxy ,wxz ,wyz ,xyz }
{wxy ,wxt ,wyt ,xyt }
{wxy ,wyz ,xyz ,wxyz}
{wxz ,wxt ,wzt ,wxzt}
{wxz ,wzt ,xzt ,wxzt}
{wyz ,wyt ,wzt ,yzt }
{wyz ,wzt ,yzt ,wyzt}
{xyz ,xyt ,xzt ,xyzt}
{xyt ,xzt ,yzt ,xyzt}
{wxyz,wxyt,wyzt,xyzt}

{xz ,yz ,wxy ,wxyt}

{xz ,zt ,wxt ,wxyt}
{xz ,wxy ,wxt ,wxyt}
{xz ,wyz ,wzt ,yzt }
{xz ,wzt ,yzt ,wyzt}
{xt ,yt ,wxy ,xyz }
{xt ,zt ,wxz ,xyz }
{xt ,wxy ,wxz ,xyz }
{xt ,wxz ,xyz ,wxyz}
{xt ,wyt ,yzt ,wyzt}
{yz ,yt ,wzt ,wxzt}
{yz ,zt ,wyt ,wxyt}
{yz ,wxy ,wyt ,wxyt}
{yz ,wxz ,wzt ,wxzt}
{yz ,wzt ,xzt ,wxzt}
{yt ,zt ,xyz ,wxyz}
{yt ,wxy ,xyz ,wxyz}
{yt ,wxt ,xzt ,wxzt}
{zt ,wxz ,wyz ,xyz }
{zt ,wxt ,wyt ,xyt }
{zt ,wyz ,xyz ,wxyz}
{wxy ,wxz ,wyz ,wxyz}
{wxy ,wxt ,wyt ,wxyt}
{wxy ,wyt ,xyt ,wxyt}
{wxz ,wxt ,xzt ,wxzt}
{wxt ,wyt ,xyt ,wxyt}
{wyz ,wyt ,wzt ,wyzt}
{wyt ,wzt ,yzt ,wyzt}
{xyz ,xyt ,yzt ,xyzt}
{wxyz,wxyt,wxzt,wyzt}
{wxyz,wxzt,wyzt,xyzt}

{xz ,yz ,xyt ,wxyt}

{xz ,zt ,xyt ,wxyt}
{xz ,wxy ,xyt ,wxyt}
{xz ,wyz ,wzt ,wyzt}
{xt ,yt ,zt ,xyz }
{xt ,yt ,wxy ,wxyz}
{xt ,zt ,wxz ,wxyz}
{xt ,wxy ,wxz ,wxyz}
{xt ,wyt ,wzt ,yzt }
{xt ,wzt ,yzt ,wyzt}
{yz ,yt ,xzt ,wxzt}
{yz ,zt ,xyt ,wxyt}
{yz ,wxy ,xyt ,wxyt}
{yz ,wxz ,xzt ,wxzt}
{yt ,zt ,wyz ,xyz }
{yt ,wxy ,wyz ,xyz }
{yt ,wxt ,wzt ,xzt }
{yt ,wyz ,xyz ,wxyz}
{zt ,wxz ,wyz ,wxyz}
{zt ,wxt ,wyt ,wxyt}
{zt ,wyt ,xyt ,wxyt}
{wxy ,wxz ,xyz ,wxyz}
{wxy ,wxt ,xyt ,wxyt}
{wxz ,wxt ,wzt ,xzt }
{wxz ,wyz ,xyz ,wxyz}
{wxt ,wzt ,xzt ,wxzt}
{wyz ,wyt ,yzt ,wyzt}
{xyz ,xyt ,xzt ,yzt }
{xyz ,xzt ,yzt ,xyzt}
{wxyz,wxyt,wxzt,xyzt}
{wxyt,wxzt,wyzt,xyzt}

The process of finding pentads is just the same as previous steps. For
each quad, we test the sixteen basis. If the new basis anti-commutates with
the four previous elements, we have a pentad, which we add to our collection.
I find 192 pentads.
Here are the 192 pentads.
{w
{w
{w
{w
{w
{w
{w

,x
,x
,x
,y
,z
,wx
,wx

,y
,y
,t
,z
,t
,wy
,wy

,z
,t
}
,wxyz,wxyt}
,wxyt,wxzt}
,wxyz,wyzt}
,wxzt,wyzt}
,wz ,wt }
,xyz ,xyt }

{w
{w
{w
{w
{w
{w
{w

,x
,x
,x
,y
,z
,wx
,wx

,y
,z
,wxyz}
,z
,t
,wxzt}
,wxyz,wxyt,wxzt}
,t
,wxyt,wyzt}
,wxyz,wxzt,wyzt}
,wy ,wz ,xyz }
,wz ,wt ,xzt }

{w
{w
{w
{w
{w
{w
{w

,x
,x
,y
,y
,t
,wx
,wx

,y
,t
,wxyt}
,z
,wxyz,wxzt}
,z
,t
,wyzt}
,wxyz,wxyt,wyzt}
,wxyt,wxzt,wyzt}
,wy ,wt ,xyt }
,wz ,xyz ,xzt }

{w
{w
{w
{w
{x
{x
{x
{x
{x
{x
{x
{x
{y
{y
{y
{y
{y
{y
{y
{z
{z
{z
{z
{z
{z
{t
{t
{t
{t
{t
{wx
{wx
{wx
{wx
{wx
{wx
{wy
{wy
{wy
{wy
{wz
{wz
{wz
{wt
{wt

,wx ,wt ,xyt ,xzt }

,wy ,wz ,xyz ,yzt }
,wz ,wt ,xzt ,yzt }
,xyz ,xyt ,xzt ,yzt }
,y
,z
,wxyz,xyzt}
,z
,t
,wxzt,xyzt}
,wx ,xy ,xz ,xt }
,wx ,xy ,wyz ,wyt }
,wx ,xt ,wyt ,wzt }
,xy ,xz ,wyz ,yzt }
,xz ,xt ,wzt ,yzt }
,wyz ,wyt ,wzt ,yzt }
,z
,wxyz,wyzt,xyzt}
,wy ,xy ,yz ,wxz }
,wy ,yz ,yt ,wzt }
,wy ,wxz ,wxt ,wzt }
,xy ,yt ,wxt ,xzt }
,yz ,wxz ,wzt ,xzt }
,wxyz,wxyt,wyzt,xyzt}
,wz ,xz ,yz ,wxy }
,wz ,yz ,zt ,wyt }
,wz ,wxy ,wxt ,wyt }
,xz ,zt ,wxt ,xyt }
,yz ,wxy ,wyt ,xyt }
,wxyz,wxzt,wyzt,xyzt}
,wt ,xt ,zt ,wxz }
,wt ,yt ,wxy ,wyz }
,xt ,yt ,zt ,xyz }
,xt ,wxy ,wxz ,xyz }
,zt ,wxz ,wyz ,xyz }
,wy ,wz ,wt ,xyzt}
,wy ,xyz ,xyt ,xyzt}
,wt ,xyt ,xzt ,xyzt}
,xy ,xt ,wyt ,wyzt}
,xz ,wyz ,wzt ,wyzt}
,xyz ,xyt ,xzt ,xyzt}
,wt ,xyt ,yzt ,xyzt}
,xy ,yt ,wxt ,wxzt}
,yz ,wxz ,wzt ,wxzt}
,xyz ,xyt ,yzt ,xyzt}
,xz ,yz ,wxy ,wxyt}
,yz ,zt ,wyt ,wxyt}
,wxy ,wxt ,wyt ,wxyt}
,xt ,yt ,wxy ,wxyz}
,yt ,zt ,wyz ,wxyz}

{w
{w
{w
{w
{x
{x
{x
{x
{x
{x
{x
{x
{y
{y
{y
{y
{y
{y
{z
{z
{z
{z
{z
{z
{t
{t
{t
{t
{t
{t
{wx
{wx
{wx
{wx
{wx
{wy
{wy
{wy
{wy
{wz
{wz
{wz
{wz
{wt
{wt

,wx ,xyz ,xyt ,xzt }

,wy ,wt ,xyt ,yzt }
,wz ,xyz ,xzt ,yzt }
,wxyz,wxyt,wxzt,wyzt}
,y
,t
,wxyt,xyzt}
,z
,wxyz,wxzt,xyzt}
,wx ,xy ,xz ,wyz }
,wx ,xz ,xt ,wzt }
,wx ,wyz ,wyt ,wzt }
,xy ,xt ,wyt ,yzt }
,xz ,wyz ,wzt ,yzt }
,wxyz,wxyt,wxzt,xyzt}
,t
,wxyt,wyzt,xyzt}
,wy ,xy ,yt ,wxt }
,wy ,yz ,wxz ,wzt }
,xy ,yz ,yt ,xzt }
,xy ,wxz ,wxt ,xzt }
,yt ,wxt ,wzt ,xzt }
,t
,wxzt,wyzt,xyzt}
,wz ,xz ,zt ,wxt }
,wz ,yz ,wxy ,wyt }
,xz ,yz ,zt ,xyt }
,xz ,wxy ,wxt ,xyt }
,zt ,wxt ,wyt ,xyt }
,wt ,xt ,yt ,zt }
,wt ,xt ,wxy ,wxz }
,wt ,zt ,wxz ,wyz }
,xt ,yt ,wxy ,xyz }
,yt ,zt ,wyz ,xyz }
,wxy ,wxz ,wyz ,xyz }
,wy ,wz ,xyz ,xyzt}
,wz ,wt ,xzt ,xyzt}
,xy ,xz ,xt ,wyzt}
,xy ,wyz ,wyt ,wyzt}
,xt ,wyt ,wzt ,wyzt}
,wz ,wt ,yzt ,xyzt}
,xy ,yz ,yt ,wxzt}
,xy ,wxz ,wxt ,wxzt}
,yt ,wxt ,wzt ,wxzt}
,wt ,xzt ,yzt ,xyzt}
,xz ,zt ,wxt ,wxyt}
,yz ,wxy ,wyt ,wxyt}
,xyz ,xzt ,yzt ,xyzt}
,xt ,zt ,wxz ,wxyz}
,yt ,wxy ,wyz ,wxyz}

10

{w
{w
{w
{x
{x
{x
{x
{x
{x
{x
{x
{y
{y
{y
{y
{y
{y
{y
{z
{z
{z
{z
{z
{z
{t
{t
{t
{t
{t
{t
{wx
{wx
{wx
{wx
{wx
{wy
{wy
{wy
{wy
{wz
{wz
{wz
{wt
{wt
{wt

,wy ,wz ,wt ,yzt }

,wy ,xyz ,xyt ,yzt }
,wt ,xyt ,xzt ,yzt }
,y
,z
,t
,xyzt}
,y
,wxyz,wxyt,xyzt}
,t
,wxyt,wxzt,xyzt}
,wx ,xy ,xt ,wyt }
,wx ,xz ,wyz ,wzt }
,xy ,xz ,xt ,yzt }
,xy ,wyz ,wyt ,yzt }
,xt ,wyt ,wzt ,yzt }
,z
,t
,wyzt,xyzt}
,wy ,xy ,yz ,yt }
,wy ,xy ,wxz ,wxt }
,wy ,yt ,wxt ,wzt }
,xy ,yz ,wxz ,xzt }
,yz ,yt ,wzt ,xzt }
,wxz ,wxt ,wzt ,xzt }
,wz ,xz ,yz ,zt }
,wz ,xz ,wxy ,wxt }
,wz ,zt ,wxt ,wyt }
,xz ,yz ,wxy ,xyt }
,yz ,zt ,wyt ,xyt }
,wxy ,wxt ,wyt ,xyt }
,wt ,xt ,yt ,wxy }
,wt ,yt ,zt ,wyz }
,wt ,wxy ,wxz ,wyz }
,xt ,zt ,wxz ,xyz }
,yt ,wxy ,wyz ,xyz }
,wxyt,wxzt,wyzt,xyzt}
,wy ,wt ,xyt ,xyzt}
,wz ,xyz ,xzt ,xyzt}
,xy ,xz ,wyz ,wyzt}
,xz ,xt ,wzt ,wyzt}
,wyz ,wyt ,wzt ,wyzt}
,wz ,xyz ,yzt ,xyzt}
,xy ,yz ,wxz ,wxzt}
,yz ,yt ,wzt ,wxzt}
,wxz ,wxt ,wzt ,wxzt}
,xz ,yz ,zt ,wxyt}
,xz ,wxy ,wxt ,wxyt}
,zt ,wxt ,wyt ,wxyt}
,xt ,yt ,zt ,wxyz}
,xt ,wxy ,wxz ,wxyz}
,zt ,wxz ,wyz ,wxyz}

{wt
{xy
{xy
{xy
{xz
{xz
{xt
{yz
{yz
{yt
{wxy
{wyz

,wxy
,xz
,yz
,wyz
,yz
,wyz
,zt
,yt
,wxz
,wxt
,wxz
,wyt

,wxz
,wyz
,wxz
,wyt
,wxy
,wzt
,wxz
,wzt
,wzt
,wzt
,wyz
,wzt

,wyz
,yzt
,xzt
,yzt
,xyt
,yzt
,xyz
,xzt
,xzt
,xzt
,xyz
,yzt

,wxyz}
,wyzt}
,wxzt}
,wyzt}
,wxyt}
,wyzt}
,wxyz}
,wxzt}
,wxzt}
,wxzt}
,wxyz}
,wyzt}

{wt
{xy
{xy
{xz
{xz
{xt
{xt
{yz
{yt
{zt
{wxy
{xyz

,xyt
,xt
,yt
,xt
,zt
,yt
,wxy
,zt
,zt
,wxz
,wxt
,xyt

,xzt
,wyt
,wxt
,wzt
,wxt
,zt
,wxz
,wyt
,wyz
,wyz
,wyt
,xzt

,yzt
,yzt
,xzt
,yzt
,xyt
,xyz
,xyz
,xyt
,xyz
,xyz
,xyt
,yzt

,xyzt}
,wyzt}
,wxzt}
,wyzt}
,wxyt}
,wxyz}
,wxyz}
,wxyt}
,wxyz}
,wxyz}
,wxyt}
,xyzt}

{xy ,xz ,xt ,yzt ,wyzt}

{xy ,yz ,yt ,xzt ,wxzt}
{xy ,wxz ,wxt ,xzt ,wxzt}
{xz ,yz ,zt ,xyt ,wxyt}
{xz ,wxy ,wxt ,xyt ,wxyt}
{xt ,yt ,wxy ,xyz ,wxyz}
{xt ,wyt ,wzt ,yzt ,wyzt}
{yz ,wxy ,wyt ,xyt ,wxyt}
{yt ,wxy ,wyz ,xyz ,wxyz}
{zt ,wxt ,wyt ,xyt ,wxyt}
{wxz ,wxt ,wzt ,xzt ,wxzt}
{wxyz,wxyt,wxzt,wyzt,xyzt}

Extending the process for sets of six anti-commutors, none are found.

11