ACE BN BNA CG CLG COMP FM FREE HEKA IDCA NCA NCSF PART SFA SG SGA SP SYMF TAB TYP

FUNCTION: BnaMinus - difference of two elements of any Bn-algebra

CALLING SEQUENCE:

BnaMinus(e_1, e_2)
BNA[BnaMinus](e_1, e_2)

PARAMETERS:

e_1, e_2 = any elements of any Bn-algebra

SYNOPSIS:

EXAMPLES:


> with(BNA):
> a:=q + u/t*B[0,1,2]:
> b:=t - B[1,2,1]:
> BnaMinus(a, b);
 
                             u B[0, 1, 2]
                B[1, 2, 1] + ------------ + (q - t) B[0, 0, 0]
                                   t
 
> a &!!- a;
 
                                       0
 

SEE ALSO: