AdinkraTutorial.nb

$RecursionLimit=Infinity

Import Adinkra.wl

<<Adinkra`

BuildDate[Adinkra]

Function Lists

FunctionList[SpaceTime]

FunctionList[GenerateLandR]

FunctionList[AdinkraEssentials]

FunctionList[BasisDecomposition]

FunctionList[BC4Tools]

FunctionList[GraphingTools]

FunctionList[Adinkra]

Introduction to some of these functions

Within FunctionList[SpaceTime]

η[1,1]

Cmetric

Lap[SomeField[t,x,y,z]]

Lap[A[2][t,x,y,z]]

Within FunctionList[AdinkraEssentials]

IndexRange[AdinkraEssentials][ReportLevel]

FunctionList[AdinkraEssentials]

N=4, Various Representations

ONshellCM,  and a non-adinkraic representation to test catches

L[OnShellCM] ={(({{1, 0, 0, 0}, {0, 0, 0, -1}})),(({{0, 1, 0, 0}, {0, 0, 1, 0}})),(({{0, 0, 1, 0}, {0, -1, 0, 0}})),(({{0, 0, 0, 1}, {1, 0, 0, 0}}))}

R[OnShellCM] = Table[Transpose[L[OnShellCM][[Ii]]],{Ii,1,4}]

L[ID] = L[OnShellCM];
R[ID] = L[Q];

GenerateAdinkraData[OnShellCM]

GenerateCoeffs[OnShellCM]

PrintAllGARL[OnShellCM]

PrintGARLBasis[OnShellCM][1,1]

PrintGARLBasis[OnShellCM][3,3]

PrintAllVtilde[OnShellCM]

PrintVtildeBasis[OnShellCM][3,4]

PrintRBasis[OnShellCM][1]

GALR[OnShellCM][[1,1]]

PrintGALR[OnShellCM][1,1]

PrintAllGALR[OnShellCM]

PrintAllGARL[OnShellCM]

Q: a base representation built in to Adinkra.m
((Subscript[((Subscript[Q, I])), i])^(OverHat[j]))= {(), ((OverBar[13]))(12)(34), ((OverBar[14]))(13)(24), ((OverBar[12]))(14)(23)} 
            = {I, -i (α^2), -i (α^3), -i (α^1)} = {I, i, j, k}

PrintAllL[Q]

MatrixPower[L[Q][[2]],2]//MatrixForm

L[Q][[3]].(-Transpose[L[Q][[3]]])//MatrixForm

L[Q][[3]].L[Q][[2]]== -L[Q][[4]]

PrintAllL[Q]

GraphAdinkra[Q]

GraphAdinkra[Q,buildrules[{{8},{1,2,3,4},{5,6,7}}]]

GraphAdinkra[Q,buildrules[{{5,6},{1,2,3,4},{7,8}}]]

GenerateAdinkraData[Q,Orthogonal]

PrintAllGALR[Q]

PrintAllGARL[Q]

GenerateCoeffs[Q]

PrintGALRBasis[Q][1,1]

PrintVtildeBasis[Q][1,2]

PrintGALRBasis[Q][1,2]

(OverTilde[Q]): a base representation built in to Adinkra.m 
((Subscript[((Subscript[(OverTilde[Q]), I])), i])^(OverHat[j]))= {(), ((OverBar[23]))(12)(34), ((OverBar[12]))(13)(24), ((OverBar[13]))(14)(23)}
            = {I, i (β^3), -i (β^2), -i (β^1)}  = {I, (OverTilde[i]), (OverTilde[j]), (OverTilde[k])}

PrintAllL[Qtilde]

GraphAdinkra[Qtilde]

CM

L[CM]={ (({{1, 0, 0, 0}, {0, 0, 0, -1}, {0, 1, 0, 0}, {0, 0, -1, 0}})),(({{0, 1, 0, 0}, {0, 0, 1, 0}, {-1, 0, 0, 0}, {0, 0, 0, -1}})),(({{0, 0, 1, 0}, {0, -1, 0, 0}, {0, 0, 0, -1}, {1, 0, 0, 0}})),(({{0, 0, 0, 1}, {1, 0, 0, 0}, {0, 0, 1, 0}, {0, 1, 0, 0}}))};

L[CM] == L[362511]

GraphAdinkra[CM]

TM

L[TM]={ (({{1, 0, 0, 0}, {0, 0, -1, 0}, {0, 0, 0, -1}, {0, -1, 0, 0}})),(({{0, 1, 0, 0}, {0, 0, 0, 1}, {0, 0, -1, 0}, {1, 0, 0, 0}})),(({{0, 0, 1, 0}, {1, 0, 0, 0}, {0, 1, 0, 0}, {0, 0, 0, -1}})),(({{0, 0, 0, 1}, {0, -1, 0, 0}, {1, 0, 0, 0}, {0, 0, 1, 0}}))};

L[TM] == L[553212]

GraphAdinkra[TM]

VM

L[VM]={ (({{0, 1, 0, 0}, {0, 0, 0, -1}, {1, 0, 0, 0}, {0, 0, -1, 0}})),(({{1, 0, 0, 0}, {0, 0, 1, 0}, {0, -1, 0, 0}, {0, 0, 0, -1}})),(({{0, 0, 0, 1}, {0, 1, 0, 0}, {0, 0, 1, 0}, {1, 0, 0, 0}})),(({{0, 0, 1, 0}, {-1, 0, 0, 0}, {0, 0, 0, -1}, {0, 1, 0, 0}}))};

L[VM] == L[-342412]

GraphAdinkra[VM]

VM1

L[CM]={ (({{1, 0, 0, 0}, {0, 0, 0, -1}, {0, 1, 0, 0}, {0, 0, -1, 0}})),(({{0, 1, 0, 0}, {0, 0, 1, 0}, {-1, 0, 0, 0}, {0, 0, 0, -1}})),(({{0, 0, 1, 0}, {0, -1, 0, 0}, {0, 0, 0, -1}, {1, 0, 0, 0}})),(({{0, 0, 0, 1}, {1, 0, 0, 0}, {0, 0, 1, 0}, {0, 1, 0, 0}}))};

L[CM] == L[362511]

GraphAdinkra[CM]

cis adinkra

L[cis] = L[111712];

PrintAllL[cis]

GraphAdinkra[cis]

trans- adinkra

L[trans] = L[111112];

PrintAllL[trans]

GraphAdinkra[trans]

L[-734262]

PrintAllL[-734262]

GraphAdinkra[-734262]

GenerateAdinkraData[-734262,Orthogonal]

PrintAllGALR[-734262]

PrintAllGARL[-734262]

AdinkraPreliminaryReport[Rep] prints preliminary data to see if we want to proceed with analysis

GraphAdinkra[CM]

GenerateAdinkraData[CM,Orthogonal]

PrintAllGARL[CM]

AdinkraReport[CM,1]

AdinkraPreliminaryReport[OnShellCM]

AdinkraReport[trans,0]

AdinkraPreliminaryReportO[cis]

AdinkraPreliminaryReport[-734262]

Need to use AdinkraPreliminaryReportO[-734262] as never stored the R matrices for this Rep

AdinkraPreliminaryReportO[-734262]

GenerateData

GenerateAdinkraData[Q,Orthogonal]

GenerateCoeffs[Q]

GenerateAdinkraData[Qtilde,Orthogonal]

GenerateCoeffs[Qtilde]

GenerateAdinkraData[CM,Orthogonal]

GenerateCoeffs[CM]

GenerateAdinkraData[TM,Orthogonal]

GenerateCoeffs[TM]

GenerateAdinkraData[VM,Orthogonal]

GenerateCoeffs[VM]

GenerateAdinkraData[ID]

GenerateCoeffs[ID] (* Need to fix this, shouldn't generate anything *)

GenerateAdinkraData[OnShellCM]

GenerateAdinkraData[cis,Orthogonal]

GenerateCoeffs[cis]

GenerateAdinkraData[trans,Orthogonal]

GenerateCoeffs[trans]

GenerateAdinkraData[-734262,Orthogonal]

GenerateCoeffs[-734262]

Reports

AdinkraReport[ID,3]

AdinkraReport[Q,3]

AdinkraReport[Q,3]

AdinkraReport[Q,8]

AdinkraReport[OnShellCM]

AdinkraReport[OnShellCM]

AdinkraFullReport[OnShellCM]

AdinkraFullReport[TM]

V[VM][[1,2]]==V[VM][[3,4]]

V[VM][[1,2]] == 2VsoN[VM][[1,2]]

FunctionList[AdinkraEssentials]

When the LinearlyIndependent function does not give True, the output below is read as follows: 
VPM[-1][CM][[2,3]] + VPM[-1][CM][[1,4]]   =  0   =>   VPM[-1][CM][[2,3]] = - VPM[-1][CM][[1,4]] 
VPM[-1][CM][[2,4]] -  VPM[-1][CM][[1,3]]  =  0   =>     VPM[-1][CM][[2,4]] = VPM[-1][CM][[1,3]]
VPM[-1][CM][[3,4]] + VPM[-1][CM][[1,2]]  =  0   =>     VPM[-1][CM][[3,4]] = - VPM[-1][CM][[1,2]]

LinearlyIndependent[VPM[-1][CM]]

PrintAllVPM[-1][CM]

Define
BC4ColorPerm[n,a,μ,A]:=(((-1))^n)((Subscript[((H^a)), I])^K)((Subscript[((Subscript[S, 3]^μ)), K])^L)((Subscript[((𝒱^A)), L])^J)
(H^a)= { (),((OverBar[12])),((OverBar[13])),((OverBar[23])) ,((OverBar[1])),((OverBar[2])),((OverBar[3])),((OverBar[123]))} ,  sign flips on three elements
(S^μ) = { (), (12), (13), (23), (123), (132) }:,  (Subscript[S, 3]) permutation group:
(𝒱^A)= {(), (12)(34), (13)(24), (14)(23) }, the vierergruppe:

Here we are using the BC4Tools package, so lets display the function list to see what we have to use

FunctionList[BC4Tools]

Use Index Range to display the valid ranges for a given type of index listed in the FunctionList

IndexRange[BC4Tools][n]

IndexRange[BC4Tools][a]

IndexRange[BC4Tools][μ]

IndexRange[BC4Tools][A]

Some Permutation Matrices

S3Perm[123].VierPerm[1423]//MatrixForm

BC4Perm[0,12,123,1423]//MatrixForm

BC4Perm[0,12,123,1423][[1,2]]L[Q][[2]]

S3Perm[132]//MatrixForm

We are using BC4ColorPerm, rather than BC4Color so use the appropriate indices

L[NewQ]=BC4ColorPerm[-1,12,123,1423][L[Q]];

PrintAllL[NewQ]

GraphAdinkra[NewQ]

Compare to Q, the above is a permutation of the colors as encoded in PrintBC4ColorPerm below read right to left:
then flopping (swapping) colors 1 and 4 and 2 and 3:  (14)(23)
then flopping color 1 to 2 to 3 to 1:  (123)
--->    (142)
1 to 4 (green to red, as in what was green in Q is now red in NewQ),
4 to 2 (red to becomes purple)
2 to 1  (purple becomes green)
orange stays orange
the flipping (switching the sign of) colors 3 and 4 (orange and red):  ((OverBar[34]))

PrintBC4ColorPerm[-1,12,123,1423]

GraphAdinkra[Q]

GraphAdinkra[NewQ]

In terms of the Table indices:
BC4Color[n,a,μ,A][L[Rep]] := ((Subscript[((Subscript[BC, 4]^(mbνB))), I])^J)((Subscript[((Subscript[L, J]^((Rep)))), i])^(OverHat[j]))= (((-1))^m)((Subscript[((H^b)), I])^K)((Subscript[((Subscript[S, 3]^ν)), K])^L)((Subscript[((𝒱^B)), L])^J)((Subscript[((Subscript[L, J]^((Rep)))), i])^(OverHat[j]))
BC4Boson[n,a,μ,A][L[Rep]] := ((Subscript[((Subscript[BC, 4]^(mbνB))), i])^j)((Subscript[((Subscript[L, I]^((Rep)))), j])^(OverHat[j]))= (((-1))^m)((Subscript[((H^b)), i])^k)((Subscript[((Subscript[S, 3]^ν)), k])^p)((Subscript[((𝒱^B)), p])^j)((Subscript[((Subscript[L, I]^((Rep)))), j])^(OverHat[j]))
for n = 1 we have the minus sign
b=2 is the sign flip  ((OverBar[12])), so put these together we have  -((OverBar[12]))=((OverBar[34]))
μ=5 is the Permutation (123)
A=4 is the Vierergruppe element (14)(23)
so we should use BC4Color[1,2,5,4]

IndexRange[BC4Tools][n]

IndexRange[BC4Tools][a]

IndexRange[BC4Tools][μ]

IndexRange[BC4Tools][A]

L[NewQTable]=BC4Color[1,2,5,4][L[Q]];

PrintAllL[NewQTable]

L[NewQTable]==L[NewQ]

GraphAdinkra[NewQTable]

GraphAdinkra[Q]

GraphAdinkra[NewQTable]
GraphAdinkra[NewQ]

Isometry BC4Color and BC4Boson transformations on Q

(Subscript[Q, I])

LBP = {0,0,0,0};
LCP = {0,0,0,0};
L[Local] = BC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]][BC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]][L[Q]]];
GraphAdinkra[Local]
L[Local] == L[Q]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]

BC4Boson: ((OverBar[1234])); BC4Color: ((OverBar[1234]))

LBP = {-1,0,0,0};
LCP = {-1,0,0,0};
L[Local] = BC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]][BC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]][L[Q]]];
GraphAdinkra[Local]
L[Local] == L[Q]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]//TeXForm

BC4Boson: ((OverBar[13]))(12)(34); BC4Color: ((OverBar[13]))(12)(34)

LBP = {0,13,0,1234};
LCP = {0,13,0,1234};
L[Local] = BC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]][BC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]][L[Q]]];
GraphAdinkra[Local]
L[Local] == L[Q]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]//TeXForm

BC4Boson: ((OverBar[24]))(12)(34); BC4Color: ((OverBar[24]))(12)(34)

LBP = {-1,13,0,1234};
LCP = {-1,13,0,1234};
L[Local] = BC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]][BC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]][L[Q]]];
GraphAdinkra[Local]
L[Local] == L[Q]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]//TeXForm

BC4Boson: ((OverBar[23]))(13)(24); BC4Color: ((OverBar[23]))(13)(24)

LBP = {0,23,0,1324};
LCP = {0,23,0,1324};
L[Local] = BC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]][BC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]][L[Q]]];
GraphAdinkra[Local]
L[Local] == L[Q]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]//TeXForm

BC4Boson: ((OverBar[14]))(13)(24); BC4Color: ((OverBar[14]))(13)(24)

LBP = {-1,23,0,1324};
LCP = {-1,23,0,1324};
L[Local] = BC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]][BC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]][L[Q]]];
GraphAdinkra[Local]
L[Local] == L[Q]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]//TeXForm

BC4Boson: ((OverBar[12]))(14)(23); BC4Color: ((OverBar[12]))(14)(23)

LBP = {0,12,0,1423};
LCP = {0,12,0,1423};
L[Local] = BC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]][BC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]][L[Q]]];
GraphAdinkra[Local]
L[Local] == L[Q]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]//TeXForm

BC4Boson: ((OverBar[34]))(14)(23); BC4Color: ((OverBar[34]))(14)(23)

LBP = {-1,12,0,1423};
LCP = {-1,12,0,1423};
L[Local] = BC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]][BC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]][L[Q]]];
GraphAdinkra[Local]
L[Local] == L[Q]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]//TeXForm

Isometry BC4Color and BC4Boson transformations on (OverTilde[Q])

(Subscript[(OverTilde[Q]), I])

LBP = {0,0,0,0};
LCP = {0,0,0,0};
L[Local] = BC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]][BC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]][L[Qtilde]]];
GraphAdinkra[Local]
L[Local] == L[Qtilde]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]//TeXForm

BC4Boson: ((OverBar[1234])); BC4Color: ((OverBar[1234]))

LBP = {-1,0,0,0};
LCP = {-1,0,0,0};
L[Local] = BC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]][BC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]][L[Qtilde]]];
GraphAdinkra[Local]
L[Local] == L[Qtilde]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]//TeXForm

BC4Boson: ((OverBar[23]))(12)(34); BC4Color: ((OverBar[13]))(12)(34)

LBP = {0,23,0,1234};
LCP = {0,13,0,1234};
L[Local] = BC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]][BC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]][L[Qtilde]]];
GraphAdinkra[Local]
L[Local] == L[Qtilde]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]//TeXForm

BC4Boson: ((OverBar[14]))(12)(34); BC4Color: ((OverBar[24]))(12)(34)

LBP = {-1,23,0,1234};
LCP = {-1,13,0,1234};
L[Local] = BC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]][BC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]][L[Qtilde]]];
GraphAdinkra[Local]
L[Local] == L[Qtilde]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]//TeXForm

BC4Boson: ((OverBar[12]))(13)(24); BC4Color: ((OverBar[14]))(13)(24)

LBP = {0,12,0,1324};
LCP = {-1,23,0,1324};
L[Local] = BC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]][BC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]][L[Qtilde]]];
GraphAdinkra[Local]
L[Local] == L[Qtilde]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]//TeXForm

BC4Boson: ((OverBar[34]))(13)(24); BC4Color: ((OverBar[23]))(13)(24)

LBP = {-1,12,0,1324};
LCP = {0,23,0,1324};
L[Local] = BC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]][BC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]][L[Qtilde]]];
GraphAdinkra[Local]
L[Local] == L[Qtilde]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]//TeXForm

BC4Boson: ((OverBar[13]))(14)(23); BC4Color: ((OverBar[12]))(14)(23)

LBP = {0,13,0,1423};
LCP = {0,12,0,1423};
L[Local] = BC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]][BC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]][L[Qtilde]]];
GraphAdinkra[Local]
L[Local] == L[Qtilde]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]//TeXForm

BC4Boson: ((OverBar[24]))(14)(23); BC4Color: ((OverBar[34]))(14)(23)

LBP = {-1,13,0,1423};
LCP = {-1,12,0,1423};
L[Local] = BC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]][BC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]][L[Qtilde]]];
GraphAdinkra[Local]
L[Local] == L[Qtilde]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]
PrintBC4BosonPerm[LBP[[1]],LBP[[2]],LBP[[3]],LBP[[4]]]PrintBC4ColorPerm[LCP[[1]],LCP[[2]],LCP[[3]],LCP[[4]]]//TeXForm

96*384

48*8

All 36864 N=4, d=4 valise adinkras
((Subscript[((Subscript[L, I]^(±aμAbν))), i])^(OverHat[j])):=((Subscript[((Subscript[BC, 4]^(±aμA))), i])^j)((Subscript[((Subscript[L, I]^(bν))), j])^(OverHat[j]))=((Subscript[((Subscript[BC, 4]^(±aμA))), i])^j)((Subscript[((Subscript[HS, 3]^(bν))), I])^J) ((Subscript[((Subscript[Q, J])), j])^(OverHat[j]))  ,  (Subscript[(OverTilde[V]), IJ])~α  (ℓ-equivalence classes)
((Subscript[((Subscript[(OverTilde[L]), I]^(±aμAbν))), i])^(OverHat[j])):= ((Subscript[((Subscript[BC, 4]^(±aμA))), i])^j)((Subscript[((Subscript[(OverTilde[L]), I]^(bν))), j])^(OverHat[j]))=((Subscript[((Subscript[BC, 4]^(±aμA))), i])^j)((Subscript[((Subscript[HS, 3]^(bν))), I])^J) ((Subscript[((Subscript[(OverTilde[Q]), J])), j])^(OverHat[j])) ,  (Subscript[(OverTilde[V]), IJ])~β  ((OverTilde[ℓ])-equivalence classes)
L[RepCode] := ((Subscript[((Subscript[L, I]^(±aμAbν))), i])^(OverHat[j])) for RepCode = ±aμAbν1, ((Subscript[((Subscript[(OverTilde[L]), I]^(±aμAbν))), i])^(OverHat[j]))for RepCode= ±aμAbν2

PrintAllL[CM]

L[CM] == L[362511]

GraphAdinkra[CM]

N≠4, Various Representations

3-cube

Generating the Adinkras

Rep = ThreeHypercube;

L[Rep]={IdentityMatrix[4],I SigmaProduct[3,2],-I SigmaProduct[2,0]};

PrintLSigmaProduct[Rep]

AdinkraPreliminaryReportO[Rep]

GenerateAdinkraDataO[Rep];

AdinkraHoloMonoReport[Rep]

AdinkraReport[Rep]

AdinkraFullReport[Rep]

PrintAllGALR[Rep]

PrintAllGARL[Rep]

Holoraumy: 8 distinct elements, Monodromy: 4 distinct elements

PrintAllHoloraumy[Rep]

PrintAllHoloraumy[ThreeHypercube]

PrintAllMonodromy[Rep]

Another 3-cube

Generating the Adinkra

Rep = AnotherThreeHypercube;

L[Rep]={L[ThreeHypercube][[3]],L[ThreeHypercube][[1]],L[ThreeHypercube][[2]]};

PrintLSigmaProduct[Rep]

GenerateAdinkraDataO[Rep];

AdinkraPreliminaryReport[Rep]

AdinkraReport[Rep,0]

AdinkraReport[Rep,1]

AdinkraReport[Rep,2]

AdinkraReport[Rep,3]

AdinkraReport[Rep,4]

AdinkraReport[Rep,5]

AdinkraReport[Rep,6]

AdinkraReport[Rep,7]

AdinkraReport[Rep,8]

AdinkraSummaryReport[Rep]

AdinkraFullReport[Rep]

Holoraumy: 8 distinct elements, Monodromy: 4 distinct elements

PrintAllHoloraumy[Rep]

PrintAllMonodromy[Rep]

PrintHoloraumy[Rep][{1,1,1}]

PrintMonodromy[Rep][{1,1,1}]

Yet Another 3-cube

Generating the Adinkra

Rep = YetAnotherThreeHypercube;

L[Rep]={L[ThreeHypercube][[1]],L[ThreeHypercube][[3]],L[ThreeHypercube][[2]]};

PrintLSigmaProduct[Rep]

GenerateAdinkraDataO[Rep];

AdinkraPreliminaryReport[Rep]

AdinkraReport[Rep]

AdinkraFullReport[Rep]

Holoraumy: 8 distinct elements, Monodromy: 4 distinct elements

PrintAllHoloraumy[Rep]

PrintAllMonodromy[Rep]

The Tesseract or the 4-Hypercube

Generating the Adinkra

Rep = Tesseract;

L[Rep]={IdentityMatrix[8],SigmaMatrixProduct[0,L[ThreeHypercube][[2]]],SigmaMatrixProduct[3,L[ThreeHypercube][[3]]],SigmaMatrixProduct[1,L[ThreeHypercube][[3]]]};

PrintLSigmaProduct[Rep]

GenerateAdinkraDataO[Rep];

AdinkraReport[Rep]

AdinkraFullReport[Rep]

Holoraumy: 16 distinct elements, Monodromy 8 distinct elements

PrintAllHoloraumy[Rep]

PrintAllMonodromy[Rep]

FunctionList[AdinkraEssentials]

ListOfIdenticalMonoOrHolo[Holoraumy,Rep]

ListOfIdenticalMonoOrHolo[Monodromy,Rep]

Another Tesseract or the 4-Hypercube

Generating the Adinkra

Rep = AnotherTesseract;

L[Rep]={L[Tesseract][[4]],L[Tesseract][[1]],L[Tesseract][[2]],L[Tesseract][[3]]};

PrintLSigmaProduct[Rep]

GenerateAdinkraDataO[Rep];

AdinkraReport[Rep]

AdinkraFullReport[Rep]

Holoraumy: 16 distinct elements, Monodromy 8 distinct elements

PrintAllHoloraumy[Rep]

PrintAllMonodromy[Rep]

ListOfIdenticalMonoOrHolo[Holoraumy,Rep]

ListOfIdenticalMonoOrHolo[Monodromy,Rep]

YetAnother Tesseract or the 4-Hypercube

Generating the Adinkra

Rep = YetAnotherTesseract;

L[Rep]={L[Tesseract][[2]],L[Tesseract][[1]],L[Tesseract][[4]],L[Tesseract][[3]]};

PrintLSigmaProduct[Rep]

GenerateAdinkraDataO[Rep];

AdinkraReport[Rep]

AdinkraFullReport[Rep]

Holoraumy: 16 distinct elements, Monodromy 8 distinct elements

PrintAllHoloraumy[Rep]

PrintAllMonodromy[Rep]

ListOfIdenticalMonoOrHolo[Holoraumy,Rep]

ListOfIdenticalMonoOrHolo[Monodromy,Rep]

(4,1) Adinkra

Generating the Adinkra

Rep = 41;

L[Rep] = {L[ThreeHypercube][[1]],L[ThreeHypercube][[2]],L[ThreeHypercube][[3]],I SigmaProduct[1,2]};

PrintLSigmaProduct[Rep]

GenerateAdinkraDataO[Rep];

AdinkraReport[Rep]

AdinkraFullReport[Rep]

Holoraumy for (4,1):  only 8 distinct elements, Monodromy 4 distinct elements

PrintAllHoloraumy[Rep]

PrintAllMonodromy[Rep]

5-Hypercube

Generating the Adinkra

Rep = FiveHypercube;

L[Rep]={IdentityMatrix[(2^4)],SigmaMatrixProduct[0,L[Tesseract][[2]]],SigmaMatrixProduct[0,L[Tesseract][[3]]],SigmaMatrixProduct[3,L[Tesseract][[4]]],SigmaMatrixProduct[1,L[Tesseract][[4]]]};

PrintLSigmaProduct[Rep]

GenerateAdinkraDataO[Rep];

AdinkraReport[Rep]

AdinkraFullReport[Rep]

Another 5-Hypercube

Generating the Adinkra

Rep = AnotherFiveHypercube;

L[Rep]={L[FiveHypercube][[5]],L[FiveHypercube][[1]],L[FiveHypercube][[2]],L[FiveHypercube][[3]],L[FiveHypercube][[4]]};

PrintLSigmaProduct[Rep]

GenerateAdinkraDataO[Rep];

AdinkraReport[Rep]

AdinkraFullReport[Rep]

Yet Another 5-Hypercube

Generating the Adinkra

Rep = YetAnotherFiveHypercube;

L[Rep]={L[FiveHypercube][[5]],L[FiveHypercube][[4]],L[FiveHypercube][[1]],L[FiveHypercube][[2]],L[FiveHypercube][[3]]};

PrintLSigmaProduct[Rep]

GenerateAdinkraDataO[Rep];

AdinkraReport[Rep]

AdinkraFullReport[Rep]

(5,1) Adinkra

Generating the Adinkra

Rep = 51;

L[Rep] = {SigmaMatrixProduct[0,L[41][[1]]],SigmaMatrixProduct[0,L[41][[2]]],SigmaMatrixProduct[0,L[41][[3]]],SigmaMatrixProduct[3,L[41][[4]]],SigmaMatrixProduct[1,L[41][[4]]]};

PrintLSigmaProduct[Rep]

GenerateAdinkraDataO[Rep];

Reports

AdinkraReport[Rep]

AdinkraFullReport[Rep]

Another (5,1) Adinkra

Generating the Adinkra

Rep = Another51;

L[Rep] = {L[51][[1]],L[51][[2]],L[51][[3]],L[51][[5]],L[51][[4]]};

PrintLSigmaProduct[Rep]

GenerateAdinkraDataO[Rep];

Reports

AdinkraReport[Rep]

AdinkraFullReport[Rep]

Yet Another (5,1) Adinkra

Generating the Adinkra

Rep = YetAnother51;

L[Rep] = {L[51][[5]],L[51][[1]],L[51][[2]],L[51][[3]],L[51][[4]]};

PrintLSigmaProduct[Rep]

GenerateAdinkraDataO[Rep];

Reports

AdinkraReport[Rep]

AdinkraFullReport[Rep]

Gadgets

Gadget[51,Another51]

Gadget[51,YetAnother51]

Gadget[Another51,YetAnother51]

Gadget[FiveHypercube,AnotherFiveHypercube]

Gadget[FiveHypercube,YetAnotherFiveHypercube]

Gadget[AnotherFiveHypercube,YetAnotherFiveHypercube]

PrintAllL[cis]

Gadget[41,cis]

Gadget[cis,trans]

Gadget[Tesseract,AnotherTesseract]

Gadget[Tesseract,YetAnotherTesseract]

Gadget[AnotherTesseract,YetAnotherTesseract]

Gadget[41,Q]

Gadget[Q,Qtilde]

Gadget[Qtilde,41]

Gadget[Qtilde,trans]

Gadget[Qtilde,cis]

Print Functions: choose Rep to be anything from the previous sections

GraphAdinkra[cis]
PrintAllL[cis]

GraphAdinkra[trans]
PrintAllL[trans]

Rep = trans;

PrintL[Rep][1]

PrintAllL[Rep]

PrintR[Rep][2]

PrintAllR[Rep]

PrintAllV[Rep]

Table[PrintV[Rep][Ii,Ji],{Ii,1,4},{Ji,1,4}] ==Table[V[Rep][[Ii,Ji]]//MatrixForm,{Ii,1,4},{Ji,1,4}]

PrintAllVtildePM[1][Rep]

PrintAllHoloraumytilde[Rep][{1,1,1,1}]

Holoraumytilde[Rep][[15]]//MatrixForm

PrintZetaGen[Rep][4]

PrintAllZetaGen[Rep]

PrintAllHoloraumy[Rep][{1,1,1,1}]==PrintAllHoloraumy[Rep][[15]]==(-ZetaGen[Rep][[2]].ZetaGen[Rep][[3]].ZetaGen[Rep][[4]]//MatrixForm)

WordW[{0,0,0,1}]

PrintAllHoloraumytilde[Rep]

PrintAllMonodromytilde[Rep]

12x12 decomposition

L[Test12] = {(({{1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0}, {0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1}, {0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0}})),(({{0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {-1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1}})),(({{0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0}, {1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0}})),(({{0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0}, {1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0}, {0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0}, {0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0}}))};

AdinkraPreliminaryReportO[Test12] (* Report to check to see if it is satisfies the garden algebra,etc. *)

GenerateAdinkraDataO[Test12] (* Generating the following data *)

AdinkraReport[Test12] (* Report on the generated data *)

PrintL[Test12][1]

PrintR[Test12][2]

PrintVtilde[Test12][1,2]

12 x 12 basis elements  (Subscript[c, 0])I + (Subscript[c, ai])(Subscript[ω, a]^3)⊗(Subscript[α, i]) + (Subscript[c, ai])(Subscript[ω, a]^3)⊗(Subscript[β, i])+...
nz[3] is a normalization that can be chose later

Table[ωmatrix[3][slnindex]//MatrixForm,{slnindex,0,8}]

Table[αmatrix[ihat]//MatrixForm,{ihat,1,3}]

Table[βmatrix[ihat]//MatrixForm,{ihat,1,3}]

Table[PrintSigmaProduct[αmatrix[ihat]],{ihat,1,3}]

Table[PrintSigmaProduct[βmatrix[ihat]],{ihat,1,3}]

expanding in terms of 12 x 12 basis elements  (Subscript[c, 0])I + (Subscript[c, ai])(Subscript[ω, a]^3)⊗(Subscript[α, i]) + (Subscript[c, ai])(Subscript[ω, a]^3)⊗(Subscript[β, i])+...

GenerateCoeffs[Test12] (* Generating basis coefficients *)

PrintLBasis[Test12][1]

PrintLBasis[Test12][2]

PrintLBasis[Test12][3]

PrintLBasis[Test12][4]

PrintGALRBasis[Test12][1,1]

ωmatrix[3][0]

PrintGALRBasis[Test12][1,2]

PrintGALRBasis[Test12][1,1]

PrintGALRBasis[Test12][2,3]

PrintGALRBasis[Test12][4,4]

PrintVtildeBasis[Test12][1,2]

PrintVtildeBasis[Test12][1,3]

PrintVtildeBasis[Test12][1,4]

PrintVtildeBasis[Test12][2,3]

PrintVtildeBasis[Test12][2,4]

PrintVtildeBasis[Test12][3,4]

Looks like nz[3] = 1 works pretty well for Vtilde:

Table[PrintVtildeBasis[Test12][Ii,Ji],{Ii,1,NColors[Test12]-1},{Ji,Ii+1,NColors[Test12]}]/.nz[3]->1//Flatten//MatrixForm

Table[ωmatrix[3][slnindex]//MatrixForm,{slnindex,0,8}]/.nz[3]->1

PrintVtildeBasis[Test12][1,2]/.nz[3]->1

Checking that the code is working right.

PrintVtilde[Test12][1,2]

Vtilde[Test12][[1,2]]//MatrixForm

PrintAllVtildePM[1][Test12]

ωmatrix[3][3]/.nz[3]->1//MatrixForm

-βmatrix[3]//MatrixForm

αmatrix[2]//MatrixForm

((Outer[Times,{{1,0,0},{0,0,0},{0,0,0}},αmatrix[2]]+Outer[Times,{{0,0,0},{0,1,0},{0,0,0}},βmatrix[3]]+Outer[Times,{{0,0,0},{0,0,0},{0,0,-1}},βmatrix[3]])//ArrayFlatten)==Vtilde[Test12][[1,2]]

Print Tests

PrintL[Test12][1]

PrintAllL[Test12]

PrintR[Test12][2]

PrintAllR[Test12]

PrintAllGALR[Test12]

PrintAllGARL[Test12]

Table[PrintV[Test12][Ii,Ji],{Ii,1,4},{Ji,1,4}] ==Table[V[Test12][[Ii,Ji]]//MatrixForm,{Ii,1,4},{Ji,1,4}]

PrintAllVtildePM[1][Test12]

PrintHoloraumytilde[Test12][{1,1,1,1}]

Holoraumytilde[Test12][[15]]//MatrixForm

PrintZetaGen[Test12][4]

PrintAllZetaGen[Test12]

PrintHoloraumytilde[Test12][{1,1,1,0}]==PrintAllHoloraumytilde[Test12][[14]]==(-ZetatildeGen[Test12][[2]].ZetatildeGen[Test12][[3]]//MatrixForm)

WordW[{0,0,0,1}]

PrintAllHoloraumytilde[Test12]

PrintAllMonodromytilde[Test12]

N=4 dWvH 20x20 multiplet: time consuming

Matrices

L[Test20] = {(({{1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, (1/2), 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, (1/2)}, {0, 0, 0, -1, 0, -1, 0, 0, 0, 0, -1, 0, 0, 0, 1, 0, 0, 0, 0, (1/2)}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, -(1/2), 0, 0}, {0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0, 0, -1, 0, 0, 0, 0, (1/2), 0, 0}, {0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, -1, 0, 0, 0, 0, -(1/2)}, {-1, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 1, 0, 0, (1/2), 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, (1/2), 0}, {0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, -(1/2), 0}, {-1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, (1/2), 0, 0, 0}, {0, 0, 0, -1, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, (1/2)}, {2, 0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, -1, 0, 0, -(1/2), 0, 0, 0}, {0, 0, -1, 0, 2, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, -(1/2), 0}, {0, 1, 0, 0, 0, 0, 0, -1, 2, 0, 0, 0, -1, 0, 0, 0, 0, (1/2), 0, 0}, {0, 0, 1, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, (1/2), 0}, {0, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1, 0, 0, 0, 1, 0, 0, 0, 0, (1/2)}, {0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, -1, 0, 0, 0, 0, (1/2), 0, 0}})),(({{0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, (1/2), 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, -(1/2), 0}, {0, 0, -1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, -(1/2), 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, (1/2), 0, 0, 0}, {0, 0, 0, 0, 0, 0, -1, 0, 0, 1, 0, 0, 0, 1, 0, 0, (1/2), 0, 0, 0}, {0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, -1, 0, 0, (1/2), 0}, {0, -1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, -(1/2), 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, (1/2)}, {0, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1, 0, 0, 0, 1, 0, 0, 0, 0, (1/2)}, {0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, -1, 0, 0, 0, 0, (1/2), 0, 0}, {0, 0, 1, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, (1/2), 0}, {0, 2, 0, 0, 0, 0, 0, -1, 1, 0, 0, 0, -1, 0, 0, 0, 0, (1/2), 0, 0}, {0, 0, 0, 1, 0, 2, 0, 0, 0, 0, 1, 0, 0, 0, -1, 0, 0, 0, 0, -(1/2)}, {-1, 0, 0, 0, 0, 0, -1, 0, 0, 2, 0, 0, 0, 1, 0, 0, (1/2), 0, 0, 0}, {0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, -(1/2)}, {0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, -1, 0, 0, (1/2), 0}, {1, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, -1, 0, 0, -(1/2), 0, 0, 0}})),(({{0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, (1/2), 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, (1/2), 0, 0}, {0, 1, 0, 0, 0, 0, 0, -1, 1, 0, 0, 0, -1, 0, 0, 0, 0, (1/2), 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, (1/2)}, {0, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1, 0, 0, 0, 1, 0, 0, 0, 0, (1/2)}, {0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, -1, 0, 0, 0, 0, (1/2), 0, 0}, {0, 0, 1, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, (1/2), 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, -(1/2), 0, 0, 0}, {0, 0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, -1, 0, 0, -(1/2), 0, 0, 0}, {0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, -(1/2), 0}, {0, 1, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1, 0, 0, 0, 0, (1/2), 0, 0}, {0, 0, 2, 0, -1, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, -1, 0, 0, (1/2), 0}, {1, 0, 0, 0, 0, 0, 2, 0, 0, -1, 0, 0, 0, -1, 0, 0, -(1/2), 0, 0, 0}, {0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 2, 0, 0, 0, -1, 0, 0, 0, 0, -(1/2)}, {1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, -1, 0, 0, -(1/2), 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 1, -1, 0, 0, 0, 1, 0, 0, 0, 0, -(1/2), 0, 0}, {0, 0, 0, -1, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 1, 0, 0, 0, 0, (1/2)}})),(({{0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, (1/2)}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, -(1/2), 0, 0, 0}, {1, 0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, -1, 0, 0, -(1/2), 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, -(1/2), 0}, {0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, -1, 0, 0, (1/2), 0}, {1, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, -1, 0, 0, -(1/2), 0, 0, 0}, {0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, -(1/2)}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, -(1/2), 0, 0}, {0, 0, 0, 0, 0, 0, 0, -1, 1, 0, 0, 0, -1, 0, 0, 0, 0, (1/2), 0, 0}, {0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, -1, 0, 0, 0, 0, -(1/2)}, {-1, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, 0, 0, 1, 0, 0, (1/2), 0, 0, 0}, {0, 0, 0, 2, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, -1, 0, 0, 0, 0, -(1/2)}, {0, -1, 0, 0, 0, 0, 0, 2, -1, 0, 0, 0, 1, 0, 0, 0, 0, -(1/2), 0, 0}, {0, 0, -1, 0, 1, 0, 0, 0, 0, 0, 0, 2, 0, 0, 0, 1, 0, 0, -(1/2), 0}, {0, 1, 0, 0, 0, 0, 0, -1, 0, 0, 0, 0, -1, 0, 0, 0, 0, (1/2), 0, 0}, {0, 0, 0, 0, 0, 0, 1, 0, 0, -1, 0, 0, 0, -1, 0, 0, -(1/2), 0, 0, 0}, {0, 0, -1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, -(1/2), 0}}))};

R[Test20] = Table[Inverse[L[Test20][[Ii]]],{Ii,1,4}];

Generating Adinkra Data

GenerateAdinkraData[Test20]

GenerateCoeffs[Test20]

Reports

AdinkraReport[Test20,0]//AbsoluteTiming

AdinkraReport[Test20,1]//AbsoluteTiming

AdinkraReport[Test20,2]//AbsoluteTiming

AdinkraReport[Test20,3]//AbsoluteTiming

AdinkraReport[Test20,4]//AbsoluteTiming

AdinkraReport[Test20,5]//AbsoluteTiming

AdinkraReport[Test20,6]//AbsoluteTiming

AdinkraReport[Test20,7]//AbsoluteTiming

AdinkraReport[Test20,8]//AbsoluteTiming

AdinkraHoloMonoReport[Test20]

AdinkraReport[Test20]

AdinkraFullReport[Test20]

PrintVtildeBasis[Test20][1,2]/.nz[5]->2

Testing 4D space-time

γ5γ[0]

γ5.CommuteGammastdownstupdown[0,1]//MatrixForm

Cmetric//MatrixForm

UD[ψ[1][t,x,y,z],t]

Lap[ψ[1][t,x,y,z]]

Table[αmatrix[ahat]//MatrixForm,{ahat,1,3}]

γ[2].γ[3]==I αmatrix[1]

γ[3].γ[1]==I αmatrix[2]

γ[1].γ[2] == I αmatrix[3]

γ[0]==I βmatrix[3]

γ5

γ5 == -βmatrix[1]

γ[0].γ5 == βmatrix[2]

su2matrix[1,1]

αmatrix[1]

AntiCommuteGamma[2,2]

γ5 == (-SigmaProduct[1,2])

Sig[1,2] = - I (1/2)γ[1].γ[2]
Sig[2,3] = -I (1/2)γ[2].γ[3]
Sig[3,1] = -I (1/2)γ[3].γ[1]

γ[0] == I βmatrix[3]

γ[1] == αmatrix[1].βmatrix[2]

γ[2] == αmatrix[2].βmatrix[2]

γ[3] == αmatrix[3].βmatrix[2]

Sig[1,2] == (1/2)αmatrix[3]

Sig[2,3] == (1/2)αmatrix[1]

Sig[3,1] == (1/2)αmatrix[2]

γ5 == - βmatrix[1]

-I (1/2)γ[0] == (1/2)βmatrix[3]

((-1)/2)γ5 == (1/2)βmatrix[1]

(1/2)γ[0].γ5 == (1/2)βmatrix[2]

βmatrix[2]//MatrixForm

Testing BC4Tools

FunctionList[BC4Tools]

Rep

PrintIell[Q]

PrintIell[CM]

PrintIell[VM]

PrintIell[TM]

PrintIell[41]

ell[Q][1,1][1,2]

IellABCode[Q]

Vtilde[Q]

sl(5) basis

(ωmatrix[5][8]/.nz[5]->2)*12//MatrixForm