| LIB "finitediff.lib";
list D="Ut","Ux","Uy","U";
list V="t","x","y";
list P="alpha","beta","gamma";
setinitials(V,D,P);////does not show the ring, since there is no output
basering;///does show the ring
==> // coefficients: QQ(I, T, Px, Py, Cx, Cy, Sx, Sy, alpha, beta, gamma, dt,\
dx, dy)
==> // number of vars : 8
==> // block 1 : ordering c
==> // block 2 : ordering lp
==> // : names i t x y cx cy sx sy
==> // quotient ring from ideal
==> _[1]=cy^2+sy^2-1
==> _[2]=cx^2+sx^2-1
==> _[3]=i^2+1
|