Sistema canónico associado a uma SBA. Dado um ponto extremo, identificação algébrica das direcção  associadas às arestas incidentes nesse ponto extremo.

Versão algébrica do algoritmo simplex.