|
7.7.10.0. makeQsl2
Procedure from library ncalg.lib (see ncalg_lib).
- Usage:
- makeQsl2([n]), n an optional int
- Return:
- ring
- Purpose:
- define the U_q(sl_2) as a factor-ring of a ring V_q(sl_2) modulo the ideal
Qideal
- Note:
- the output consists of a ring, presenting V_q(sl_2) together with the ideal called
Qideal in this ring
activate this ring with the setring command
in order to create the U_q(sl_2) from the output, execute the command like qring Usl2q = Qideal;
If n is specified, the quantum parameter q will be specialized at the n-th root of unity
Example:
See also:
makeQsl3;
makeQso3;
makeUsl.
|