 ring r=0,(x,y,z),dp;
def R=nc_algebra(1,0); // an anticommutative algebra
setring R;
ideal m = maxideal(1);
m;
==> m[1]=x
==> m[2]=y
==> m[3]=z
poly f = x2;
poly g = y3;
ideal i = x*y*z , fg, g*(xy) + f^4 ,0, 2xz2y;
ideal M = i + maxideal(10);
i = M*M;
ncols(i);
==> 598
i = M^2;
ncols(i);
==> 690
i[ncols(i)];
==> x20
vector v = [x,yz,x2,yx,x2yz2y];
ideal j = ideal(v);
j;
==> j[1]=x
==> j[2]=yz
==> j[3]=x2
==> j[4]=x+y
==> j[5]=x2yz2y
