| LIB "stratify.lib";
ring r=0,(t(1..3)),dp;
matrix M[2][3]=0,t(1),3*t(2),0,0,t(1);
intvec wr=1,3,5;
intvec ws=2,4;
int step=2;
stratify(M,wr,ws,step);
→ [1]:
→ [1]:
→ 0,0,0,0
→ [2]:
→ _[1]=t(2)
→ _[2]=t(1)
→ [3]:
→ [1]:
→ 1
→ [2]:
→ [1]:
→ 0,1,0,1
→ [2]:
→ _[1]=t(1)
→ [3]:
→ [1]:
→ t(2)
→ [2]:
→ t(2)
→ [3]:
→ [1]:
→ 1,2,1,2
→ [2]:
→ _[1]=0
→ [3]:
→ [1]:
→ t(1)
→ [2]:
→ t(1)
|