lcapy.utils.similarity_shift

lcapy.utils.similarity_shift(expr, var)

Rewrite foo(a * t + b) as foo(t) and return a, b.