FUNCTION: IspA - test whether the argument is a product of elements of the p-basis on a formal alphabet expression

CALLING SEQUENCE:

IspA(expr)

TYP[IspA](expr)

PARAMETERS:

expr = any expression

SYNOPSIS:

• The IspA function tests whether the argument expr is a product of elements of the p-basis on a formal alphabet expression, that is p[part](alphab), where part denotes a partition in non-increasing order and alphab is a valid formal alphabet expression.

• Allowed alphabet expressions are linear combinations of formal alphabets A1, A2, etc.

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

EXAMPLES:

> with(TYP):
> IspA( p[](A1-A2) );
 
                                     true
 
> IspA( p[3,3,1](2/3*A3) );
 
                                     true