|
D.4.9.4 closureRingtower
Procedure from library reesclos.lib (see reesclos_lib).
- Usage:
- closureRingtower(list L); L a list of rings
- Create:
- rings R(1),...,R(n) such that R(i)=L[i] for all i
Example:
| LIB "reesclos.lib";
ring R=0,(x,y),dp;
ideal I=x4,y4;
list L=primeClosure(ReesAlgebra(I)[1]);
closureRingtower(L);
R(1);
==> // characteristic : 0
==> // number of vars : 4
==> // block 1 : ordering dp
==> // : names x y U(1) U(2)
==> // block 2 : ordering C
R(4);
==> // characteristic : 0
==> // number of vars : 7
==> // block 1 : ordering a
==> // : names T(1) T(2) T(3) T(4) T(5) T(6) T(7)
==> // : weights 1 1 1 1 1 1 1
==> // block 2 : ordering dp
==> // : names T(1) T(2) T(3) T(4) T(5) T(6) T(7)
==> // block 3 : ordering C
|
|