"Source: Text/Module/Multilinear.text";
"Line: 5484";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Module/Multilinear.text, line: 5484
// Example: H63E70 ()
print "Example: H63E70";
ei := GetEchoInput();
SetEchoInput(true);
T := KTensorSpace(GF(3), [3,3,3]);
t := T.1+T.14+T.27;
SystemOfForms(t);
s := (T.4+T.10)+(T.8+T.20)+(T.18+T.24);
SystemOfForms(s);
P := PermutationMatrix(GF(3), [2,1,3]);
H := Homotopism(t, t, [*P, P, P*]);
H;
IsHomotopism(s, s, [*P, P, P*]);
SetEchoInput(ei);
