|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.15.12.47 gradiator
Procedure from librarymultigrading.lib (see multigrading_lib).
- Purpose:
- coarsens the grading of the basering until the polynom or ideal h becomes homogeneous.
LIB "multigrading.lib"; ring r = 0,(x,y,z),dp; intmat g[2][3] = 1,0,1,0,1,1; intmat l[2][1] = 3,0; setBaseMultigrading(g,l); getLattice(); ==> 3,0 ideal i = -y5+x4, y6+xz, x2y; gradiator(i); ==> 1 getLattice(); ==> 3,4,2, ==> 0,-5,-5 isHomogeneous(i); ==> 1 |