pub struct QuantumAssert { /* private fields */ }Expand description
Quantum state assertion helper
Implementations§
Source§impl QuantumAssert
impl QuantumAssert
Sourcepub const fn with_tolerance(tolerance: f64) -> Self
pub const fn with_tolerance(tolerance: f64) -> Self
Create with custom tolerance
Sourcepub fn states_equal(
&self,
state1: &Array1<Complex64>,
state2: &Array1<Complex64>,
) -> TestResult
pub fn states_equal( &self, state1: &Array1<Complex64>, state2: &Array1<Complex64>, ) -> TestResult
Assert two quantum states are equal (up to global phase)
Sourcepub fn state_normalized(&self, state: &Array1<Complex64>) -> TestResult
pub fn state_normalized(&self, state: &Array1<Complex64>) -> TestResult
Assert a state is normalized
Sourcepub fn states_orthogonal(
&self,
state1: &Array1<Complex64>,
state2: &Array1<Complex64>,
) -> TestResult
pub fn states_orthogonal( &self, state1: &Array1<Complex64>, state2: &Array1<Complex64>, ) -> TestResult
Assert two states are orthogonal
Sourcepub fn matrix_unitary(&self, matrix: &Array2<Complex64>) -> TestResult
pub fn matrix_unitary(&self, matrix: &Array2<Complex64>) -> TestResult
Assert a matrix is unitary
Sourcepub fn measurement_probabilities(
&self,
state: &Array1<Complex64>,
expected_probs: &[(usize, f64)],
) -> TestResult
pub fn measurement_probabilities( &self, state: &Array1<Complex64>, expected_probs: &[(usize, f64)], ) -> TestResult
Assert a state has specific measurement probabilities
Sourcepub fn is_entangled(
&self,
state: &Array1<Complex64>,
qubit_indices: &[usize],
) -> TestResult
pub fn is_entangled( &self, state: &Array1<Complex64>, qubit_indices: &[usize], ) -> TestResult
Assert entanglement properties
Trait Implementations§
Auto Trait Implementations§
impl Freeze for QuantumAssert
impl RefUnwindSafe for QuantumAssert
impl Send for QuantumAssert
impl Sync for QuantumAssert
impl Unpin for QuantumAssert
impl UnwindSafe for QuantumAssert
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.