"Source: Text/Module/Multilinear.text";
"Line: 5197";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Module/Multilinear.text, line: 5197
// Example: H63E67 ()
print "Example: H63E67";
ei := GetEchoInput();
SetEchoInput(true);
K := Rationals();
F := [*KMatrixSpace(K, 3, 2), VectorSpace(K, 3), VectorSpace(K, 3)*];
mult := function(x)
  return Transpose(x[1]*Matrix(2, 1, Eltseq(x[2])[2..3]));
end function;
t := Tensor(F, mult);
t;
s := Subtensor(t, [*[F[1].1, F[1].4], F[2], F[3]*]);
s;
IsFullyNondegenerate(s);
r := Ideal(t, [*F[1]!0, F[2].1, F[3].3*]);
r;
IsIdeal(t, r);
q := s/r;
q;
IsFullyNondegenerate(q);
SetEchoInput(ei);
