|
|
7.5.10.0. makeUso5
Procedure from library ncalg.lib (see ncalg_lib).
- 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).
Example:
| | LIB "ncalg.lib";
def ncAlgebra = makeUso5();
ncAlgebra;
==> // coefficients: QQ considered as a field
==> // 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
|
See also:
makeUe6;
makeUe7;
makeUe8;
makeUf4;
makeUg2;
makeUsl;
makeUsp1.
|
