| 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;
string s = sprintf("s:%s,%n l:%l", 1, 2); s;
→ s:1,
→ l:int(2)
s = sprintf("s:%n%s", l); s;
→ s:
→ (0),(x,y,z),(dp(3),C)
s = sprintf("s:%2%s", list(l)); s;
→ s:
→ (0),(x,y,z),(dp(3),C),y*gen(2)+gen(1),x*gen(2)+z*gen(2),1,1
s = sprintf("2l:%n%2l", list(l)); s;
→ 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))
→
s = sprintf("%p", list(l)); s;
→ [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
→
s = sprintf("%;", list(l)); s;
→ [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
→
s = sprintf("%b", M); s;
→ 0 1
→ ------------------
→ 0: 1 1
→ ------------------
→ total: 1 1
→
|