[top][index]
search for:
Type -- the class of all types

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.

More general types (whose methods may also apply) :

  • MutableHashTable -- the class of all mutable hash tables
  • HashTable -- the class of all hash tables

    • 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

    • 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.

    Functions and methods returning a a type :

  • basictype Thing
  • class Thing
  • parent Thing -- parent type of an object

    • Methods for using a type :

  • ancestor(Type,Type)
  • documentation Type
  • instance(Thing,Type)
  • methods Type
  • ring Type
  • Type ? Type

    • Fixed objects of class Type :

  • AffineVariety -- the class of all affine varieties
  • Array -- the class of all arrays -- [...]
  • AssociativeExpression -- the class of associative expressions
  • BasicList -- the class of all basic lists
  • Boolean -- the class of Boolean values
  • CacheTable -- hash tables for caching
  • 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
  • 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
  • ICnode
  • 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 -- the 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
  • MonomialOrdering
  • 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
  • primdecComputation
  • 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 -- the class of all sequences -- (...)
  • Set -- the class of all sets
  • SheafOfRings
  • String -- the class of all strings
  • SumOfTwists
  • 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 -- the 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 -- the class of all visible lists
  • WrapperType -- a class of lists with abbreviated constructors
  • ZeroExpression -- the class of all zero expressions

    • [top][index]
    search for: