Singular Manual: autXhat

D.15.2.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";
==> // ** redefining fullSpace (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining fullSpace (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining origin (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining origin (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining positiveOrthant (  LIB "gfan.lib";) gitfan.lib::mod_init\
   :86
==> // ** redefining positiveOrthant (  LIB "gfan.lib";) gitfan.lib::mod_init\
   :86
==> // ** redefining intmatToGfanVectorConfiguration (  LIB "gfan.lib";) gitf\
   an.lib::mod_init:86
==> // ** redefining secondaryFan (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining secondaryFan (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining ambientDimension (  LIB "gfan.lib";) gitfan.lib::mod_ini\
   t:86
==> // ** redefining ambientDimension (  LIB "gfan.lib";) gitfan.lib::mod_ini\
   t:86
==> // ** redefining canonicalizeCone (  LIB "gfan.lib";) gitfan.lib::mod_ini\
   t:86
==> // ** redefining canonicalizeCone (  LIB "gfan.lib";) gitfan.lib::mod_ini\
   t:86
==> // ** redefining codimension (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining codimension (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining coneViaPoints (  LIB "gfan.lib";) gitfan.lib::mod_init:8\
   6
==> // ** redefining coneViaPoints (  LIB "gfan.lib";) gitfan.lib::mod_init:8\
   6
==> // ** redefining coneViaInequalities (  LIB "gfan.lib";) gitfan.lib::mod_\
   init:86
==> // ** redefining coneViaInequalities (  LIB "gfan.lib";) gitfan.lib::mod_\
   init:86
==> // ** redefining coneLink (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining coneLink (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining containsAsFace (  LIB "gfan.lib";) gitfan.lib::mod_init:\
   86
==> // ** redefining containsAsFace (  LIB "gfan.lib";) gitfan.lib::mod_init:\
   86
==> // ** redefining containsRelatively (  LIB "gfan.lib";) gitfan.lib::mod_i\
   nit:86
==> // ** redefining containsRelatively (  LIB "gfan.lib";) gitfan.lib::mod_i\
   nit:86
==> // ** redefining containsInSupport (  LIB "gfan.lib";) gitfan.lib::mod_in\
   it:86
==> // ** redefining containsInSupport (  LIB "gfan.lib";) gitfan.lib::mod_in\
   it:86
==> // ** redefining containsPositiveVector (  LIB "gfan.lib";) gitfan.lib::m\
   od_init:86
==> // ** redefining containsPositiveVector (  LIB "gfan.lib";) gitfan.lib::m\
   od_init:86
==> // ** redefining convexHull (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining convexHull (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining convexIntersection (  LIB "gfan.lib";) gitfan.lib::mod_i\
   nit:86
==> // ** redefining convexIntersection (  LIB "gfan.lib";) gitfan.lib::mod_i\
   nit:86
==> // ** redefining dimension (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining dimension (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining dualCone (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining dualCone (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining equations (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining equations (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining faceContaining (  LIB "gfan.lib";) gitfan.lib::mod_init:\
   86
==> // ** redefining faceContaining (  LIB "gfan.lib";) gitfan.lib::mod_init:\
   86
==> // ** redefining facets (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining facets (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining generatorsOfLinealitySpace (  LIB "gfan.lib";) gitfan.li\
   b::mod_init:86
==> // ** redefining generatorsOfLinealitySpace (  LIB "gfan.lib";) gitfan.li\
   b::mod_init:86
==> // ** redefining generatorsOfSpan (  LIB "gfan.lib";) gitfan.lib::mod_ini\
   t:86
==> // ** redefining generatorsOfSpan (  LIB "gfan.lib";) gitfan.lib::mod_ini\
   t:86
==> // ** redefining getLinearForms (  LIB "gfan.lib";) gitfan.lib::mod_init:\
   86
==> // ** redefining getLinearForms (  LIB "gfan.lib";) gitfan.lib::mod_init:\
   86
==> // ** redefining getMultiplicity (  LIB "gfan.lib";) gitfan.lib::mod_init\
   :86
==> // ** redefining getMultiplicity (  LIB "gfan.lib";) gitfan.lib::mod_init\
   :86
