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