|
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
|
|