We have a finite dimensional representation of a finite quiver over, say, the rationals. Is there an algorithm known to decompose this representation into its irreducible components?

A related question: we have two (finite-dimensional) representations of a finite quiver. Is there an algorithm to check if one is a summand of the other?

Thanks a lot for hints and pointers!