 LIB "resolve.lib";
ring R=0,(x,y,z),dp;
ideal J=x3+y5+yz2+xy4;
list L=resolve(J,0);
def Q=L[1][7];
setring Q;
showBO(BO);
==>
==> ==== Ambient Space:
==> _[1]=0
==>
==> ==== Ideal of Variety:
==> _[1]=x(1)^4*x(3)^2*y(1)+x(1)^2+y(1)+1
==>
==> ==== Exceptional Divisors:
==> [1]:
==> _[1]=1
==> [2]:
==> _[1]=y(1)
==> [3]:
==> _[1]=1
==> [4]:
==> _[1]=x(1)
==> [5]:
==> _[1]=x(3)
==>
==> ==== Images of variables of original ring:
==> _[1]=x(1)^6*x(3)^5*y(1)^2
==> _[2]=x(1)^4*x(3)^3*y(1)
==> _[3]=x(1)^7*x(3)^6*y(1)^2
==>
