CoCoA:IsSubset

From ApCoCoAWiki

IsSubset

checks if the elements of one list are a subset of another

Description

This function returns TRUE is MakeSet(L) is contained in MakeSet(M);

otherwise it returns FALSE.

NOTE: The obsolete function SubSet used to have the same behaviour.

Example

  IsSubset([1,1,2],[1,2,3,<quotes>a</quotes>]);
TRUE
-------------------------------
  IsSubset([1,2],[<quotes>a</quotes>,<quotes>b</quotes>]);
FALSE
-------------------------------
  IsSubset([],[1,2]);
TRUE
-------------------------------

Syntax

IsSubset(L:LIST,M:LIST):BOOL

EqSet

MakeSet

Subsets

   <type>boolean</type>
   <type>list</type>