"Source: Text/Module/Multilinear.text";
"Line: 4239";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Module/Multilinear.text, line: 4239
// Example: H63E55 ()
print "Example: H63E55";
ei := GetEchoInput();
SetEchoInput(true);
K := GF(8);
T := KTensorSpace(K, [3,5,7]);
T;
Dimension(T);
#Basis(T);
T.100 in Basis(T);
T.100;
#T eq 8^(3*5*7);
SetEchoInput(ei);
