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

Macaulay2 > The Macaulay2 language > what a class is > ancestor(Type,Type)

ancestor(Type,Type) -- whether one type is an ancestor of another

Synopsis

Usage:
ancestor(x,y)
Function: ancestor
Inputs:
- x, a type
- y, a type
Outputs:
- a Boolean value, whether x is an ancestor of y

Description

The ancestors of y are y, parent y, parent parent y, and so on.

If x is an ancestor of y, then we also say that y is a specialization of x.