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.