"Source: Text/Module/Multilinear.text";
"Line: 4672";
"Date: Fri Sep 26 12:10:11 2025";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/Module/Multilinear.text, line: 4672
// Example: H63E61 ()
print "Example: H63E61";
ei := GetEchoInput();
SetEchoInput(true);
C := TensorCategory([1,0,-1], {{0},{1},{2}});
C;
IsCovariant(C);
arrows := map< {1..5} -> {1} | x :-> 1 >;
C := CotensorCategory(arrows, {{1..5}});
C;
IsContravariant(C);
SetEchoInput(ei);
