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