For a totally real number field F that is Galois over Q, we discuss an
algorithm for computing the Hilbert modular forms over F that are base
changes. As an application, we explain how this is used for the
computations of the congruences between base change and non-base change Hilbert modular forms.