Singular

7.7.11.0. makeUso5

Usage:

makeUso5([p]); p an optional integer (field characteristic)

Return:

a ring, describing U(so_5)

Note:

You have to activate this ring with the 'setring' command. The presentation of U(so_5) is derived from the Chevalley representation of so_5, positive resp. negative roots are denoted by x(i) resp. y(i); Cartan elements are denoted by h(i).

LIB "ncalg.lib";
def ncAlgebra = makeUso5();
ncAlgebra;
==> //   characteristic : 0
==> //   number of vars : 10
==> //        block   1 : ordering dp
==> //                  : names    X(1) X(2) X(3) X(4) Y(1) Y(2) Y(3) Y(4) H(\
   1) H(2)
==> //        block   2 : ordering C
==> //   noncommutative relations: ...
setring ncAlgebra;
// ...  28  noncommutative relations