Gottesman–Knill theorem