Home Online Manual
Top
Back: makeUso5
Forward: makeUso7
FastBack:
FastForward:
Up: ncalg_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.5.10.0. makeUso6
Procedure from library ncalg.lib (see ncalg_lib).

Usage:
makeUso6([p]); p an optional integer (field characteristic)

Return:
a ring, describing U(so_6)

Note:
You have to activate this ring with the 'setring' command. The presentation of U(so_6) is derived from the Chevalley representation of so_6, 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 = makeUso6();
ncAlgebra;
==> // coefficients: QQ
==> // number of vars : 15
==> //        block   1 : ordering dp
==> //                  : names    X(1) X(2) X(3) X(4) X(5) X(6) Y(1) Y(2) Y(\
   3) Y(4) Y(5) Y(6) H(1) H(2) H(3)
==> //        block   2 : ordering C
==> // noncommutative relations: ...
setring ncAlgebra;
// ...  60  noncommutative relations
See also: makeUe6; makeUe7; makeUe8; makeUf4; makeUg2; makeUsl; makeUso5; makeUsp1.