|
[____]
This chapter describes the functionality for quantum groups in Magma.
First there are a few sections that briefly describe the theoretical
background behind quantum groups (or, more precisely, quantized enveloping
algebras). This fixes the notation and the
terminology that we use (these vary somewhat in the literature).
For this we mainly follow [Jan96]. In the remainder
we describe the functions that exist in Magma for constructing and
working with quantum groups and their representations.
In Magma, quantized enveloping algebras have type AlgQUE and their
elements have type AlgQUEElt. These types inherit from AlgPBW
and AlgPBWElt respectively, which are general types for algebras with
a PBW basis and their elements and inherit from GenMPolB,
Alg and Rng and their element types.
[Next][Prev] [Right] [____] [Up] [Index] [Root]
|