| 1 | LIB "tst.lib"; tst_init(); |
|---|
| 2 | LIB "resbinomial.lib"; |
|---|
| 3 | ring r = 0,(x(1),y(2),x(3),y(4),x(5..7)),dp; |
|---|
| 4 | list flag=identifyvar(); |
|---|
| 5 | ideal J=x(1)^3-x(3)^2*y(4)^2,x(1)*x(7)*y(2)-x(6)^3*x(5)*y(4)^3,x(5)^3-x(5)^3*y(2)^2; |
|---|
| 6 | list Lmb=2,list(0,0,0,0,0,0,0),list(0,0,0,0,0,0,0),list(0,0,0,0,0,0,0),iniD(7),iniD(7),list(0,0,0,0,0,0,0),-1; |
|---|
| 7 | list L=data(J,3,7); |
|---|
| 8 | list L2=determinecenter(L[1],L[2],2,7,0,0,Lmb,flag,0,-1); // Computing the center |
|---|
| 9 | module auxpath=[0,-1]; |
|---|
| 10 | list infochart=0,0,0,L[2],L[1],flag,0,list(0,0,0,0,0,0,0),auxpath,list(),list(); |
|---|
| 11 | list L3=Blowupcenter(L2[1],1,1,infochart,2,7,0); |
|---|
| 12 | L3[1]; // current chart (parent,Y,center,expJ,Coef,flag,Hhist,blwhist,path,hipercoef,hiperexp) with sons: [12],...,[16] |
|---|
| 13 | L3[2][1]; // information of its first son, write L3[2][2],...,L3[2][5] to see the other sons |
|---|
| 14 | L3[3]; // current number of charts |
|---|
| 15 | L3[4]; // step/level associated to each son |
|---|
| 16 | L3[5]; // number of variables in the center |
|---|
| 17 | tst_status(1);$ |
|---|
