Currently the order of the elements within check.operators is important - this is how the printer decides how to format the shape. To print nicely, these operators should be ordered such that adjacent elements in the list are adjacent vertices in the polygon we'd like to print to represent this check. e.g. for a square, writing [(0, 0), (1, 0), (1, 1), (0, 1)] would satisfy this.
But this might not be the order we'd like to perform CNOTs in during an extraction circuit. So perhaps need two traits.
Currently the order of the elements within check.operators is important - this is how the printer decides how to format the shape. To print nicely, these operators should be ordered such that adjacent elements in the list are adjacent vertices in the polygon we'd like to print to represent this check. e.g. for a square, writing [(0, 0), (1, 0), (1, 1), (0, 1)] would satisfy this.
But this might not be the order we'd like to perform CNOTs in during an extraction circuit. So perhaps need two traits.