distance_lower_bound_z3

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.