up previous next
IsIn --
check if one object is contained in another
|
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
.