code: def unify(a, b, s={}):
      return core.unify(
          a,
          b,
          s=s,
          is_associative=is_associative,
          is_commutative=is_commutative,
      )
  
file_path: sympy/sympy/unify/tests/test_unify.py
imports: from sympy.unify.core import Compound, Variable, CondVariable, allcombinations
  from sympy.unify import core
label_desc: Use image node_id 3 for calling a global function with example usage: unify(a, b, s) and returns: core