Macaulay2 » Documentation
Packages » Macaulay2Doc » The Macaulay2 language » Type
next | previous | forward | backward | up | index | toc

Type -- the class of all mutable types

Description

Everything in the system is classified, and the class that a thing belongs to is a type. A type is implemented as a mutable hash table containing method functions for its instances.

The list of types known to the system is displayed below.

Menu

mathematical mutable types

other mutable types

Types of type:

Functions and methods returning a type:

  • class(Thing) -- see class -- class of an object
  • parent(Thing) -- see parent -- parent type of an object

Methods that use a type:

  • ? Type -- see ? Symbol -- view brief documentation of a symbol
  • about(Type) -- see about -- search the documentation
  • ancestor(Type,Type) -- whether one type is an ancestor of another
  • instance(Thing,Type) -- see instance -- whether something has a certain type
  • instances(Type) -- see instances
  • isQuotientOf(Type,QuotientRing) -- see isQuotientOf(Type,Ring) -- whether one ring is a quotient of a ring of a given type
  • isQuotientOf(Type,Ring) -- whether one ring is a quotient of a ring of a given type
  • methods(Type) -- see methods -- list methods
  • ofClass(Type) -- see ofClass -- English phrases for types
  • random(Type) -- get a random object of a type
  • select(BasicList,Type) -- select elements of a given type in a list

Protected objects of class Type:

For the programmer

The object Type is a type, with ancestor classes MutableHashTable < HashTable < Thing.


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