|  |  D.15.12.13 difformIsGen Procedure from librarydifform.lib(see  difform_lib).
 
Example:Usage:
difformIsGen(df); df difform
Return:
1, if df is a generator of the differential algebra - 0, otherwise
Remarks:
Uses the procedure difformCoef and tests for a single coefficient which is one
 See also:
 difformCoef.|  | LIB "difform.lib";
ring R = 0,(x,y,z,a,b,c),lp;
diffAlgebra();
==> // The differential algebra Omega_R was constructed and the differential \
   forms dDx, dDy, dDz, dDa, dDb, dDc, dx, dy, dz, da, db, dc are available.
////////////////
// Generators //
////////////////
difformIsGen(1);
==> 1
difformIsGen(dx);
==> 1
difformIsGen(da*dc);
==> 1
difformIsGen(dy*da*db);
==> 1
difformIsGen(-da*dz);
==> 1
///////////////////
// No generators //
///////////////////
difformIsGen(-1);
==> 0
difformIsGen(-dx);
==> 0
difformIsGen(dc*da);
==> 0
difformIsGen(dy*db*da);
==> 0
difformIsGen(dx*dz*dy);
==> 0
kill Omega_R,dx,dy,dz,da,db,dc;
 | 
 
 |