(predicate, expr, assumptions)
return all(ask(predicate(b), assumptions) for b in expr.blocks)
Block Matrix elements
Block Matrix elements
Block Matrix elements
def BM_elements(predicate, expr, assumptions):
    """ Block Matrix elements """
    return all(ask(predicate(b), assumptions) for b in expr.blocks)
def BM_elements ( predicate , expr , assumptions ) : return all ( ask ( predicate ( b ) , assumptions ) for b in expr . blocks )