Skip to main content

phase_estimation_precision_ty

oxilean_std::quantum_computing::functions

Function phase_estimation_precision_ty 

Source 
pub fn phase_estimation_precision_ty() -> Expr
Expand description

PhaseEstimationPrecision : ∀ n : Nat, PhaseError n ≤ Real.pow 2 n The phase estimation error is bounded by 2^{-n}.