LIB "resbinomial.lib";
ring r = 0,(x(1..2)),dp;
ideal J=x(1)^3-x(1)*x(2)^3;
list L=Eresol(J);         // 8 charts, rational exponents
list B=genoutput(L[1],L[8],L[4],L[6],2,2,0); // generates the output
presentTree(B);
==>                         
==> /////////////////////////// Final Chart 1 /////////////////////////
==> ======================== History of this chart ======================
==>                   
==> Blow Up 1 :
==>      Center determined in L[2][1],
==>      Passing to chart  1  in resulting blow up.
==>                  
==> ======================== Data of this chart ========================
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=-y(1)*y(2)^3+1
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=y(1)
==>    
==> ==== Images of variables of original ring:
==> _[1]=y(1)
==> _[2]=y(1)*y(2)
==>    
==> pause>                        
==> /////////////////////////// Final Chart 2 /////////////////////////
==> ======================== History of this chart ======================
==>                   
==> Blow Up 1 :
==>      Center determined in L[2][1],
==>      Passing to chart  2  in resulting blow up.
==>                   
==> Blow Up 2 :
==>      Center determined in L[2][3],
==>      Passing to chart  1  in resulting blow up.
==>                   
==> Blow Up 3 :
==>      Center determined in L[2][4],
==>      Passing to chart  1  in resulting blow up.
==>                  
==> ======================== Data of this chart ========================
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=y(1)-1
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=1
==> [2]:
==>    _[1]=y(1)
==> [3]:
==>    _[1]=x(2)
==>    
==> ==== Images of variables of original ring:
==> _[1]=y(1)^2*x(2)^3
==> _[2]=y(1)*x(2)^2
==>    
==> pause>                        
==> /////////////////////////// Final Chart 3 /////////////////////////
==> ======================== History of this chart ======================
==>                   
==> Blow Up 1 :
==>      Center determined in L[2][1],
==>      Passing to chart  2  in resulting blow up.
==>                   
==> Blow Up 2 :
==>      Center determined in L[2][3],
==>      Passing to chart  1  in resulting blow up.
==>                   
==> Blow Up 3 :
==>      Center determined in L[2][4],
==>      Passing to chart  2  in resulting blow up.
==>                  
==> ======================== Data of this chart ========================
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=-y(2)+1
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=y(2)
==> [2]:
==>    _[1]=1
==> [3]:
==>    _[1]=x(1)
==>    
==> ==== Images of variables of original ring:
==> _[1]=x(1)^3*y(2)
==> _[2]=x(1)^2*y(2)
==>    
==> pause>                        
==> /////////////////////////// Final Chart 4 /////////////////////////
==> ======================== History of this chart ======================
==>                   
==> Blow Up 1 :
==>      Center determined in L[2][1],
==>      Passing to chart  2  in resulting blow up.
==>                   
==> Blow Up 2 :
==>      Center determined in L[2][3],
==>      Passing to chart  2  in resulting blow up.
==>                   
==> Blow Up 3 :
==>      Center determined in L[2][5],
==>      Passing to chart  1  in resulting blow up.
==>                  
==> ======================== Data of this chart ========================
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=y(1)^2*y(2)-1
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=1
==> [2]:
==>    _[1]=y(2)
==> [3]:
==>    _[1]=y(1)
==>    
==> ==== Images of variables of original ring:
==> _[1]=y(1)*y(2)^2
==> _[2]=y(2)
==>    
==> pause>///////////////////////////////////////////////////////////////////\
   /
==> For identification of exceptional divisors please use the tools
==> provided by reszeta.lib, e.g. collectDiv.
==> For viewing an illustration of the tree of charts please use the
==> procedure ResTree from resgraph.lib.
==> ////////////////////////////////////////////////////////////////////
list iden0=collectDiv(B);
ResTree(B,iden0[1]);        // generates the resolution tree
==> sh: dot: Kommando nicht gefunden.
==> Currently showing graphics in separate window
==> sh: display: Kommando nicht gefunden.
==> Press <Return> to continue
==> pause>./examples/genoutput.sing   9> // Use presentTree(B); to see the fi\
   nal charts
// To see the tree type in another shell
//    dot -Tjpg ResTree.dot -o ResTree.jpg
//   /usr/bin/X11/xv ResTree.jpg
==> .