CASA Function: algset

Type test for CASA's algebraic set type.

Calling Sequence:

• b := type(expr,algset)
• b := type(expr,algset("impl"))
• b := type(expr,algset("para"))
• b := type(expr,algset("plac"))
• b := type(expr,algset("proj"))

Parameters:

expr : expression

• any expression.

Result:

b : boolean

• either true or false, depending on whether the given expression is an algebraic set or not.

Description:

• The call type(expr,algset) yields true if expr is an algebraic set in any representation.
• The call type(expr,algset(repr)) checks whether expr is an algebraic set in specified representation.

Examples:

> a1:=mkParaAlgSet([t^2,t^3],[t]);

> [op(a1)];

> op(op(3,a1));

> type(a1,algset("para"));

> type(a1,algset("proj"));

See Also: