"Source: Text/Module/Multilinear.text";
"Line: 4870";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Module/Multilinear.text, line: 4870
// Example: H63E64 ()
print "Example: H63E64";
ei := GetEchoInput();
SetEchoInput(true);
A := OctonionAlgebra(Rationals(), -1, -1, -1);
t := Tensor(A);
t;
H := sub< A | A.1, A.2, A.3, A.4 >;
H;
H_gens := [A.i : i in [1..4]];
s := Subtensor(t, [*H_gens, H_gens, A!0*]);
s;
s2 := Tensor(H);
s2;
s eq s2;
Eltseq(s) eq Eltseq(s2);
SetEchoInput(ei);
