Type -- class of all types

Type -- class of all types

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

The list of objects of class Type known to the system is displayed below.

The type Type is a member of the class Type. Each object of class Type is called a type. Each type is also a member of class MutableHashTable.

Types of Type :

HeaderType -- a class of lists with abbreviated constructors

MarkUpType -- the class of mark-up types used with hypertext

Module -- the class of all modules

Monoid -- the class of all monoids

Ring -- the class of all rings

SelfInitializingType -- the class of all self initializing types

WrapperType -- a class of lists with abbreviated constructors

Making a type :

basictype Thing

class Thing

parent Thing

Methods for using a type :

Type ? Type

ancestor(Type,Type)

documentation Type

instance(Thing,Type)

ring Type

Fixed objects of class Type :

AffineVariety -- the class of all affine varieties

Array -- class of all arrays -- [...]

AssociativeExpression -- the class of associative expressions

BasicList -- the class of all basic lists

Boolean -- the class of Boolean values

ChainComplex -- the class of all chain complexes

ChainComplexMap -- the class of all maps between chain complexes

CoherentSheaf -- the class of all coherent sheaves

Database -- the class of all database files

EmptyMarkUpType -- the class of empty mark-up types used with hypertext

EngineRing -- the class of rings handled by the engine

Expression -- the class of all expressions

Field -- the class of all fields

File -- the class of all files

FractionField -- the class of all fraction fields

Function -- the class of all functions

GaloisField -- the class of all Galois fields

GeneralOrderedGroup -- the class of all ordered free commutative groups

GeneralOrderedMonoid -- the class of all ordered free commutative monoids

GradedModule -- the class of all graded modules

GradedModuleMap -- the class of all maps between graded modules

GroebnerBasis -- the class of all Groebner bases

Handle -- the class of all handles for engine objects

HashTable -- the class of all hash tables

HeaderType -- a class of lists with abbreviated constructors

Ideal -- the class of all ideals

IndeterminateNumber -- the class of all indeterminate numbers

IndexedVariable -- the class of all indexed variables

IndexedVariableTable -- the class of indexed variable tables

InfiniteNumber -- the class of all infinite numbers

List -- class of all lists -- {...}

Manipulator -- the class of all file manipulators

MarkUpList -- the class of mark-up lists used with hypertext

MarkUpType -- the class of mark-up types used with hypertext

Matrix -- the class of all matrices

Module -- the class of all modules

ModuleMap -- the class of all maps between modules

Monoid -- the class of all monoids

MonoidElement -- the class of all monoid elements

MonomialIdeal -- the class of all monomial ideals handled by the engine

MutableHashTable -- the class of all mutable hash tables

MutableList -- the class of all mutable lists

Net -- the class of all nets and strings

Nothing -- the empty class

OneExpression -- the class all one expressions

Option -- the class of all pairs x => y

OptionTable -- the class of hash tables for optional arguments

OrderedMonoid -- the class of all ordered monoids

PolynomialRing -- the class of all ordered monoid rings

Position -- the class of all file positions

ProductRing -- the class of all product rings

ProjectiveHilbertPolynomial -- the class of all Hilbert polynomials

ProjectiveVariety -- the class of all projective varieties

QuotientRing -- the class of all quotient rings

Resolution -- the class of all resolution computations

Ring -- the class of all rings

RingElement -- the class of all ring elements handled by the engine

RingMap -- the class of all ring maps

SchurRing -- the class of all Schur rings

ScriptedFunctor -- the class of all scripted functors

SelfInitializingType -- the class of all self initializing types

Sequence -- class of all sequences -- (...)

Set -- the class of all sets

String -- the class of all strings

Symbol -- the class of all symbols

SymbolTable -- the class of all symbol tables

Tally -- the class of all tally results

Thing -- the class of all things

Time -- the class of all timing results

Type -- class of all types

Variety -- the class of all algebraic varieties

Vector -- the class of all elements of free modules which are handled by the engine

VisibleList -- class of all visible lists

WrapperType -- a class of lists with abbreviated constructors

ZeroExpression -- the class of all zero expressions