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

• IsIn