Home Online Manual
Top
Back: derivationToString
Forward: derivationAdd
FastBack:
FastForward:
Up: difform_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.12.35 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 dDa, dDb, dDc, dDx, dDy, dDz, 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;
See also: derivationToString.