FUNCTION: IsB - test whether the argument is a basis element of an algebra related to the hyperoctahedral group

CALLING SEQUENCE:

IsB(expr)

TYP[IsB](expr)

PARAMETERS:

expr = any expression

SYNOPSIS:

• The IsB function tests whether expr is an indexed name coding an element of the basis of an algebra related to the hyperoctahedral group. This element must be indexed by the code of an element of a hyperoctahedral group i.e. componentwise smaller than [1, 3, 5, ...].

• Whenever there is a conflict between the function name IsB and another name used in the same session, use the long form TYP['IsB'].

EXAMPLES:

> with(TYP):
> IsB(B[3,1]);
 
                                false
 
> IsB(B[1,3]);
 
                                 true