isWellDefined -- determine if toric quiver is correctly constructed

Synopsis

Usage:

isWellDefined Q
Inputs:
- Q, an instance of the type ToricQuiver,
Outputs:
- a Boolean value, true if the vertices and edges of the toric quiver agree, and if the flow for the quiver is a preimage for the weight. Otherwise, false.

Description

This method checks that the various attributes associated to the given toric quiver are in the correct dimension. It also checks that the weights for the quiver are induced by the flow, and that the vertices and edges are constructed without gaps or missing data.

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

o1 = false

Ways to use isWellDefined :

isWellDefined(ToricQuiver)

For the programmer

The object isWellDefined is a method function.