BigObject SymmetrizedCocircuitEquations

from application polytope

ISOTYPIC_COMPONENTS

the isotypic components that participate

Type:

Set<Int>

---

PROJECTED_EQUATIONS

the equations themselves, projected to the direct sum of ISOTYPIC_COMPONENTS. The columns are indexed by the concatenation of the BASES of the direct sum of ISOTYPIC_COMPONENTS

Type:

SparseMatrix<Rational,NonSymmetric>

---

RIDGES

the ridges indexing the rows of the equations

Type:

Array<Array<Int>>

---