Top
Back: find_invo_diag
Forward: ncdetection
FastBack: center_lib
FastForward: gkdim_lib
Up: involution_lib
Top: Plural Manual
Contents: Table of Contents
Index: Index
About: About this document

B.2.0.3 find_auto

Procedure from library involution.lib (see involution_lib).

Usage:
find_auto();

Purpose:
describes a variety of linear automorphisms of a basering

Return:
a ring together with a list of pairs L, where
L[i][1] = Groebner Basis of an i-th associated prime,
L[i][2] = multiplication matrix, reduced wrt L[i][1]

Note:
for convenience, the full ideal of relations 'idJ'
and the matrix with indeterminates 'matD' are exported in the output ring. "

Example:
 
LIB "involution.lib";
def a = CreateWeyl(1);
setring a;
def X = find_auto();
setring X;
L;
==> [1]:
==>    [1]:
==>       _[1]=@_2_2-1
==>       _[2]=@_2_1
==>       _[3]=@_1_2
==>       _[4]=@_1_1-1
==>    [2]:
==>       _[1]=1
==>       _[2]=0
==>       _[3]=0
==>       _[4]=1
==> [2]:
==>    [1]:
==>       _[1]=@_2_2+1
==>       _[2]=@_2_1
==>       _[3]=@_1_2
==>       _[4]=@_1_1+1
==>    [2]:
==>       _[1]=-1
==>       _[2]=0
==>       _[3]=0
==>       _[4]=-1


Top Back: find_invo_diag Forward: ncdetection FastBack: center_lib FastForward: gkdim_lib Up: involution_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.