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

D.4.14.7 abstractR

Procedure from library reszeta.lib (see reszeta_lib).

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

Assume:
L is output of resolution of singularities

Note:
currently only implemented for isolated surface singularities

Return:
list l
l[1]: intvec, where
l[1][i]=1 if the corresponding ring is a final chart
of non-embedded resolution
l[1][i]=0 otherwise
l[2]: intvec, where
l[2][i]=1 if the corresponding ring does not occur
in the non-embedded resolution
l[2][i]=0 otherwise
l[3]: list L

Example:
 
LIB "reszeta.lib";
ring r = 0,(x,y,z),dp;
ideal I=x2+y2+z11;
list L=resolve(I);
abstractR(L);
==> [1]:
==>    0,0,1,1,0,1,0,1,0,1,1,0,0,0,0,0,0
==> [2]:
==>    0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1
==> [3]:
==>    [1]:
==>       [1]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(1) y(0) y(1) 
==> //        block   2 : ordering C
==>       [2]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(2) y(0) y(2) 
==> //        block   2 : ordering C
==>       [3]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(2) y(0) y(2) 
==> //        block   2 : ordering C
==>       [4]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(2) y(0) y(2) 
==> //        block   2 : ordering C
==>       [5]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(2) y(0) y(2) 
==> //        block   2 : ordering C
==>       [6]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(2) x(3) y(1) 
==> //        block   2 : ordering C
==>       [7]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(1) x(2) y(0) 
==> //        block   2 : ordering C
==>       [8]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(2) x(3) y(1) 
==> //        block   2 : ordering C
==>       [9]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(1) x(2) y(0) 
==> //        block   2 : ordering C
==>    [2]:
==>       [1]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x y z 
==> //        block   2 : ordering C
==>       [2]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(3) y(1) y(2) 
==> //        block   2 : ordering C
==>       [3]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(1) y(0) y(1) 
==> //        block   2 : ordering C
==>       [4]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(2) y(0) y(2) 
==> //        block   2 : ordering C
==>       [5]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(1) y(0) y(1) 
==> //        block   2 : ordering C
==>       [6]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(2) y(0) y(2) 
==> //        block   2 : ordering C
==>       [7]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(1) y(0) y(1) 
==> //        block   2 : ordering C
==>       [8]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(2) y(0) y(2) 
==> //        block   2 : ordering C
==>       [9]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(1) y(0) y(1) 
==> //        block   2 : ordering C
==>       [10]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(2) y(0) y(2) 
==> //        block   2 : ordering C
==>       [11]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(1) y(0) y(1) 
==> //        block   2 : ordering C
==>       [12]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(3) y(1) y(2) 
==> //        block   2 : ordering C
==>       [13]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(2) y(0) y(2) 
==> //        block   2 : ordering C
==>       [14]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(2) x(3) y(1) 
==> //        block   2 : ordering C
==>       [15]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(1) x(2) y(0) 
==> //        block   2 : ordering C
==>       [16]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(2) x(3) y(1) 
==> //        block   2 : ordering C
==>       [17]:
==>          //   characteristic : 0
==> //   number of vars : 3
==> //        block   1 : ordering dp
==> //                  : names    x(1) x(2) y(0) 
==> //        block   2 : ordering C

Top Back: prepEmbDiv Forward: sheafcoh_lib FastBack: resolve_lib FastForward: sheafcoh_lib Up: reszeta_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-0-1, October 2005, generated by texi2html.