monic_span_checker

Functions

is_irreducible_logical	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.
monic_span	Checks that there is a monic span with a logical operator subcomplex at the apex, with each morphism mapping basis elements to basis elements, and returns the relevant data required to construct that span (there may be multiple, in which case it returns the first it finds).
restricted_matrix