|
7.7.10.0. makeUf4
Procedure from library ncalg.lib (see ncalg_lib).
- Usage:
- makeUf4([p]); p an optional integer (field characteristic)
- Return:
- a ring, describing U(f_4)
- Note:
- You have to activate this ring with the 'setring' command. The presentation of U(f_4) is derived from the Chevalley representation of f_4, 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;
makeUg2;
makeUsl;
makeUso5;
makeUsp1.
|