Top
Back: eliminate
Forward: fetch
FastBack: Functions
FastForward: Mathematical background
Up: Functions
Top: Plural Manual
Contents: Table of Contents
Index: Index
About: About this document

3.4 envelope

Syntax:
envelope ( ring_name )
Type:
ring
Purpose:
creates an enveloping algebra of a given algebra, that is $A^{env} = A \otimes_K A^{opp}$, where $A^{opp}$ is the opposite algebra of $A$.
Remark:
You have to activate the ring with the setring command. For the presentation, see explanation of opposite.
 
LIB "ncalg.lib";
def A = sl2();
setring A; A;
==> //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    e f h 
==> //        block   2 : ordering C
==> //   noncommutative relations:
==> //    fe=ef-h
==> //    he=eh+2e
==> //    hf=fh-2f
def Aenv = envelope(A);
setring Aenv; 
Aenv;
==> //   characteristic : 0
==> //   number of vars : 6
==> //        block   1 : ordering dp
==> //                  : names    e f h 
==> //        block   2 : ordering a
==> //                  : names    H F E 
==> //                  : weights  1 1 1 
==> //        block   3 : ordering ls
==> //                  : names    H F E 
==> //        block   4 : ordering C
==> //   noncommutative relations:
==> //    fe=ef-h
==> //    he=eh+2e
==> //    hf=fh-2f
==> //    FH=HF-2F
==> //    EH=HE+2E
==> //    EF=FE-H
See oppose; opposite.


Top Back: eliminate Forward: fetch FastBack: Functions FastForward: Mathematical background Up: Functions Top: Plural Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 2-1-99, August 2004, generated by texi2html.