def unify_with_symbols(K0, K1, symbols):
        if (K0.is_Composite and (set(K0.symbols) & set(symbols))) or (K1.is_Composite and (set(K1.symbols) & set(symbols))):
            raise UnificationFailed((K0, K1, tuple(symbols)) % "can't unify %s with %s, given %s generators")

        return K0.unify(K1)
dataset/ETHPy150Open sympy/sympy/sympy/polys/domains/domain.py/Domain.unify_with_symbols/swapped operands of `%`