==> // ** redefining inequalities (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining inequalities (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining isFullSpace (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining isFullSpace (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining isOrigin (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining isOrigin (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining isSimplicial (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining isSimplicial (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining linealityDimension (  LIB "gfan.lib";) gitfan.lib::mod_i\
   nit:86
==> // ** redefining linealityDimension (  LIB "gfan.lib";) gitfan.lib::mod_i\
   nit:86
==> // ** redefining linealitySpace (  LIB "gfan.lib";) gitfan.lib::mod_init:\
   86
==> // ** redefining linealitySpace (  LIB "gfan.lib";) gitfan.lib::mod_init:\
   86
==> // ** redefining negatedCone (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining negatedCone (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining quotientLatticeBasis (  LIB "gfan.lib";) gitfan.lib::mod\
   _init:86
==> // ** redefining quotientLatticeBasis (  LIB "gfan.lib";) gitfan.lib::mod\
   _init:86
==> // ** redefining randomPoint (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining randomPoint (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining rays (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining rays (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining relativeInteriorPoint (  LIB "gfan.lib";) gitfan.lib::mo\
   d_init:86
==> // ** redefining relativeInteriorPoint (  LIB "gfan.lib";) gitfan.lib::mo\
   d_init:86
==> // ** redefining semigroupGenerator (  LIB "gfan.lib";) gitfan.lib::mod_i\
   nit:86
==> // ** redefining semigroupGenerator (  LIB "gfan.lib";) gitfan.lib::mod_i\
   nit:86
==> // ** redefining setLinearForms (  LIB "gfan.lib";) gitfan.lib::mod_init:\
   86
==> // ** redefining setLinearForms (  LIB "gfan.lib";) gitfan.lib::mod_init:\
   86
==> // ** redefining setMultiplicity (  LIB "gfan.lib";) gitfan.lib::mod_init\
   :86
==> // ** redefining setMultiplicity (  LIB "gfan.lib";) gitfan.lib::mod_init\
   :86
==> // ** redefining span (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining span (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining uniquePoint (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining uniquePoint (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining containsInCollection (  LIB "gfan.lib";) gitfan.lib::mod\
   _init:86
==> // ** redefining containsInCollection (  LIB "gfan.lib";) gitfan.lib::mod\
   _init:86
==> // ** redefining emptyFan (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining emptyFan (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining fanViaCones (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining fanViaCones (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining fullFan (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining fullFan (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining fVector (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining fVector (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining getCone (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining getCone (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining insertCone (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining insertCone (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining isCompatible (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining isCompatible (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining isPure (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining isPure (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining nmaxcones (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining nmaxcones (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining ncones (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining ncones (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining numberOfConesOfDimension (  LIB "gfan.lib";) gitfan.lib:\
   :mod_init:86
==> // ** redefining numberOfConesOfDimension (  LIB "gfan.lib";) gitfan.lib:\
   :mod_init:86
==> // ** redefining removeCone (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining removeCone (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining dualPolytope (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining dualPolytope (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining newtonPolytope (  LIB "gfan.lib";) gitfan.lib::mod_init:\
   86
==> // ** redefining newtonPolytope (  LIB "gfan.lib";) gitfan.lib::mod_init:\
   86
==> // ** redefining polytopeViaPoints (  LIB "gfan.lib";) gitfan.lib::mod_in\
   it:86
==> // ** redefining polytopeViaPoints (  LIB "gfan.lib";) gitfan.lib::mod_in\
   it:86
==> // ** redefining polytopeViaInequalities (  LIB "gfan.lib";) gitfan.lib::\
   mod_init:86
==> // ** redefining polytopeViaInequalities (  LIB "gfan.lib";) gitfan.lib::\
   mod_init:86
==> // ** redefining vertices (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining vertices (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining onesVector (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining onesVector (  LIB "gfan.lib";) gitfan.lib::mod_init:86
==> // ** redefining mod_init (  LIB "gfan.lib";) gitfan.lib::mod_init:86
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 considered as a field
==> // 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:2323
==> // ** redefining k (int k = 1;) autgradalg.lib::stabilizer:1974
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;
User manual for Singular version 4.4.1, 2025, generated by texi2html.