TensorProductProperty(R, M, N, MxN, S)ΒΆ

tensor.spad line 38

Universal property of tensor products.

eval: (MxN, (M, N) -> S) -> S
eval(x, f) evaluates the bivariate function f linearly on the tensor product.