- sage: set_random_seed()
- sage: J = random_eja()
- sage: x = J.random_element()
- sage: y = J.random_element()
- sage: z = J.random_element()
- sage: a = QQ.random_element();
- sage: actual = (a*(x+z)).trace_inner_product(y)
- sage: expected = a*x.trace_inner_product(y) + a*z.trace_inner_product(y)
- sage: actual == expected
- True
- sage: actual = x.trace_inner_product(a*(y+z))
- sage: expected = a*x.trace_inner_product(y) + a*x.trace_inner_product(z)
- sage: actual == expected
- True