sage: x.trace_inner_product(y) == y.trace_inner_product(x)
True
sage: # bilinear
- sage: a = J.base_ring().random_element();
+ sage: a = J.base_ring().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) )