Struct rustiq_core::structures::isometry::IsometryTableau

pub struct IsometryTableau {
    pub n: usize,
    pub k: usize,
    pub logicals: PauliSet,
    pub stabilizers: PauliSet,
}

Fields

n: usize

k: usize

logicals: PauliSet

stabilizers: PauliSet

Implementations

impl IsometryTableau

pub fn new(n: usize, k: usize) -> Self

pub fn random(n: usize, k: usize) -> Self

pub fn normalize_inplace(&mut self)

Put the full Tableau in column echelon form Warning: this method scratches the phases

Trait Implementations

impl Clone for IsometryTableau

fn clone(&self) -> IsometryTableau

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for IsometryTableau

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

Formats the value using the given formatter.

impl Display for IsometryTableau

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

Formats the value using the given formatter.

impl PartialEq for IsometryTableau

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl PauliLike for IsometryTableau

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 IsometryTableau