Each such type is displayed to the right of its parent.
A type is an instance of Type, by definition.
i1 : showStructure
o1 = Thing : BasicList : Command
Constant
DocumentTag
Eliminate
Expression : Adjacent
AssociativeExpression : Equation
Product
Sum
BinaryOperation
Divide
FunctionApplication
Holder : OneExpression
ZeroExpression
MatrixExpression
Minus
NonAssociativeProduct
Parenthesize
Power
RowExpression
SparseMonomialVectorExpression
SparseVectorExpression
Subscript
Superscript
Table
FilePosition
ForestNode
Hybrid
IndeterminateNumber
IndexedVariable
InfiniteNumber
LowerBound
Manipulator
MutableList : Bag
Option
Partition
ProductOrder
PushforwardComputation
RingElement
SumOfTwists
Time
TreeNode
URL
Vector
VisibleList : Array
List : VerticalList
Sequence
Boolean
CompiledFunctionBody
Database
Dictionary : GlobalDictionary
LocalDictionary
File
Function : CompiledFunction
CompiledFunctionClosure : MethodFunction
FunctionClosure : CacheFunction
MethodFunctionWithOptions
FunctionBody
HashTable : CoherentSheaf
Ideal : MonomialIdeal
ImmutableType : Module
ModuleMap : Matrix
MonoidElement
MutableHashTable : CacheTable
Descent
GradedModule : ChainComplex
GradedModuleMap : ChainComplexMap
GroebnerBasis
IndexedVariableTable : SchurRingIndexedVariableTable
Package
Resolution
ScriptedFunctor
Type : HeaderType
Monoid : OrderedMonoid : GeneralOrderedMonoid
Ring : EngineRing : FractionField
GaloisField
InexactField : ComplexField
RealField
PolynomialRing
QuotientRing
SchurRing
RingFamily : InexactFieldFamily
SelfInitializingType
WrapperType
Variety : AffineVariety
ProjectiveVariety
MutableMatrix
OptionTable : GroebnerBasisOptions
ProjectiveHilbertPolynomial
RingMap
SheafOfRings
Tally : Set
VirtualTally : BettiTally
LibxmlAttribute
LibxmlNode
Net : String
NetFile
Nothing : InexactNumber
*
Number : InexactNumber : CC
RR
QQ
ZZ
Pseudocode
Symbol : Keyword
o1 : Descent
|
i2 : showStructure(ZZ,QQ,RR,RR_200,QQ[x],Ring)
o2 = Thing : BasicList : RingElement : QQ[x]
HashTable : MutableHashTable : Type : Ring
Nothing : InexactNumber : RR : RR
* * 200
Number : InexactNumber : RR
QQ
ZZ
o2 : Descent
|
The object showStructure is a command.