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