poly.lib
LIB "poly.lib"; ring R = 0, (v,w,x,y,z), lp; elemSymmId(3); ==> _[1]=v+w+x ==> _[2]=vw+vx+wx ==> _[3]=vwx elemSymmId(nvars(basering)); ==> _[1]=v+w+x+y+z ==> _[2]=vw+vx+vy+vz+wx+wy+wz+xy+xz+yz ==> _[3]=vwx+vwy+vwz+vxy+vxz+vyz+wxy+wxz+wyz+xyz ==> _[4]=vwxy+vwxz+vwyz+vxyz+wxyz ==> _[5]=vwxyz