"Source: Text/Module/Multilinear.text";
"Line: 5084";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Module/Multilinear.text, line: 5084
// Example: H63E66 ()
print "Example: H63E66";
ei := GetEchoInput();
SetEchoInput(true);
T := KTensorSpace(Rationals(), [5,5,5]);
A := VectorSpace(Rationals(), 5);
t := T!0;
for i in [1..5] do
  Assign(~t, [i,i,i], 1);
end for;
t;
SystemOfForms(t);
s := Ideal(t, [A.1, A.2, A.3]);
s;
r := Subtensor(t, [A.1, A.2], [A.2, A.3]);
IsIdeal(t, r);
SetEchoInput(ei);
