up previous next
IsElem

checks if A is an element of B

Syntax
IsElem(A: RINGELEM, B: IDEAL): BOOL
IsElem(A: MODULEELEM, B: MODULE): BOOL

Description
This function tests whether A is an element of B. Same as the command IsIn , but works on fewer types: it is in CoCoA-5 for compatibility with the C++ function in CoCoALib.

Example
/**/  use QQ[x,y,z];
/**/  IsElem(x, ideal(x+y, x-y));
true

/**/  x IsIn ideal(x+y, x-y);
true

See Also