MagicUpToClifford Class

An ISA transform that adds Clifford equivalent representations of magic states. For example, if the input ISA contains a T gate, the provided ISA will also contain SQRT_SQRT_X, SQRT_SQRT_X_DAG, SQRT_SQRT_Y, SQRT_SQRT_Y_DAG, and T_DAG. The same is applied for CCZ gates and their Clifford equivalents.

Example:

Constructor

MagicUpToClifford()

Methods

provided_isa
required_isa

provided_isa

provided_isa(impl_isa, ctx: ISAContext) -> Generator[ISA, None, None]

Parameters

Name	Description
impl_isa Required
ctx Required

required_isa

static required_isa() -> ISARequirements