"Source: Text/Module/Multilinear.text";
"Line: 5309";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Module/Multilinear.text, line: 5309
// Example: H63E68 ()
print "Example: H63E68";
ei := GetEchoInput();
SetEchoInput(true);
K := Rationals();
T := KTensorSpace(K, [2,2,1]);
T;
S := sub< T | T.1, T.2+T.3, T.4 >;
S;
IsSymmetric(S);
A := sub< T | T.2-T.3 >;
A;
IsAlternating(A);
IsSubtensorSpace(S, A);
SetEchoInput(ei);
