up previous next
IsIn    --    check if one object is contained in another


Syntax 
X  IsIn  Y        (return BOOL)

Description
The semantics of IsIn is explained in the following table: 
   --------------------------------------------------------------------
  | OBJECT     IsIn  LIST    checks if the list contains the object.   |
  | RINGELEM   IsIn  IDEAL   checks for ideal membership.              |
  | MODULEELEM IsIn  MODULE  checks for module membership.             |
  | STRING     IsIn  STRING  checks if the first string is a substring |
  |                          of the second one.                        |
   --------------------------------------------------------------------
NOTE: if RINGELEM (or MODULEELEM) is in an IDEAL (or MODULE), a
  representation in terms of the generators is given by 
    GenRepr
  .

See Also