"Source: Text/Module/Multilinear.text";
"Line: 1951";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Module/Multilinear.text, line: 1951
// Example: H63E29 ()
print "Example: H63E29";
ei := GetEchoInput();
SetEchoInput(true);
A := MatrixAlgebra(GF(3), 3);
JacobiID := func< x | x[1]*x[2]*x[3]+x[2]*x[3]*x[1]+x[3]*x[1]*x[2] >;
Cat := TensorCategory([1 : i in [0..3]], {{0..3}});
t, maps := Tensor([A : i in [0..3]], JacobiID, Cat);
t;
TensorCategory(t);
x := <A.1, A.2, A.2^2>;
x;
x @ t;
phi := maps[1];
x := <A.1 @ phi, A.2 @ phi, (A.2^2) @ phi>;
x;
x @ t;
x := <A.1, A.2 @ phi, Eltseq(A.2^2)>;
x;
<Type(i) : i in x>;
x @ t;
SetEchoInput(ei);
