Top
Back: g2
Forward: Qso3
FastBack: ncall_lib
FastForward: ncdecomp_lib
Up: ncalg_lib
Top: Plural Manual
Contents: Table of Contents
Index: Index
About: About this document

B.5.0.4 gl

Procedure from library ncalg.lib (see ncalg_lib).

Usage:
gl(n,[p]); n an integer, n>1; p an optional integer (field characteristic)

Purpose:
set up the U(gl_n) in the (e_ij (1<i,j<n)) presentation over the field of char p

Return:
ring

Note:
You have to activate this ring with the 'setring' command.

Example:
 
LIB "ncalg.lib";
def a=gl(3);
setring a; a;
==> //   characteristic : 0
==> //   number of vars : 9
==> //        block   1 : ordering dp
==> //                  : names    e_1_1 e_1_2 e_1_3 e_2_1 e_2_2 e_2_3 e_3_1 \
   e_3_2 e_3_3 
==> //        block   2 : ordering C
==> //   noncommutative relations:
==> //    e_1_2e_1_1=e_1_1*e_1_2-e_1_2
==> //    e_1_3e_1_1=e_1_1*e_1_3-e_1_3
==> //    e_2_1e_1_1=e_1_1*e_2_1+e_2_1
==> //    e_3_1e_1_1=e_1_1*e_3_1+e_3_1
==> //    e_2_1e_1_2=e_1_2*e_2_1-e_1_1+e_2_2
==> //    e_2_2e_1_2=e_1_2*e_2_2-e_1_2
==> //    e_2_3e_1_2=e_1_2*e_2_3-e_1_3
==> //    e_3_1e_1_2=e_1_2*e_3_1+e_3_2
==> //    e_2_1e_1_3=e_1_3*e_2_1+e_2_3
==> //    e_3_1e_1_3=e_1_3*e_3_1-e_1_1+e_3_3
==> //    e_3_2e_1_3=e_1_3*e_3_2-e_1_2
==> //    e_3_3e_1_3=e_1_3*e_3_3-e_1_3
==> //    e_2_2e_2_1=e_2_1*e_2_2+e_2_1
==> //    e_3_2e_2_1=e_2_1*e_3_2+e_3_1
==> //    e_2_3e_2_2=e_2_2*e_2_3-e_2_3
==> //    e_3_2e_2_2=e_2_2*e_3_2+e_3_2
==> //    e_3_1e_2_3=e_2_3*e_3_1-e_2_1
==> //    e_3_2e_2_3=e_2_3*e_3_2-e_2_2+e_3_3
==> //    e_3_3e_2_3=e_2_3*e_3_3-e_2_3
==> //    e_3_3e_3_1=e_3_1*e_3_3+e_3_1
==> //    e_3_3e_3_2=e_3_2*e_3_3+e_3_2
sl, g2


Top Back: g2 Forward: Qso3 FastBack: ncall_lib FastForward: ncdecomp_lib Up: ncalg_lib 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.