is_irreducible_logical

is_irreducible_logical#

ssip.monic_span_checker.is_irreducible_logical(indices: Iterable[int], B: ndarray[Any, dtype[uint8]]) bool[source]#

Takes a vector v in ker(B) and checks whether it is irreducible, i.e. has no subvectors in its support which are also in B. Does not check that the vector is a nontrivial logical, i.e. is not in im(A) for some check matrix A.

Parameters:
  • indices – The list of indices in the support of v.

  • B – The check matrix for v.

Returns:

True if v is in ker(B) and there is no subvector of v which is also in ker(B). False otherwise.