Skip to main content

quantum_ldpc_good_code_ty

oxilean_std::coding_theory::functions

Function quantum_ldpc_good_code_ty 

Source 
pub fn quantum_ldpc_good_code_ty() -> Expr
Expand description

QuantumLDPCGoodCode : Nat → Prop — good quantum LDPC codes have linear distance and linear rate simultaneously.