Thirteen explicit candidate incidence representatives

The word “residual” is a historical label from exploratory computation. This module defines the systems exactly but makes no claim that they exhaust all normalized, balanced, pair-sparse incidence systems.

def Erdos97Octagon.residualRepresentative00 : OctagonIncidence

The exact residual incidence representative of class 0.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.residualRepresentative01 : OctagonIncidence

The exact residual incidence representative of class 1.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.residualRepresentative02 : OctagonIncidence

The exact residual incidence representative of class 2.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.residualRepresentative03 : OctagonIncidence

The exact residual incidence representative of class 3.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.residualRepresentative04 : OctagonIncidence

The exact residual incidence representative of class 4.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.residualRepresentative05 : OctagonIncidence

The exact residual incidence representative of class 5.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.residualRepresentative06 : OctagonIncidence

The exact residual incidence representative of class 6.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.residualRepresentative07 : OctagonIncidence

The exact residual incidence representative of class 7.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.residualRepresentative08 : OctagonIncidence

The exact residual incidence representative of class 8.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.residualRepresentative09 : OctagonIncidence

The exact residual incidence representative of class 9.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.residualRepresentative10 : OctagonIncidence

The exact residual incidence representative of class 10.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.residualRepresentative11 : OctagonIncidence

The exact residual incidence representative of class 11.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.residualRepresentative12 : OctagonIncidence

The exact residual incidence representative of class 12.

Equations

• One or more equations did not get rendered due to their size.

def Erdos97Octagon.residualRepresentative : Fin 13 → OctagonIncidence

The thirteen residual representatives as one finite family.

Equations

• One or more equations did not get rendered due to their size.