test_inv = ->
run_test [
"inv(a)",
"inv(inv(a))",
"a",
"inv(inv(inv(a)))",
"inv(inv(inv(inv(a))))",
"inv(a·b·c)",
"inner(inv(c),inner(inv(b),inv(a)))",
"inv(I)",
"I",
]