|
7.7.10.0. makeUsp3
Procedure from library ncalg.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).
Example:
See also:
makeUe6;
makeUe7;
makeUe8;
makeUf4;
makeUg2;
makeUsl;
makeUso5;
makeUsp1.
|