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

D.15.2.26 difformListCont

Procedure from library difform.lib (see difform_lib).

Usage:
difformListCont(L,df); L list, df difform

Return:
1, if df is in the list L - 0, otherwise

Note:
lists with arbitrary input are allowed

Example:
 
LIB "difform.lib";
ring R = 17,(a,b,c),lp;
diffAlgebra();
==> // The differential algebra Omega_R was constructed and the differential \
   forms dDa, dDb, dDc, da, db, dc are available.
list L = "",3,12*a,da-db,16 + dc, 23*da - 4*db*dc*da, db - 4, "entry", dc - db*da, a;
//////////////////////////
// Elements in the list //
//////////////////////////
difformListCont(L,da - db);
==> 1
difformListCont(L,16 + dc);
==> 1
difformListCont(L,dc - db*da);
==> 1
//////////////////////////////
// Elements not in the list //
//////////////////////////////
difformListCont(L,22*da);
==> 0
difformListCont(L,1);
==> 0
difformListCont(L,a);
==> 0
kill Omega_R,L,da,db,dc;
See also: difformEqu.