Top
Back: zetaDL
Forward: prepEmbDiv
FastBack: resolve_lib
FastForward: sagbi_lib
Up: reszeta_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.19.5 collectDiv

Procedure from library reszeta.lib (see reszeta_lib).

Usage:
collectDiv(L);
L = list of rings

Assume:
L is output of resolution of singularities

Compute:
list representing the identification of the exceptional divisors in the various charts

Return:
list l, where
l[1]: intmat, entry k in position i,j implies BO[4][j] of chart i is divisor k (if k!=0)
if k==0, no divisor corresponding to i,j
l[2]: list ll, where each entry of ll is a list of intvecs entry i,j in list ll[k] implies BO[4][j] of chart i
is divisor k
l[3]: list L

Example:
 
LIB "reszeta.lib";
ring R=0,(x,y,z),dp;
ideal I=xyz+x4+y4+z4;
//we really need to blow up curves even if the generic point of
//the curve the total transform is n.c.
//this occurs here in r[2][5]
list re=resolve(I,1);
==> ++++++++++++++ Overview of Current Chart +++++++++++++++++++++++
==> Current number of final charts: 0
==> Total number of charts currently in chart-tree: 1
==> Index of the current chart in chart-tree: 1
==> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=x4+y4+z4+xyz
==>       
==> ==== Exceptional Divisors: 
==> empty list
==>    
==> ==== Images of variables of original ring:
==> _[1]=x
==> _[2]=y
==> _[3]=z
==>    
==> -------------------------- Upcoming Center ---------------------
==> _[1]=z
==> _[2]=y
==> _[3]=x
==> ----------------------------------------------------------------
==> ++++++++++++++ Overview of Current Chart +++++++++++++++++++++++
==> Current number of final charts: 0
==> Total number of charts currently in chart-tree: 4
==> Index of the current chart in chart-tree: 2
==> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=x(3)*y(1)^4+x(3)*y(2)^4+y(1)*y(2)+x(3)
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=x(3)
==>    
==> ==== Images of variables of original ring:
==> _[1]=x(3)*y(2)
==> _[2]=x(3)*y(1)
==> _[3]=x(3)
==>    
==> -------------------------- Upcoming Center ---------------------
==> _[1]=y(2)
==> _[2]=y(1)
==> _[3]=x(3)
==> ----------------------------------------------------------------
==> ++++++++++++++ Overview of Current Chart +++++++++++++++++++++++
==> Current number of final charts: 0
==> Total number of charts currently in chart-tree: 6
==> Index of the current chart in chart-tree: 3
==> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=x(2)*y(0)^4+x(2)*y(2)^4+y(0)*y(2)+x(2)
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=x(2)
==>    
==> ==== Images of variables of original ring:
==> _[1]=x(2)*y(2)
==> _[2]=x(2)
==> _[3]=x(2)*y(0)
==>    
==> -------------------------- Upcoming Center ---------------------
==> _[1]=y(2)
==> _[2]=y(0)
==> _[3]=x(2)
==> ----------------------------------------------------------------
==> ++++++++++++++ Overview of Current Chart +++++++++++++++++++++++
==> Current number of final charts: 0
==> Total number of charts currently in chart-tree: 8
==> Index of the current chart in chart-tree: 4
==> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=x(1)*y(0)^4+x(1)*y(1)^4+y(0)*y(1)+x(1)
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=x(1)
==>    
==> ==== Images of variables of original ring:
==> _[1]=x(1)
==> _[2]=x(1)*y(1)
==> _[3]=x(1)*y(0)
==>    
==> -------------------------- Upcoming Center ---------------------
==> _[1]=y(1)
==> _[2]=y(0)
==> _[3]=x(1)
==> ----------------------------------------------------------------
==> ++++++++++++++ Overview of Current Chart +++++++++++++++++++++++
==> Current number of final charts: 0
==> Total number of charts currently in chart-tree: 10
==> Index of the current chart in chart-tree: 5
==> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=x(3)^4*y(1)^4*y(2)+x(3)^4*y(2)+x(3)*y(1)+y(2)
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=y(2)
==> [2]:
==>    _[1]=x(3)
==>    
==> ==== Images of variables of original ring:
==> _[1]=x(3)^2*y(2)
==> _[2]=x(3)^2*y(1)*y(2)
==> _[3]=x(3)*y(2)
==>    
==> -------------------------- Upcoming Center ---------------------
==> _[1]=y(2)
==> _[2]=x(3)
==> ----------------------------------------------------------------
==> ++++++++++++++ Overview of Current Chart +++++++++++++++++++++++
==> Current number of final charts: 0
==> Total number of charts currently in chart-tree: 12
==> Index of the current chart in chart-tree: 6
==> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=x(2)^4*y(0)^4*y(2)+x(2)^4*y(2)+x(2)*y(0)+y(2)
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=y(2)
==> [2]:
==>    _[1]=x(2)
==>    
==> ==== Images of variables of original ring:
==> _[1]=x(2)^2*y(0)*y(2)
==> _[2]=x(2)^2*y(2)
==> _[3]=x(2)*y(2)
==>    
==> -------------------------- Upcoming Center ---------------------
==> _[1]=y(2)
==> _[2]=x(2)
==> ----------------------------------------------------------------
==> ++++++++++++++ Overview of Current Chart +++++++++++++++++++++++
==> Current number of final charts: 0
==> Total number of charts currently in chart-tree: 14
==> Index of the current chart in chart-tree: 7
==> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=x(3)^4*y(1)^4*y(2)+x(3)^4*y(2)+x(3)*y(1)+y(2)
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=y(2)
==> [2]:
==>    _[1]=x(3)
==>    
==> ==== Images of variables of original ring:
==> _[1]=x(3)^2*y(2)
==> _[2]=x(3)*y(2)
==> _[3]=x(3)^2*y(1)*y(2)
==>    
==> -------------------------- Upcoming Center ---------------------
==> _[1]=y(2)
==> _[2]=x(3)
==> ----------------------------------------------------------------
==> ++++++++++++++ Overview of Current Chart +++++++++++++++++++++++
==> Current number of final charts: 0
==> Total number of charts currently in chart-tree: 16
==> Index of the current chart in chart-tree: 8
==> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=x(2)^4*y(0)^4*y(2)+x(2)^4*y(2)+x(2)*y(0)+y(2)
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=y(2)
==> [2]:
==>    _[1]=x(2)
==>    
==> ==== Images of variables of original ring:
==> _[1]=x(2)^2*y(0)*y(2)
==> _[2]=x(2)*y(2)
==> _[3]=x(2)^2*y(2)
==>    
==> -------------------------- Upcoming Center ---------------------
==> _[1]=y(2)
==> _[2]=x(2)
==> ----------------------------------------------------------------
==> ++++++++++++++ Overview of Current Chart +++++++++++++++++++++++
==> Current number of final charts: 0
==> Total number of charts currently in chart-tree: 18
==> Index of the current chart in chart-tree: 9
==> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=x(3)^4*y(1)^4*y(2)+x(3)^4*y(2)+x(3)*y(1)+y(2)
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=y(2)
==> [2]:
==>    _[1]=x(3)
==>    
==> ==== Images of variables of original ring:
==> _[1]=x(3)*y(2)
==> _[2]=x(3)^2*y(2)
==> _[3]=x(3)^2*y(1)*y(2)
==>    
==> -------------------------- Upcoming Center ---------------------
==> _[1]=y(2)
==> _[2]=x(3)
==> ----------------------------------------------------------------
==> ++++++++++++++ Overview of Current Chart +++++++++++++++++++++++
==> Current number of final charts: 0
==> Total number of charts currently in chart-tree: 20
==> Index of the current chart in chart-tree: 10
==> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=x(2)^4*y(0)^4*y(2)+x(2)^4*y(2)+x(2)*y(0)+y(2)
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=y(2)
==> [2]:
==>    _[1]=x(2)
==>    
==> ==== Images of variables of original ring:
==> _[1]=x(2)*y(2)
==> _[2]=x(2)^2*y(0)*y(2)
==> _[3]=x(2)^2*y(2)
==>    
==> -------------------------- Upcoming Center ---------------------
==> _[1]=y(2)
==> _[2]=x(2)
==> ----------------------------------------------------------------
==> ++++++++++++++ Overview of Current Chart +++++++++++++++++++++++
==> Current number of final charts: 0
==> Total number of charts currently in chart-tree: 22
==> Index of the current chart in chart-tree: 11
==> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=x(2)^4*x(3)^4*y(1)^4+x(3)^4*y(1)^4+x(2)*y(1)+1
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=1
==> [2]:
==>    _[1]=y(1)
==> [3]:
==>    _[1]=x(3)
==>    
==> ==== Images of variables of original ring:
==> _[1]=x(3)^3*y(1)^2
==> _[2]=x(2)*x(3)^3*y(1)^2
==> _[3]=x(3)^2*y(1)
==>    
==> -------------------------- Upcoming Center ---------------------
==> _[1]=x(2)^4*x(3)^4*y(1)^4+x(3)^4*y(1)^4+x(2)*y(1)+1
==> ----------------------------------------------------------------
==> ++++++++++++++ Overview of Current Chart +++++++++++++++++++++++
==> Current number of final charts: 1
==> Total number of charts currently in chart-tree: 22
==> Index of the current chart in chart-tree: 12
==> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=x(1)^4*x(2)^4*y(0)+x(1)^4*y(0)+x(2)+y(0)
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=y(0)
==> [2]:
==>    _[1]=1
==> [3]:
==>    _[1]=x(1)
==>    
==> ==== Images of variables of original ring:
==> _[1]=x(1)^3*y(0)
==> _[2]=x(1)^3*x(2)*y(0)
==> _[3]=x(1)^2*y(0)
==>    
==> -------------------------- Upcoming Center ---------------------
==> _[1]=x(1)^4*x(2)^4*y(0)+x(1)^4*y(0)+x(2)+y(0)
==> ----------------------------------------------------------------
==> ++++++++++++++ Overview of Current Chart +++++++++++++++++++++++
==> Current number of final charts: 2
==> Total number of charts currently in chart-tree: 22
==> Index of the current chart in chart-tree: 13
==> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=x(2)^4*x(3)^4*y(1)^4+x(3)^4*y(1)^4+x(2)*y(1)+1
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=1
==> [2]:
==>    _[1]=y(1)
==> [3]:
==>    _[1]=x(3)
==>    
==> ==== Images of variables of original ring:
==> _[1]=x(2)*x(3)^3*y(1)^2
==> _[2]=x(3)^3*y(1)^2
==> _[3]=x(3)^2*y(1)
==>    
==> -------------------------- Upcoming Center ---------------------
==> _[1]=x(2)^4*x(3)^4*y(1)^4+x(3)^4*y(1)^4+x(2)*y(1)+1
==> ----------------------------------------------------------------
==> ++++++++++++++ Overview of Current Chart +++++++++++++++++++++++
==> Current number of final charts: 3
==> Total number of charts currently in chart-tree: 22
==> Index of the current chart in chart-tree: 14
==> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=x(1)^4*x(2)^4*y(0)+x(1)^4*y(0)+x(2)+y(0)
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=y(0)
==> [2]:
==>    _[1]=1
==> [3]:
==>    _[1]=x(1)
==>    
==> ==== Images of variables of original ring:
==> _[1]=x(1)^3*x(2)*y(0)
==> _[2]=x(1)^3*y(0)
==> _[3]=x(1)^2*y(0)
==>    
==> -------------------------- Upcoming Center ---------------------
==> _[1]=x(1)^4*x(2)^4*y(0)+x(1)^4*y(0)+x(2)+y(0)
==> ----------------------------------------------------------------
==> ++++++++++++++ Overview of Current Chart +++++++++++++++++++++++
==> Current number of final charts: 4
==> Total number of charts currently in chart-tree: 22
==> Index of the current chart in chart-tree: 15
==> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=x(2)^4*x(3)^4*y(1)^4+x(3)^4*y(1)^4+x(2)*y(1)+1
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=1
==> [2]:
==>    _[1]=y(1)
==> [3]:
==>    _[1]=x(3)
==>    
==> ==== Images of variables of original ring:
==> _[1]=x(3)^3*y(1)^2
==> _[2]=x(3)^2*y(1)
==> _[3]=x(2)*x(3)^3*y(1)^2
==>    
==> -------------------------- Upcoming Center ---------------------
==> _[1]=x(2)^4*x(3)^4*y(1)^4+x(3)^4*y(1)^4+x(2)*y(1)+1
==> ----------------------------------------------------------------
==> ++++++++++++++ Overview of Current Chart +++++++++++++++++++++++
==> Current number of final charts: 5
==> Total number of charts currently in chart-tree: 22
==> Index of the current chart in chart-tree: 16
==> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=x(1)^4*x(2)^4*y(0)+x(1)^4*y(0)+x(2)+y(0)
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=y(0)
==> [2]:
==>    _[1]=1
==> [3]:
==>    _[1]=x(1)
==>    
==> ==== Images of variables of original ring:
==> _[1]=x(1)^3*y(0)
==> _[2]=x(1)^2*y(0)
==> _[3]=x(1)^3*x(2)*y(0)
==>    
==> -------------------------- Upcoming Center ---------------------
==> _[1]=x(1)^4*x(2)^4*y(0)+x(1)^4*y(0)+x(2)+y(0)
==> ----------------------------------------------------------------
==> ++++++++++++++ Overview of Current Chart +++++++++++++++++++++++
==> Current number of final charts: 6
==> Total number of charts currently in chart-tree: 22
==> Index of the current chart in chart-tree: 17
==> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=x(2)^4*x(3)^4*y(1)^4+x(3)^4*y(1)^4+x(2)*y(1)+1
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=1
==> [2]:
==>    _[1]=y(1)
==> [3]:
==>    _[1]=x(3)
==>    
==> ==== Images of variables of original ring:
==> _[1]=x(2)*x(3)^3*y(1)^2
==> _[2]=x(3)^2*y(1)
==> _[3]=x(3)^3*y(1)^2
==>    
==> -------------------------- Upcoming Center ---------------------
==> _[1]=x(2)^4*x(3)^4*y(1)^4+x(3)^4*y(1)^4+x(2)*y(1)+1
==> ----------------------------------------------------------------
==> ++++++++++++++ Overview of Current Chart +++++++++++++++++++++++
==> Current number of final charts: 7
==> Total number of charts currently in chart-tree: 22
==> Index of the current chart in chart-tree: 18
==> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=x(1)^4*x(2)^4*y(0)+x(1)^4*y(0)+x(2)+y(0)
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=y(0)
==> [2]:
==>    _[1]=1
==> [3]:
==>    _[1]=x(1)
==>    
==> ==== Images of variables of original ring:
==> _[1]=x(1)^3*x(2)*y(0)
==> _[2]=x(1)^2*y(0)
==> _[3]=x(1)^3*y(0)
==>    
==> -------------------------- Upcoming Center ---------------------
==> _[1]=x(1)^4*x(2)^4*y(0)+x(1)^4*y(0)+x(2)+y(0)
==> ----------------------------------------------------------------
==> ++++++++++++++ Overview of Current Chart +++++++++++++++++++++++
==> Current number of final charts: 8
==> Total number of charts currently in chart-tree: 22
==> Index of the current chart in chart-tree: 19
==> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=x(2)^4*x(3)^4*y(1)^4+x(3)^4*y(1)^4+x(2)*y(1)+1
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=1
==> [2]:
==>    _[1]=y(1)
==> [3]:
==>    _[1]=x(3)
==>    
==> ==== Images of variables of original ring:
==> _[1]=x(3)^2*y(1)
==> _[2]=x(3)^3*y(1)^2
==> _[3]=x(2)*x(3)^3*y(1)^2
==>    
==> -------------------------- Upcoming Center ---------------------
==> _[1]=x(2)^4*x(3)^4*y(1)^4+x(3)^4*y(1)^4+x(2)*y(1)+1
==> ----------------------------------------------------------------
==> ++++++++++++++ Overview of Current Chart +++++++++++++++++++++++
==> Current number of final charts: 9
==> Total number of charts currently in chart-tree: 22
==> Index of the current chart in chart-tree: 20
==> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=x(1)^4*x(2)^4*y(0)+x(1)^4*y(0)+x(2)+y(0)
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=y(0)
==> [2]:
==>    _[1]=1
==> [3]:
==>    _[1]=x(1)
==>    
==> ==== Images of variables of original ring:
==> _[1]=x(1)^2*y(0)
==> _[2]=x(1)^3*y(0)
==> _[3]=x(1)^3*x(2)*y(0)
==>    
==> -------------------------- Upcoming Center ---------------------
==> _[1]=x(1)^4*x(2)^4*y(0)+x(1)^4*y(0)+x(2)+y(0)
==> ----------------------------------------------------------------
==> ++++++++++++++ Overview of Current Chart +++++++++++++++++++++++
==> Current number of final charts: 10
==> Total number of charts currently in chart-tree: 22
==> Index of the current chart in chart-tree: 21
==> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=x(2)^4*x(3)^4*y(1)^4+x(3)^4*y(1)^4+x(2)*y(1)+1
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=1
==> [2]:
==>    _[1]=y(1)
==> [3]:
==>    _[1]=x(3)
==>    
==> ==== Images of variables of original ring:
==> _[1]=x(3)^2*y(1)
==> _[2]=x(2)*x(3)^3*y(1)^2
==> _[3]=x(3)^3*y(1)^2
==>    
==> -------------------------- Upcoming Center ---------------------
==> _[1]=x(2)^4*x(3)^4*y(1)^4+x(3)^4*y(1)^4+x(2)*y(1)+1
==> ----------------------------------------------------------------
==> ++++++++++++++ Overview of Current Chart +++++++++++++++++++++++
==> Current number of final charts: 11
==> Total number of charts currently in chart-tree: 22
==> Index of the current chart in chart-tree: 22
==> ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
==>                        
==> ==== Ambient Space: 
==> _[1]=0
==>       
==> ==== Ideal of Variety: 
==> _[1]=x(1)^4*x(2)^4*y(0)+x(1)^4*y(0)+x(2)+y(0)
==>       
==> ==== Exceptional Divisors: 
==> [1]:
==>    _[1]=y(0)
==> [2]:
==>    _[1]=1
==> [3]:
==>    _[1]=x(1)
==>    
==> ==== Images of variables of original ring:
==> _[1]=x(1)^2*y(0)
==> _[2]=x(1)^3*x(2)*y(0)
==> _[3]=x(1)^3*y(0)
==>    
==> -------------------------- Upcoming Center ---------------------
==> _[1]=x(1)^4*x(2)^4*y(0)+x(1)^4*y(0)+x(2)+y(0)
==> ----------------------------------------------------------------
==> ============= result will be tested ==========
==>                                               
==> the number of charts obtained: 12
==> =============     result is o.k.    ==========
list di=collectDiv(re);
di;
==> [1]:
==>    0,0,0,
==>    1,0,0,
==>    1,0,0,
==>    1,0,0,
==>    1,2,0,
==>    1,2,0,
==>    1,3,0,
==>    1,3,0,
==>    1,4,0,
==>    1,4,0,
==>    0,2,5,
==>    1,0,5,
==>    0,2,5,
==>    1,0,5,
==>    0,3,6,
==>    1,0,6,
==>    0,3,6,
==>    1,0,6,
==>    0,4,7,
==>    1,0,7,
==>    0,4,7,
==>    1,0,7 
==> [2]:
==>    [1]:
==>       [1]:
==>          2,1
==>       [2]:
==>          3,1
==>       [3]:
==>          4,1
==>       [4]:
==>          5,1
==>       [5]:
==>          6,1
==>       [6]:
==>          7,1
==>       [7]:
==>          8,1
==>       [8]:
==>          9,1
==>       [9]:
==>          10,1
==>       [10]:
==>          12,1
==>       [11]:
==>          14,1
==>       [12]:
==>          16,1
==>       [13]:
==>          18,1
==>       [14]:
==>          20,1
==>       [15]:
==>          22,1
==>    [2]:
==>       [1]:
==>          5,2
==>       [2]:
==>          6,2
==>       [3]:
==>          11,2
==>       [4]:
==>          13,2
==>    [3]:
==>       [1]:
==>          7,2
==>       [2]:
==>          8,2
==>       [3]:
==>          15,2
==>       [4]:
==>          17,2
==>    [4]:
==>       [1]:
==>          9,2
==>       [2]:
==>          10,2
==>       [3]:
==>          19,2
==>       [4]:
==>          21,2
==>    [5]:
==>       [1]:
==>          11,3
==>       [2]:
==>          12,3
==>       [3]:
==>          13,3
==>       [4]:
==>          14,3
==>    [6]:
==>       [1]:
==>          15,3
==>       [2]:
==>          16,3
==>       [3]:
==>          17,3
==>       [4]:
==>          18,3
==>    [7]:
==>       [1]:
==>          19,3
==>       [2]:
==>          20,3
==>       [3]:
==>          21,3
==>       [4]:
==>          22,3
==>    [8]:
==>       [1]:
==>          11,0
==>       [2]:
==>          12,0
==>       [3]:
==>          13,0
==>       [4]:
==>          14,0
==>       [5]:
==>          15,0
==>       [6]:
==>          16,0
==>       [7]:
==>          17,0
==>       [8]:
==>          18,0
==>       [9]:
==>          19,0
==>       [10]:
==>          20,0
==>       [11]:
==>          21,0
==>       [12]:
==>          22,0


Top Back: zetaDL Forward: prepEmbDiv FastBack: resolve_lib FastForward: sagbi_lib Up: reszeta_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-0-3, May 2007, generated by texi2html.