BINARY OPERATOR: &==

SYNOPSIS:

• &== is a binary operator with two operands f1 and f2 of type quiver. It returns true, if and only if f1 and f2 are equal in K₀X. The use of this operator is not limited to tubular weight types.

• Note that the equality of two given classes f1 and f2 may not be visible with the naked eye if f1 and f2 are encoded with respect to different bases.

EXAMPLES:

> with(tubular):

> read_in(3,3,3);

assume f1 defined

> show(f1);

> f2 := change(f1,`@E`); show(f2);

> f1 &== f2;