Singular

LIB "difform.lib";
ring R = 0,(x,y,z),dp;
diffAlgebra();
==> // The differential algebra Omega_R was constructed and the differential \
   forms dDx, dDy, dDz, dx, dy, dz are available.
list L; L[1] = list(dx,dy,dz); L[2] = list(x2,y-23xz,xz4);
derivation phi = L;
///////////////////////////////////
// String with standard ordering //
///////////////////////////////////
print(derivationToString(phi));
==>  Omega_R^1 --> R
==>        dz |--> xz4
==>        dy |--> -23xz+y
==>        dx |--> x2
==> 
//////////////////////////////////
// String with changed ordering //
//////////////////////////////////
print(derivationToString(phi,"gen","wp",intvec(-1,-1,1)));
==>  Omega_R^1 --> R
==>        dy |--> -23xz+y
==>        dx |--> x2
==>        dz |--> xz4
==> 
kill Omega_R,dx,dy,dz,L,phi;