Magma

MAGMA Computational Algebra System

Magma
 •  How to get it
 •  Download
 •  Online Demo
 
Resources
 •  Online Help
 •  Discovering Mathematics with Magma
 •  Citations
 •  How to cite Magma
 •  Links
 •  Contact us
 
[Next][Prev] [Right] [Left] [Up] [Index] [Root]

Construction of Elements

Subsections
Zero(L) : AlgLie -> AlgLieElt
Zero(L) : AlgMatLie -> AlgMatLieElt
L ! 0 : AlgLie, RngIntElt -> AlgLieElt
L ! 0 : AlgMatLie, RngIntElt -> AlgMatLieElt
Create the zero element of the Lie algebra L.
Random(L) : AlgLie -> AlgLieElt
Random(L) : AlgMatLie -> AlgMatLieElt
Given an Lie algebra L defined over a finite ring, return a random element.

Construction of Elements of Structure Constant Algebras

elt<L | r1, r2, ..., rn> : AlgLie, RngElt, RngElt, ..., RngElt -> AlgLieElt
Given a Lie algebra L of dimension n over a ring R, and ring elements r1, r2, ..., rn ∈R construct the element r1 * e1 + r2 * e2 + ... + rn * en of L.
L ! Q : AlgLie, SeqEnum[RngElt] -> AlgLieElt
Given a Lie algebra L of dimension n and a sequence Q = [r1, r2, ..., rn] of elements of the base ring R of L, construct the element r1 * e1 + r2 * e2 + ... + rn * en of L.
BasisProduct(L, i, j) : AlgLie, RngIntElt, RngIntElt -> AlgLieElt
Return the product of the i-th and j-th basis element of the Lie algebra L.
BasisProducts(L) : AlgLie -> [[ AlgLieElt ]]
Return the products of all basis elements of the Lie algebra L as a sequence Q of n sequences of n elements of L, where n is the dimension of L. The element Q[i][j] is the product of the i-th and j-th basis elements.

Construction of Matrix Elements

Matrix Lie elements can be constructed using the functions below. For more information on constructing matrices see Section Construction of a Matrix.

DiagonalMatrix(L, Q) : AlgMatLie, [RngElt] -> AlgMatLieElt
ScalarMatrix(L, r) : AlgMatLie, RngElt -> AlgMatLieElt

Diagonal respectively scalar matrix in the Lie algebra L, given by the sequence Q of ring elements or the ring element r.

elt<R | L> : AlgMatLie, [ RngElt ] -> AlgMatLieElt
elt<R | L> : AlgMatLie, RngElt, ..., RngElt -> AlgMatLieElt
R ! L : AlgMatLie, [RngElt] -> AlgMatLieElt
Create the element of the matrix Lie algebra R of degree n whose entries are the n2 elements of the sequence L.
 [Next][Prev] [Right] [Left] [Up] [Index] [Root]
                       

Version: V2.16 of Mon Nov 16 15:04:45 EST 2009

Valid HTML 4.01! Valid CSS!