|  |  7.5.10.0. makeUso7 Procedure from libraryncalg.lib(see  ncalg_lib).
 
Example:Usage:
makeUso7([p]); p an optional integer (field characteristic)
Return:
a ring, describing U(so_7)
Note:
You have to activate this ring with the 'setring' command. The presentation of U(so_7) is derived from the Chevalley representation of so_7, positive resp. negative roots are denoted by x(i) resp. y(i); Cartan elements are denoted by h(i).
 See also:
 makeUe6;
 makeUe7;
 makeUe8;
 makeUf4;
 makeUg2;
 makeUsl;
 makeUso5;
 makeUsp1.|  | LIB "ncalg.lib";
def ncAlgebra = makeUso7();
ncAlgebra;
==> // coefficients: QQ
==> // 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
 | 
 
 |