isAcyclic -- whether a toric quiver has no cycles

• Usage:

  isAcyclic M

  isAcyclic Q

• Inputs:
  • Q, a toric quiver,
• Outputs:
  • a Boolean value, true if the quiver is acyclic

i1 : isAcyclic bipartiteQuiver(2, 3)

o1 = true

i2 : isAcyclic toricQuiver matrix({{-1, 1, -1, -1}, {1, -1, 0, 0}, {0, 0, 1, 1}})

o2 = false