symbolic\_dynamics.sofic.is\_irreducible ======================================== .. currentmodule:: symbolic_dynamics.sofic .. autofunction:: is_irreducible