Struct Tableau

pub struct Tableau {
    pub logicals: PauliSet,
}

Fields

logicals: PauliSet

Implementations

impl Tableau

pub fn new(n: usize) -> Self

Allocates a new Tableau representing the identity operator over n qubits

pub fn from_circuit(circuit: &CliffordCircuit) -> Self

Build the Tableau corresponding to a Clifford circuit

pub fn random(n: usize) -> Self

Generates a random Tableau (no garantuees, just here for testing)

pub fn from_operators(logicals: &Vec<(bool, String)>) -> Self

Build a Tableau from a PauliSet

pub fn adjoint(&self) -> Self

Returns the inverse Tableau

pub fn get_inverse_z(&self, qbit: usize) -> (bool, String)

pub fn get_inverse_x(&self, qbit: usize) -> (bool, String)

pub fn to_isometry(self) -> IsometryTableau

Lifts the Taleau into an IsometryTableau (k = 0)

Trait Implementations

impl Clone for Tableau

fn clone(&self) -> Tableau

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Tableau

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Mul for Tableau

type Output = Tableau

The resulting type after applying the * operator.

fn mul(self, rhs: Tableau) -> Self::Output

Performs the * operation.

impl PartialEq for Tableau

fn eq(&self, other: &Tableau) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PauliLike for Tableau

fn h(&mut self, i: usize)

Conjugate the PauliLike object via a H gate

fn s(&mut self, i: usize)

Conjugate the PauliLike object via a S gate

fn sd(&mut self, i: usize)

Conjugate the PauliLike object via a S dagger gate

fn sqrt_x(&mut self, i: usize)

Conjugate the PauliLike object via a SQRT_X gate

fn sqrt_xd(&mut self, i: usize)

Conjugate the PauliLike object via a SQRT_X dagger gate

fn cnot(&mut self, i: usize, j: usize)

Conjugate the PauliLike object via a CNOT gate

fn cz(&mut self, i: usize, j: usize)

fn conjugate_with_gate(&mut self, gate: &CliffordGate)

Conjugate the PauliLike object via a Gate

fn conjugate_with_circuit(&mut self, circuit: &CliffordCircuit)

Conjugate the PauliLike object via a Circuit

impl StructuralPartialEq for Tableau