We would like to decompose a quiver representation into its irreducible components. Is there an algorithm known to do that? A related question: we have two representations of a quiver. Is there a way to check if one is a summand of the other? Thanks a lot!