  Recently, we have developed an efficient generic partition refinement
algorithm, which computes behavioural equivalence on a state-based system given
as an encoded coalgebra, and implemented it in the tool CoPaR. Here we extend
this to a fully fledged minimization algorithm and tool by integrating two new
aspects: (1) the computation of the transition structure on the minimized state
set, and (2) the computation of the reachable part of the given system. In our
generic coalgebraic setting these two aspects turn out to be surprisingly
non-trivial requiring us to extend the previous theory. In particular, we
identify a sufficient condition on encodings of coalgebras, and we show how to
augment the existing interface, which encapsulates computations that are
specific for the coalgebraic type functor, to make the above extensions
possible. Both extensions have linear run time. Surprisingly, all information
necessary for computing the reachable part of a coalgebra is already present in
the data structures that we previously developed only for the computation of
behavioural equivalence.
