SelfInitializingType -- the class of all self initializing types

SelfInitializingType -- the class of all self initializing types

The type SelfInitializingType is a member of the class Type. Each object of class SelfInitializingType is called a self initializing type. Each self initializing type is also a member of class Type.

More general types (whose methods may also apply) :

Type -- the class of all types

MutableHashTable -- the class of all mutable hash tables

HashTable -- the class of all hash tables

A self initializing type X will produce an instance of X from initial data v with the expression X v.

i1 : X = new SelfInitializingType of BasicList



o1 = X



o1 : SelfInitializingType

i2 : x = X {1,2,3}



o2 = X{1, 2, 3}



o2 : X

i3 : class x



o3 = X



o3 : SelfInitializingType

Command is an example of a self initializing type.

See also:

HeaderType -- a class of lists with abbreviated constructors

WrapperType -- a class of lists with abbreviated constructors

Methods for using a self initializing type :

List / SelfInitializingType

SelfInitializingType \ List

SelfInitializingType Thing

Fixed objects of class SelfInitializingType :

Command -- the class of all commands

Eliminate -- elimination ordering

Hybrid

LowerBound

MinorsComputation -- the class of all minors computations

PfaffiansComputation -- the class of all Pfaffians computations

ProductOrder -- product ordering

PushforwardComputation -- a type of list used internally by pushForward1