FusionAtlasPaths={"~/projects/fusionatlas/code/package/","~/Documents/research/fusionatlas/code/package/"};
$Path=$Path~Join~FusionAtlasPaths;
<<FusionAtlas`

DisplayBigraph[HaagerupBigraph]

FSM={BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{1,0},{0,1},{0,1}},{{0,1,0,0},{0,0,1,0},{0,0,0,1}},{{1,0,0},{1,0,0},{0,1,0},{0,0,1}},{{1,0,0,0},{0,0,1,0},{0,0,0,1}}],DualData[{1},{1},{1,2},{1,3,2,4},{1,4,3,2}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}},{{1,0},{0,1}},{{0,1},{1,0},{0,1}},{{1,0,0},{0,1,0}},{{0,1},{1,0},{0,1}}],DualData[{1},{1},{1,2},{1,2},{2,1}]]};

SolveRelativeDimensionsByDepthEquations[FSM[[1]],FSM[[2]],1][d,n,q]

RelativeDimensionsConditions[HaagerupAsaedaWithDuals,DualHaagerupAsaedaWithDuals,0][d,n,q]

RelativeDimensionsByDepth[HaagerupAsaedaWithDuals,DualHaagerupAsaedaWithDuals,0][d,n,q]

RelativeBranchFactor[HaagerupWithDuals,DualHaagerupWithDuals,1][d,n,q]

RelativeBranchFactor[HaagerupAsaedaWithDuals,DualHaagerupAsaedaWithDuals,0][d,n,q]

RelativeBranchFactor[FSM[[1]],FSM[[2]]][d,n,q]

RelativeBranchFactor[Truncate[FSM[[1]],-1],Truncate[FSM[[2]],-1]][d,n,q]

RelativeBranchFactor[Truncate[FSM[[1]],-2],Truncate[FSM[[2]],-2]][d,n,q]