next | previous | forward | backward | up | top | index | toc | home

Macaulay2 > 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

class -- class of an object
parent -- parent type of an object

Ways to use `instance` :

instance(Thing,Type)