next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Macaulay2Doc > The Macaulay2 language > what a class is > instance

instance -- whether something has a certain type

Description

instance(x,X) -- tells whether x is an instance of the type X.

We say that x is an instance of X if X is the class of x, or a parent of the class of x, or a grandparent, and so on.

See also

Ways to use instance :