Top
Back: stabilizer
Forward: autX
FastBack:
FastForward:
Up: autgradalg_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.1.5 autXhat

Procedure from library autgradalg.lib (see autgradalg_lib).

Usage:
autXhat(RL, w0, TOR): RL is an ideal, w an intvec, TOR a list of integers

Assume:
the basering is multigraded, the elements of TOR stand for the torsion rows of the matrix getVariableWeights(), w is an ample class or the free part of such a class.

Purpose:
compute an ideal J such that V(J) in some GL(n) is isomorphic to the H-equivariant automorphisms \widehat X --> \widehat X.

Example:
 
LIB "autgradalg.lib";
intmat Q[3][5] =
1,1,1,1,1,
1,-1,0,0,1,
1,1,1,0,0;
list TOR = 2;
ring R = 0,T(1..5),dp;
setBaseMultigrading(Q);
ideal I = T(1)*T(2) + T(3)^2 + T(4)^2;
intvec w0 = 2,1,0;
def RR = autXhat(I, w0, TOR);
==> // coefficients: QQ
==> // number of vars : 30
==> //        block   1 : ordering dp
==> //                  : names    T(1) T(2) T(3) T(4) T(5) Y(1) Y(2) Y(3) Y(\
   4) Y(5) Y(6) Y(7) Y(8) Y(9) Y(10) Y(11) Y(12) Y(13) Y(14) Y(15) Y(16) Y(1\
   7) Y(18) Y(19) Y(20) Y(21) Y(22) Y(23) Y(24) Y(25)
==> //        block   2 : ordering C
==> // ** redefining adMons (  list adMons;) autgradalg.lib::autKS:2324
==> // ** redefining k (int k = 1;) autgradalg.lib::stabilizer:1975
setring RR;
RES;
==> [1]:
==>    [1]:
==>       _[1,1]=Y(1)
==>       _[1,2]=0
==>       _[1,3]=0
==>       _[1,4]=0
==>       _[1,5]=0
==>       _[2,1]=0
==>       _[2,2]=Y(7)
==>       _[2,3]=0
==>       _[2,4]=0
==>       _[2,5]=0
==>       _[3,1]=0
==>       _[3,2]=0
==>       _[3,3]=Y(13)
==>       _[3,4]=0
==>       _[3,5]=0
==>       _[4,1]=0
==>       _[4,2]=0
==>       _[4,3]=0
==>       _[4,4]=Y(19)
==>       _[4,5]=0
==>       _[5,1]=0
==>       _[5,2]=0
==>       _[5,3]=0
==>       _[5,4]=0
==>       _[5,5]=Y(25)
==>    [2]:
==>       1,0,0,
==>       0,1,0,
==>       0,0,1 
==>    [3]:
==>       _[1]=Y(2)
==>       _[2]=Y(3)
==>       _[3]=Y(4)
==>       _[4]=Y(5)
==>       _[5]=Y(6)
==>       _[6]=Y(8)
==>       _[7]=Y(9)
==>       _[8]=Y(10)
==>       _[9]=Y(11)
==>       _[10]=Y(12)
==>       _[11]=Y(14)
==>       _[12]=Y(15)
==>       _[13]=Y(16)
==>       _[14]=Y(17)
==>       _[15]=Y(18)
==>       _[16]=Y(20)
==>       _[17]=Y(21)
==>       _[18]=Y(22)
==>       _[19]=Y(23)
==>       _[20]=Y(24)
==>       _[21]=Y(1)*Y(7)*Y(13)*Y(19)*Y(25)*Z-1
==>       _[22]=Y(13)^2-Y(19)^2
==>       _[23]=Y(1)*Y(7)-Y(13)^2
==> [2]:
==>    [1]:
==>       _[1,1]=Y(1)
==>       _[1,2]=0
==>       _[1,3]=0
==>       _[1,4]=0
==>       _[1,5]=0
==>       _[2,1]=0
==>       _[2,2]=Y(7)
==>       _[2,3]=0
==>       _[2,4]=0
==>       _[2,5]=0
==>       _[3,1]=0
==>       _[3,2]=0
==>       _[3,3]=0
==>       _[3,4]=Y(14)
==>       _[3,5]=0
==>       _[4,1]=0
==>       _[4,2]=0
==>       _[4,3]=Y(18)
==>       _[4,4]=0
==>       _[4,5]=0
==>       _[5,1]=0
==>       _[5,2]=0
==>       _[5,3]=0
==>       _[5,4]=0
==>       _[5,5]=Y(25)
==>    [2]:
==>       1,0,0,
==>       0,1,0,
==>       1,1,1 
==>    [3]:
==>       _[1]=Y(2)
==>       _[2]=Y(3)
==>       _[3]=Y(4)
==>       _[4]=Y(5)
==>       _[5]=Y(6)
==>       _[6]=Y(8)
==>       _[7]=Y(9)
==>       _[8]=Y(10)
==>       _[9]=Y(11)
==>       _[10]=Y(12)
==>       _[11]=Y(13)
==>       _[12]=Y(15)
==>       _[13]=Y(16)
==>       _[14]=Y(17)
==>       _[15]=Y(19)
==>       _[16]=Y(20)
==>       _[17]=Y(21)
==>       _[18]=Y(22)
==>       _[19]=Y(23)
==>       _[20]=Y(24)
==>       _[21]=-Y(1)*Y(7)*Y(14)*Y(18)*Y(25)*Z-1
==>       _[22]=-Y(14)^2+Y(18)^2
==>       _[23]=Y(1)*Y(7)-Y(18)^2
kill RR, Q, R;


Top Back: stabilizer Forward: autX FastBack: FastForward: Up: autgradalg_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4.3.2, 2023, generated by texi2html.