basisForFlowPolytope Q
basisForFlowPolytope (T, Q)
For a generic weight, theta, in $C(Q)$, the flow polytope has the same dimension as the kernel of the inc map, which is $|Q_0| - |Q_1| + 1$. Moreover, given a spanning tree of the quiver, there exists a natural basis for the kernel of the inc map constructed from the combinatorics of the quiver, see Dániel Joó, Toric Quiver Varieties, Ph.D thesis, 2015. Therefore, we can translate the flow polytope to this kernel and express the polytope on such basis. With basisForFlowPolytope Q, we calculate the basis for inc map from a spanning tree of it. If none is provided, then one is randomly chosen.
|
|
The object basisForFlowPolytope is a method function.