|
 |
 |
 |
 |
 |
 |
 |
 |
 |
7.7.11.0. makeUsp3
Procedure from libraryncalg.lib (see ncalg_lib).
- Usage:
- makeUsp3([p]); p an optional integer (field characteristic)
- Return:
- a ring, describing U(sp_3)
- Note:
- You have to activate this ring with the 'setring' command. The presentation of U(sp_3) is derived from the Chevalley representation of sp_3, positive resp. negative roots are denoted by x(i) resp. y(i); Cartan elements are denoted by h(i).
LIB "ncalg.lib"; def ncAlgebra = makeUsp3(); ncAlgebra; ==> // characteristic : 0 ==> // number of vars : 21 ==> // block 1 : ordering dp ==> // : names X(1) X(2) X(3) X(4) X(5) X(6) X(7) X(8) X(\ 9) Y(1) Y(2) Y(3) Y(4) Y(5) Y(6) Y(7) Y(8) Y(9) H(1) H(2) H(3) ==> // block 2 : ordering C ==> // noncommutative relations: ... setring ncAlgebra; // ... 107 noncommutative relations |