nctools.lib
LIB "nctools.lib"; LIB "ncalg.lib"; def A = makeUsl(2); setring A; ideal I = e2,f; option(redSB); option(redTail); ideal LI = std(I); LI; ==> LI[1]=f ==> LI[2]=h2+h ==> LI[3]=eh+e ==> LI[4]=e2 ideal RI = rightStd(I); RI; ==> RI[1]=f ==> RI[2]=h2-h ==> RI[3]=eh+e ==> RI[4]=e2