"Source: Text/Module/Multilinear.text";
"Line: 3799";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Module/Multilinear.text, line: 3799
// Example: H63E49 ()
print "Example: H63E49";
ei := GetEchoInput();
SetEchoInput(true);
K := GF(5);
T := TensorSpace(K, 4, 3, 2);
T;
S := KTensorSpace(K, [4, 4, 4, 4, 4, 1]);
S;
TensorCategory(S); // default category
TensorCategory(T);
S eq T;
SetEchoInput(ei);
