"Source: Text/Module/Multilinear.text";
"Line: 1679";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Module/Multilinear.text, line: 1679
// Example: H63E25 ()
print "Example: H63E25";
ei := GetEchoInput();
SetEchoInput(true);
K := Rationals();
U := KMatrixSpace(K, 2, 2);
V := VectorSpace(K, 2);
mult := func< x | x[1]*x[2] >;
t := Tensor([* V, U, V *], mult);
t;
TensorCategory(t);
Cat := TensorCategory([1, 1, 1], {{2,0},{1}});
Cat;
ChangeTensorCategory(~t, Cat);
TensorCategory(t);
IsCovariant(t);
SetEchoInput(ei);
