Singular

LIB "ring.lib";
ring r=32003,(x,y,u,v),dp;
ring s=0,(a,b,c),wp(1,2,3);
ring t=0,x(1..5),(c,ls);
def R=ringtensor(r,s,t);
type R;
==> // R ring 
==> // coefficients: ZZ/32003
==> // number of vars : 12
==> //        block   1 : ordering dp
==> //                  : names    x y u v
==> //        block   2 : ordering wp
==> //                  : names    a b c
==> //                  : weights  1 2 3
==> //        block   3 : ordering ls
==> //                  : names    x(1) x(2) x(3) x(4) x(5)
==> //        block   4 : ordering C
setring s;
ideal i = a2+b3+c5;
def S=changevar("x,y,z");       //change vars of s
setring S;
qring qS =std(fetch(s,i));      //create qring of S mod i (mapped to S)
def T=changevar("d,e,f,g,h",t); //change vars of t
setring T;
qring qT=std(d2+e2-f3);         //create qring of T mod d2+e2-f3
def Q=ringtensor(s,qS,t,qT);
setring Q; type Q;
==> // Q ring 
==> // coefficients: QQ
==> // number of vars : 16
==> //        block   1 : ordering wp
==> //                  : names    a b c
==> //                  : weights  1 2 3
==> //        block   2 : ordering wp
==> //                  : names    x y z
==> //                  : weights  1 2 3
==> //        block   3 : ordering ls
==> //                  : names    x(1) x(2) x(3) x(4) x(5)
==> //        block   4 : ordering ls
==> //                  : names    d e f g h
==> //        block   5 : ordering C
==> // quotient ring from ideal
==> _[1]=z5+y3+x2
==> _[2]=f3-e2-d2
kill R,S,T,Q;