qec-code 0.3.0

Rust primitives for constructing and analyzing quantum error-correcting codes
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

#![cfg(any(
    all(feature = "distance-ilp-highs", not(feature = "distance-ilp-gurobi")),
    all(feature = "distance-ilp-gurobi", not(feature = "distance-ilp-highs"))
))]

use qec_code::QecError;
use qec_code::codes::steane::Steane;
use qec_code::distance::compute_distance_with_solver_options;
use qec_code::distance_exact::{ExactCssDistanceBackend, ExactCssDistanceSolverOptions};

fn options(backend: ExactCssDistanceBackend) -> ExactCssDistanceSolverOptions {
    ExactCssDistanceSolverOptions {
        backend,
        ..ExactCssDistanceSolverOptions::default()
    }
}

#[cfg(all(feature = "distance-ilp-highs", not(feature = "distance-ilp-gurobi")))]
#[test]
fn highs_only_build_reports_explicit_gurobi_request_as_unavailable() {
    let code = Steane::new().unwrap();

    let err =
        compute_distance_with_solver_options(code.code(), options(ExactCssDistanceBackend::Gurobi))
            .unwrap_err();

    assert_eq!(err, QecError::IlpBackendUnavailable("Gurobi".into()));
}

#[cfg(all(feature = "distance-ilp-gurobi", not(feature = "distance-ilp-highs")))]
#[test]
fn gurobi_only_build_reports_explicit_highs_request_as_unavailable() {
    let code = Steane::new().unwrap();

    let err =
        compute_distance_with_solver_options(code.code(), options(ExactCssDistanceBackend::Highs))
            .unwrap_err();

    assert_eq!(err, QecError::IlpBackendUnavailable("Highs".into()));
}