"Source: Text/Module/Multilinear.text";
"Line: 5755";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Module/Multilinear.text, line: 5755
// Example: H63E73 ()
print "Example: H63E73";
ei := GetEchoInput();
SetEchoInput(true);
t := Tensor(IdentityMatrix(Rationals(), 4), 2, 1);
s := Tensor(IdentityMatrix(Rationals(), 6), 2, 1);
Z := ZeroMatrix(Rationals(), 4, 6);
M := InsertBlock(Z, IdentityMatrix(Rationals(), 4), 1, 1);
H := Homotopism(t, s, [*M, M, IdentityMatrix(Rationals(), 1)*]);
H;
Domain(H);
Codomain(H);
Maps(H);
TensorCategory(H);
Im := Image(H);
Im;
Ker := Kernel(H);
Ker;
SetEchoInput(ei);
