makeTight -- return a tight quiver with the same flow polytope

Synopsis

Usage:

makeTight(W, Q)
Inputs:
- W, a list, of values corresponding to a weight on each arrow of Q
- Q, an instance of the type ToricQuiver,
Outputs:
- Q, an instance of the type ToricQuiver, that is tight with respect to the flow on the input, and which has the same flow polytope as the input.

Description

i1 : Q = bipartiteQuiver(2,3)

o1 = ToricQuiver{flow => {1, 1, 1, 1, 1, 1}                            }
                 IncidenceMatrix => | -1 -1 -1 0  0  0  |
                                    | 0  0  0  -1 -1 -1 |
                                    | 1  0  0  1  0  0  |
                                    | 0  1  0  0  1  0  |
                                    | 0  0  1  0  0  1  |
                 Q0 => {0, 1, 2, 3, 4}
                 Q1 => {{0, 2}, {0, 3}, {0, 4}, {1, 2}, {1, 3}, {1, 4}}
                 weights => {-3, -3, 2, 2, 2}

o1 : ToricQuiver

i2 : w = {-5,-1,2,2,2}

o2 = {-5, -1, 2, 2, 2}

o2 : List

i3 : makeTight(w, Q)

o3 = ToricQuiver{flow => {-1, 1, 1}             }
                 IncidenceMatrix => | 1  1  1  |
                                    | -1 -1 -1 |
                 Q0 => {0, 1}
                 Q1 => {{1, 0}, {1, 0}, {1, 0}}
                 weights => {1, -1}

o3 : ToricQuiver

For the programmer

The object makeTight is a function closure.