BINARY OPERATOR: &=

SYNOPSIS:

• &= is a binary operator with two operands x and y being of type Lp. It returns true, if x and y are equal, and false otherwise.

• This operation seems trivial, but please note that the equality of x and y may not be obvious at the first sight if at least one of x and y is not in normal form.

EXAMPLES:

> with(tubular):

> read_in(3,3,4);

> x := [-3,0,2,-4]; y := [0,0,2,-5]; z := [0,1,1,3];

> x &= y;

> x &= z;