-- -*- M2-comint -*- hash: 1731328386297100620

i1 : showStructure

o1 = Thing : AtomicInt
             BasicList : Command
                         Eliminate
                         Expression : Adjacent
                                      AssociativeExpression : DirectSum
                                                              Equation
                                                              Product
                                                              Sum
                                                              TensorProduct
                                      BinaryOperation
                                      Divide
                                      FunctionApplication
                                      Holder : Describe
                                               OneExpression
                                               Parenthesize
                                               ZeroExpression
                                      MapExpression
                                      MatrixExpression
                                      Minus
                                      Power
                                      RowExpression
                                      SheafExpression
                                      SparseMonomialVectorExpression
                                      SparseVectorExpression
                                      Subscript
                                      Superscript
                                      Table
                                      VectorExpression
                         FilePosition
                         IndexedVariable
                         LowerBound
                         Manipulator
                         MutableList : Bag
                         Option
                         Partition
                         ProductOrder
                         RingElement
                         SumOfTwists
                         Time
                         URL
                         Vector
                         VisibleList : AngleBarList
                                       Array
                                       List : Hybrid
                                              VerticalList : NumberedVerticalList
                                       Sequence
             Boolean
             Database
             Dictionary : GlobalDictionary
                          LocalDictionary
             File
             Function : CompiledFunction
                        CompiledFunctionClosure : MethodFunction
                        FunctionClosure : Iterator
                                          MethodFunctionBinary
                                          MethodFunctionSingle
                                          MethodFunctionWithOptions
             FunctionBody : CompiledFunctionBody
             HashTable : CoherentSheaf
                         DocumentTag
                         Ideal : MonomialIdeal
                         ImmutableType : Module
                         Matrix
                         MonoidElement
                         MutableHashTable : CacheTable
                                            Descent
                                            GradedModule : ChainComplex
                                            GradedModuleMap : ChainComplexMap
                                            GroebnerBasis
                                            IndexedVariableTable
                                            Package
                                            PolyhedralObject : Cone
                                                               Fan
                                                               PolyhedralComplex
                                                               Polyhedron
                                            Resolution
                                            ScriptedFunctor
                                            Type : HeaderType
                                                   Monoid : OrderedMonoid : GeneralOrderedMonoid
                                                   Ring : EngineRing : FractionField
                                                                       GaloisField
                                                                       InexactField : ComplexField
                                                                                      RealField
                                                                       PolynomialRing
                                                                       QuotientRing
                                                          SheafOfRings
                                                   RingFamily : InexactFieldFamily
                                                   SelfInitializingType
                                                   WrapperType
                                            Variety : AffineVariety
                                                      ProjectiveVariety
                         MutableMatrix
                         OptionTable : GroebnerBasisOptions
                         Program
                         ProgramRun
                         ProjectiveHilbertPolynomial
                         RingMap
                         SheafMap
                         TestInput
                         VirtualTally : BettiTally : MultigradedBettiTally
                                        Tally : Set
             Net : String
             NetFile
             Nothing : InexactNumber  : CC
                                    *     *
                                        RR
                                          *
                                        RRi
                                           *
             Number : Constant
                      IndeterminateNumber
                      InexactNumber : CC
                                      RR
                                      RRi
                      InfiniteNumber
                      QQ
                      ZZ
             Pseudocode : PseudocodeClosure
             Symbol : Keyword
             SymbolBody
             Task

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

i3 : 
