up previous next

IsContained

checks if A is Contained in B

Syntax

IsContained(A: IDEAL, B: IDEAL): BOOL IsContained(A: MODULE, B: MODULE): BOOL

Description

This function tests whether A is contained in B. Was <= in CoCoA-4: this syntax is no longer supported.

Example

/**/ Use QQ[x,y,z]; /**/ IsContained(ideal(x), ideal(x+y, x-y)); true

See Also

• IsIn
• IsSubset