Macaulay2 » Documentation
Packages » Macaulay2Doc :: |_
next | previous | forward | backward | up | index | toc

|_ -- a binary operator, used for restriction to a subset

For the programmer

The object |_ is a keyword.

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.