isTight -- determine if toric quiver is tight

Synopsis

• Usage:

  isTight Q

  isTight(Q, W)

  isTight(W, Q)

  isTight(W, Q, Format => "Flow")

  isTight(W, Q, Format => "Weight")

• Inputs:
  • Q, an instance of the type ToricQuiver,
  • W, a list,
• Optional inputs:
  • Format => ..., default value "Flow", specify whether input W is a flow (integer values associated to each arrow) or the image of the flow under the map weights (integer values associated to each vertex).
• Outputs:
  • a Boolean value, true if the toric quiver is tight with respect to the specified flow, and false otherwise

Description

i1 : isTight bipartiteQuiver(2, 3)

o1 = true

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

o2 = false

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

o3 = true

i4 : isTight ({0,0,0,0,0,1}, bipartiteQuiver(2, 3))

o4 = false