isAcyclic -- check that a quiver has no cycles

Synopsis

• Usage:

  isAcyclic Q

• Inputs:
  • Q, an instance of the type ToricQuiver,
• Outputs:
  • a Boolean value,

Description

i1 : isAcyclic bipartiteQuiver(2, 3);

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

o2 = false