# Singular

#### D.15.12.37 derivationPrint

Procedure from library difform.lib (see difform_lib).

Usage:
phi; phi derivation

Side effects:
prints the given derivation

Remarks:
Prints the string returned by derivationToString with a ls-ordering on the generators

Example:
 LIB "difform.lib"; ring R = 0,(a,b,c,x,y,z),lp; diffAlgebra(); ==> // The differential algebra Omega_R was constructed and the differential \ forms da, db, dc, dx, dy, dz are available. ///////////////// // Derivations // ///////////////// list L; L[1] = list(dx,dy,dz,da,db,dc); L[2] = list(1,12x-y,z4aby, 2*b5x,0,xyz-abc); derivation phi = L; derivation phi_poly = 3ab - c2*x + z; /////////////////////////// // Applications of Print // /////////////////////////// phi; ==> Omega_R^1 --> R ==> da |--> 2b5x ==> db |--> 0 ==> dc |--> -abc+xyz ==> dx |--> 1 ==> dy |--> 12x-y ==> dz |--> abyz4 ==> ==> phi_poly; ==> Omega_R^1 --> R ==> da |--> 3ab-c2x+z ==> db |--> 3ab-c2x+z ==> dc |--> 3ab-c2x+z ==> dx |--> 3ab-c2x+z ==> dy |--> 3ab-c2x+z ==> dz |--> 3ab-c2x+z ==> ==> kill Omega_R,da,db,dc,dx,dy,dz,L,phi,phi_poly;