Macaulay2 » Documentation
Packages » Macaulay2Doc » The Macaulay2 language » what a class is » instance

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

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)

For the programmer

The object instance is a compiled function.

The source of this document is in Macaulay2Doc/ov_types.m2:587:0.