|| -- a binary operator

This operator may be used as a binary operator in an expression like x || y. The user may install binary methods for handling such expressions with code such as

              X || Y := (x,y) -> ...

where X is the class of x and Y is the class of y.

Methods for || :

Matrix || Matrix -- join matrices vertically

Matrix || RingElement

Matrix || ZZ

Net || Net -- join nets or strings vertically

RingElement || Matrix

RingElement || RingElement

ZZ || Matrix