adjacency operator

f x -- yields the result of applying the function f to x.

The user may install binary methods for this operator with code such as

              X Y := (x,y) -> ...
where X is the class of x and Y is the class of y .

Go to main index.

Go to concepts index.