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