test_transpose = ->
	run_test [

		"transpose(0)",
		"0",

		"transpose(0.0)",
		"0.0",

		"transpose(((a,b),(c,d)))",
		"((a,c),(b,d))",

		"transpose(((a,b),(c,d)),1,2)",
		"((a,c),(b,d))",

		"transpose(((a,b,c),(d,e,f)),1,2)",
		"((a,d),(b,e),(c,f))",

		"transpose(((a,d),(b,e),(c,f)),1,2)",
		"((a,b,c),(d,e,f))",

		"transpose((a,b,c))",
		"(a,b,c)",


		"transpose(a)",
		"transpose(a)",

		"transpose(a,1,2)",
		"transpose(a)",

		"transpose(a,2,1)",
		"transpose(a)",

		"transpose(1+10)",
		"11",

		"transpose(1+10,2,3)",
		"11",

		"transpose(a*b)",
		"transpose(a)*transpose(b)",
			
		"transpose(a*b,3,4)",
		"transpose(a,3,4)*transpose(b,3,4)",
			
		"transpose(b*2*a)",
		"2*transpose(a)*transpose(b)",

		"transpose(b*2*a,3,4)",
		"2*transpose(a,3,4)*transpose(b,3,4)",
			
		"transpose(b+a)",
		"transpose(a)+transpose(b)",
			
		"transpose(b+a,3,4)",
		"transpose(a,3,4)+transpose(b,3,4)",
			
		"transpose(inner(a,b))",
		"inner(transpose(b),transpose(a))",
			
		"transpose(inner(a,b),3,4)",
		"inner(transpose(b,3,4),transpose(a,3,4))",

		"transpose(transpose(a))",
		"a",
					
		"transpose(transpose(transpose(a)))",
		"transpose(a)",

		"transpose(transpose(transpose(transpose(a))))",
		"a",

		"transpose(transpose(a),3,4)",
		"transpose(transpose(a),3,4)",

		"transpose(transpose(transpose(a),3,4))",
		"transpose(transpose(transpose(a),3,4))",
			
		"transpose(transpose(transpose(a),3,4))",
		"transpose(transpose(transpose(a),3,4))",

		"transpose(transpose(transpose(a),1,2))",
		"transpose(a)",

		"transpose(transpose(transpose(a),2,1))",
		"transpose(a)",
			
		"transpose(transpose(a,3,4),4,3)",
		"a",
			
		"transpose(transpose(a,3,4),5,6)",
		"transpose(transpose(a,3,4),5,6)",
			
		"transpose(a) - transpose(a)",
		"0",
			
		"transpose(a,1,2) - transpose(a,1,2)",
		"0",
			
		"transpose(a,3,4) - transpose(a,3,4)",
		"0",

		"aᵀ^b",
		"transpose(a)^b",

		"a^ᵀb",
		"a^ᵀ ? b\nStop: syntax error",

		"aᵀ^2^3",
		"transpose(a)^8",

		"aᵀ",
		"transpose(a)",

		"aᵀᵀ",
		"a",

		"aᵀᵀᵀ",
		"transpose(a)",

		"aᵀᵀᵀᵀ",
		"a",

		"aᵀ+b",
		"b+transpose(a)",

		"aᵀ*b",
		"b*transpose(a)",

		# this output could be written out more
		# cleanly without extra parens
		"aᵀ^bᵀ",
		"transpose(a)^(transpose(b))",

		"aᵀ*bᵀ",
		"transpose(a)*transpose(b)",

		"a^bᵀ",
		"a^(transpose(b))",

		"(a^b)ᵀ",
		"transpose(a^b)",

		"(a*b)ᵀ",
		"transpose(a)*transpose(b)",

		"inner(a,b)ᵀ",
		"inner(transpose(b),transpose(a))",

		"dot(a,b)ᵀ",
		"inner(transpose(b),transpose(a))",

		"(a·b·c)ᵀ",
		"inner(transpose(c),inner(transpose(b),transpose(a)))",

		"Iᵀᵀᵀ",
		"I",

		# Note that we are using the
		# standard commutative multiplication here,
		# not the dot product.
		# So, one of the two arguments should
		# be a scalar, but we don't know
		# which one, so we have to transpose
		# both. Note that we
		# don't invert the order because
		# we know it's a normal
		# multiplication.
		"transpose(A)*transpose(x)",
		"transpose(A)*transpose(x)",

	]