| ring r=0,(x,y,z),dp;
module m=[1,y],[0,x+z];
intmat M=betti(mres(m,0));
list l=r,m,M;
printf("s:%s,l:%l",1,2);
→ s:1,l:int(2)
printf("s:%s",l);
→ s:(0),(x,y,z),(dp(3),C)
printf("s:%s",list(l));
→ s:(0),(x,y,z),(dp(3),C),y*gen(2)+gen(1),x*gen(2)+z*gen(2),1,1
printf("2l:%2l",list(l));
→ 2l:list("(0),(x,y,z),(dp(3),C)",
→ module(y*gen(2)+gen(1),
→ x*gen(2)+z*gen(2)),
→ intmat(intvec(1,1 ),1,2))
→
printf("%p",list(l));
→ [1]:
→ // characteristic : 0
→ // number of vars : 3
→ // block 1 : ordering dp
→ // : names x y z
→ // block 2 : ordering C
→ [2]:
→ _[1]=y*gen(2)+gen(1)
→ _[2]=x*gen(2)+z*gen(2)
→ [3]:
→ 1,1
→
printf("%;",list(l));
→ [1]:
→ // characteristic : 0
→ // number of vars : 3
→ // block 1 : ordering dp
→ // : names x y z
→ // block 2 : ordering C
→ [2]:
→ _[1]=y*gen(2)+gen(1)
→ _[2]=x*gen(2)+z*gen(2)
→ [3]:
→ 1,1
→
printf("%b",M);
→ 0 1
→ ------------------
→ 0: 1 1
→ ------------------
→ total: 1 1
→
|