def test_dim_simplify_rec(): assert dim_simplify(Mul(Add(L, L), T)) == L.mul(T)
def test_dim_simplify_mul(): assert dim_simplify(Mul(L, T)) == L.mul(T)
def test_dim_simplify_pow(): assert dim_simplify(Pow(L, 2)) == L.pow(2)
def test_dim_simplify_add(): assert dim_simplify(Add(L, L)) == L
def test_dim_simplify_dimless(): assert dim_simplify(Mul(Pow(sin(Mul(L, Pow(L,-1))), 2),L)) == L
def test_dim_simplify_dimless(): assert dim_simplify(Mul(Pow(sin(Mul(L, Pow(L, -1))), 2), L)) == L
def test_dim_simplify_dimless(): assert dim_simplify(Mul(Pow(sin(Mul(L, Pow(L, -1))), 2), L)) == L assert dim_simplify(sin(L * L**(-1))**2 * L) == L
def test_dim_simplify_dimless(): assert dim_simplify(Mul(Pow(sin(Mul(L, Pow(L,-1))), 2),L)) == L assert dim_simplify(sin(L * L**(-1))**2 * L) == L