next | previous | forward | backward | up | top | index | toc | Macaulay2 website
ThinSincereQuivers :: isTight

isTight -- determine if toric quiver is tight



A toric quiver $Q$ is tight with respect to a given flow if there is no maximal unstable subquiver of codimension 1. That is, every unstable subquiver of $Q$ has at most $|Q_1|-2$ arrows. This method determines if a toric quiver $Q$ is tight with respect to the vertex weights induced by its flow.

i1 : isTight bipartiteQuiver(2, 3)

o1 = true
i2 : isTight bipartiteQuiver(2, 3, Flow=>"Random")

o2 = true
i3 : isTight (bipartiteQuiver(2, 3), {2,1,2,3,2,3})

o3 = true
i4 : isTight ({2,1,2,3,2,3}, bipartiteQuiver(2, 3))

o4 = true

Ways to use isTight :

For the programmer

The object isTight is a method function with options.