badSeeds={{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{0,1},{0,1}},{{1,0,0},{0,0,1}},{{1,1},{0,1}},{{0,1}}],DualData[{1},{1},{1,2},{2,1,3},{1,2}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}},{{0,1}},{{1},{1}},{{0,1},{0,1}},{{0,1}}],DualData[{1},{1},{1,2},{1},{1,2}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{0,1},{0,1}},{{1,0,0},{0,0,1}},{{1,0},{1,0},{0,1},{0,1}},{{0,1,0,0},{0,0,0,1}}],DualData[{1},{1},{1,2},{2,1,3},{1,3,2,4}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}},{{0,1}},{{1},{1}},{{0,1}},{{1},{1}}],DualData[{1},{1},{1,2},{1},{1}]]},{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}},{{1,0},{0,1}},{{1,0},{0,1}}],DualData[{1},{1},{1,2},{1,3,2,4},{1,2}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}},{{1,0},{0,1}},{{0,1},{1,0}},{{1,0},{0,1}},{{0,1},{1,0}}],DualData[{1},{1},{1,2},{1,2},{2,1}]]},{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}]]}}

Map[DisplayBigraph,badSeeds,{2}]

DecagonScorpion =Take[badSeeds,2]

Map[DisplayBigraph,DecagonScorpion,{2}]

RootOfDecagonAndScorpion = {BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{0,1},{0,1}},{{1,0,0},{0,0,1}}],DualData[{1},{1},{1,2},{2,1,3}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}},{{0,1}},{{1},{1}}],DualData[{1},{1},{1,2},{1}]]}

Map[DisplayBigraph,RootOfDecagonAndScorpion]

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

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

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

GraphToString[BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{0,1},{0,1}},{{1,0,0},{0,0,1}}],DualData[{1},{1},{1,2},{2,1,3}]]]

GraphToString[BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}},{{0,1}},{{1},{1}}],DualData[{1},{1},{1,2},{1}]]]

TruncatedFSM = {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}}],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}}],DualData[{1},{1},{1,2},{1,2},{2,1}]]}

Map[DisplayBigraph,TruncatedFSM]

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

RelativeBranchFactor[badSeeds[[4,1]],badSeeds[[4,2]],n,d,q,1]

N[qFromd[DimensionOfGenerator[RootOfDecagonAndScorpion[[1,1]]]]]

RootOfDecagonAndScorpion[[1]]

??OmegaPlusOmegaInverse

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

OmegaPlusOmegaInverse[RootOfDecagonAndScorpion[[1]],RootOfDecagonAndScorpion[[2]],n,d,q,1]

PositiveOmegaInequality[RootOfDecagonAndScorpion[[1]],RootOfDecagonAndScorpion[[2]],n,d,q,1]

Plot[Evaluate[PositiveOmegaInequality[RootOfDecagonAndScorpion[[1]],RootOfDecagonAndScorpion[[2]],n,d,q,1]/.n->0],{q,1.4,1.6},PlotRange->All]

N[qFromd[DimensionOfGenerator[Translate[RootOfDecagonAndScorpion[[1,1]],2]]]]

Plot[Evaluate[PositiveOmegaInequality[RootOfDecagonAndScorpion[[1]],RootOfDecagonAndScorpion[[2]],n,d,q,1]/.n->2],{q,1.45,1.5},PlotRange->All]

N[qFromd[DimensionOfGenerator[Translate[RootOfDecagonAndScorpion[[1,1]],4]]]]

Plot[Evaluate[PositiveOmegaInequality[RootOfDecagonAndScorpion[[1]],RootOfDecagonAndScorpion[[2]],n,d,q,1]/.n->4],{q,1.465,1.5},PlotRange->All]