|
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
|
|