Interactive stabilizer calculator

[awcross1]

Create, manipulate, and view (mixed) stabilizer states defined by a subgroup of the Pauli group.

Modify those states by:

• measuring any Pauli product (returning the outcome and whether or not it is deterministic)
• applying any Clifford gate
• selecting an equivalent set of stabilizer generators
• ...

Query those states by:

• displaying the stabilizer generators
• testing if a particular element belongs to the stabilizer

This might already exist in some form in Terra/quantum-info or in a sympy module.