Home Online Manual
Back: makeUso9
Forward: makeUso11
Up: ncalg_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document makeUso10
Procedure from library ncalg.lib (see ncalg_lib).

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

a ring, describing U(so_{10})

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

LIB "ncalg.lib";
def ncAlgebra = makeUso10();
==> // coefficients: QQ
==> // number of vars : 45
==> //        block   1 : ordering dp
==> //                  : names    X(1) X(2) X(3) X(4) X(5) X(6) X(7) X(8) X(\
   9) X(10) X(11) X(12) X(13) X(14) X(15) X(16) X(17) X(18) X(19) X(20) Y(1)\
    Y(2) Y(3) Y(4) Y(5) Y(6) Y(7) Y(8) Y(9) Y(10) Y(11) Y(12) Y(13) Y(14) Y(\
   15) Y(16) Y(17) Y(18) Y(19) Y(20) H(1) H(2) H(3) H(4) H(5)
==> //        block   2 : ordering C
==> // noncommutative relations: ...
setring ncAlgebra;
// ...  390  noncommutative relations
See also: makeUe6; makeUe7; makeUe8; makeUf4; makeUg2; makeUsl; makeUso5; makeUsp1.