"Source: Text/Module/Multilinear.text";
"Line: 4150";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Module/Multilinear.text, line: 4150
// Example: H63E54 ()
print "Example: H63E54";
ei := GetEchoInput();
SetEchoInput(true);
T := KTensorSpace(GF(2), [4,4,4]);
T;
T2 := KTensorSpace(GF(2), [4,1,4,1,4]);
T2;
S := sub< T | T.2, T.4, T.8 >;
S;
S subset T2;
S2 := T2!S;
S2 subset T2;
S2 subset T;
SetEchoInput(ei);
