test_inv = ->
	run_test [

		"inv(a)",
		"inv(a)",

		"inv(inv(a))",
		"a",

		"inv(inv(inv(a)))",
		"inv(a)",

		"inv(inv(inv(inv(a))))",
		"a",

		"inv(a·b·c)",
		"inner(inv(c),inner(inv(b),inv(a)))",

		"inv(I)",
		"I",

	]