distance_lower_bound_z3#
- ssip.distance.distance_lower_bound_z3(Hx: ndarray[Any, dtype[uint8]], Lx: ndarray[Any, dtype[uint8]], d: int) list | None [source]#
Checks to see whether there are any Z logicals of weight at most d. If there are, returns the first one found.
- Parameters:
Hx – The X parity check matrix of the code.
Lx – A spanning set of X logicals of the code.
d – The weight to check below.
- Returns:
The first nontrivial Z logical of weight at most d, if there is one. Otherwise returns None.