| LIB "invar.lib";
SL(3);
Invar::group;
==> // coefficients: QQ
==> // number of vars : 9
==> // block 1 : ordering dp
==> // : names g(1) g(2) g(3) g(4) g(5) g(6) g(7) g(8) g(\
9)
==> // block 2 : ordering C
groupideal;
==> groupideal[1]=g(3)*g(5)*g(7)-g(2)*g(6)*g(7)-g(3)*g(4)*g(8)+g(1)*g(6)*g(8)\
+g(2)*g(4)*g(9)-g(1)*g(5)*g(9)+1
print(SLrep);
==> g(1),g(2),g(3),
==> g(4),g(5),g(6),
==> g(7),g(8),g(9)
|