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

D.15.2.3 member

Procedure from library combinat.lib (see combinat_lib).

Usage:
member(e,L); e def, L list

Return:
1 if e is an element of L, 0 otherwise

Theory:
we require the elements involved to have a compare operator ==.

Example:
 
LIB "combinat.lib";
member(1,list(1,4,5));
==> 1