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

D.15.12.15 difformIsGen

Procedure from library difform.lib (see difform_lib).

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

Example:
 
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 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;
See also: difformCoef.