"Source: Text/Module/Multilinear.text";
"Line: 118";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Module/Multilinear.text, line: 118
// Example: H63E2 ()
print "Example: H63E2";
ei := GetEchoInput();
SetEchoInput(true);
C := TensorCategory([1, 1, 0], {{0}, {1,2}});
C;
T := KTensorSpace(GF(2), [10, 10, 2], C);
T;
t := T![1..200];
t;
C:Magma;
T:Magma;
t:Magma;
SetEchoInput(ei);
