"Source: Text/Module/Multilinear.text";
"Line: 1679";
"Date: Fri Aug  5 15:35:33 2022";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/Module/Multilinear.text, line: 1679
// Example: H62E25 ()
print "Example: H62E25";
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);
