source: git/Tst/Long/monodromy_l.tst @ 278f82

LIB "tst.lib";
tst_init();
tst_ignore("CVS ID $Id: monodromy_l.tst,v 1.4 1998-12-21 12:37:23 obachman Exp $");

LIB "monodromy.lib";

ring R=0,(x,y,z),ds;

list unimodal=
"P[8]",x3+y3+z3+xyz,
"X[9]",x4+y4+x2y2,
"J[10]",x3+y6+x2y2,
"T[3,4,5]",x3+y4+z5+xyz,
"T[3,4,6]",x3+y4+z6+xyz,
"T[3,5,6]",x3+y5+z6+xyz,
"E[12]",x3+y7+xy5,
"E[13]",x3+xy5+y8,
"E[14]",x3+y8+xy6,
"Z[11]",x3y+y5+xy4,
"Z[12]",x3y+xy4+x2y3,
"Z[13]",x3y+y6+xy5,
"W[12]",x4+y5+x2y3,
"W[13]",x4+xy4+y6,
"Q[10]",x3+y4+yz2+xy3,
"Q[11]",x3+y2z+xz3+z5,
"Q[12]",x3+y5+yz2+xy4,
"S[11]",x4+y2z+xz2+x3z,
"S[12]",x2y+y2z+xz3+z5,
"U[12]",x3+y3+z4+xyz2;

list bimodal=
//"J[3,0]",x3+x2y3+y9+xy7,
"J[3,1]",x3+x2y3+y10,
"J[3,2]",x3+x2y3+y11,
//"Z[1,0]",x3y+x2y3+xy6+y7,
//"Z[1,1]",x3y+x2y3+y8,
//"Z[1,2]",x3y+x2y3+y9,
"W[1,0]",x4+x2y3+y6,
"W[1,1]",x4+x2y3+y7,
"W[1,2]",x4+x2y3+y8,
//"W#[1,1]",(x2+y3)^2+xy5,
//"W#[1,2]",(x2+y3)^2+x2y4,
//"W#[1,3]",(x2+y3)^2+xy6,
//"W#[1,4]",(x2+y3)^2+x2y5,
"Q[2,0]",x3+yz2+x2y2+xy4,
"Q[2,1]",x3+yz2+x2y2+y7,
"Q[2,2]",x3+yz2+x2y2+y8,
"S[1,0]",x2z+yz2+y5+zy3,
"S[1,1]",x2z+yz2+x2y2+y6,
"S[1,2]",x2z+yz2+x2y2+y7,
//"S#[1,1]",x2z+yz2+zy3+xy4,
//"S#[1,2]",x2z+yz2+zy3+x2y3,
//"S#[1,3]",x2z+yz2+zy3+xy5,
//"S#[1,4]",x2z+yz2+zy3+x2y4,
"U[1,0]",x3+xz2+xy3+y3z,
"U[1,1]",x3+xz2+xy3+y2z2,
"U[1,2]",x3+xz2+xy3+y4z,
"U[1,3]",x3+xz2+xy3+y3z2,
"U[1,4]",x3+xz2+xy3+y5z,
"E[18]",x3+y10+xy7,
"E[19]",x3+xy7+y11,
"E[20]",x3+y11+xy8,
"Z[17]",x3y+y8+xy6,
"Z[18]",x3y+xy6+y9,
"Z[19]",x3y+y9+xy7,
"W[17]",x4+xy5+y7,
"W[18]",x4+y7+x2y4,
"Q[16]",x3+yz2+y7+xy5,
"Q[17]",x2z+yz2+xy5+y8,
"Q[18]",x3+yz2+y8+xy6,
"S[16]",x2z+yz2+xy4+y6,
"S[17]",x2z+yz2+y6+zy4,
"U[16]",x3+xz2+y5+x2y2;

proc tst_monodromy(string s,poly p)
{
  map m=basering,x,y,0;
  if(p==m(p))
  {
    def R=basering;
    ring r=0,(x,y),ds;
    export r;
    poly p=imap(R,p);
  }

  "**************** "+s+" ****************";
  print(monodromy(p));
  tst_status();

  if(nvars(basering)==2)
  {
    kill r;
  }
}

int i;
list l=unimodal;
for(i=1;i<=size(l);i=i+2)
{
  tst_monodromy(l[i],l[i+1]);
}

tst_status(1); $