-- -*- M2-comint -*- hash: 1332126828112

i1 : showClassStructure

o1 = Type : AffineVariety
            AngleBarList
            Array
            AssociativeExpression
            AtomicInt
            BasicList
            BettiTally
            Boolean : false
                      true
            CacheTable
            CC
              *
            ChainComplex
            ChainComplexMap
            CoherentSheaf
            CompiledFunction : addCancelTask
                               addDependencyTask
                               addStartTask
                               alarm
                               ancestor
                               any
                               append
                               apply
                               applyKeys
                               applyPairs
                               applyValues
                               ascii
                               atEndOfFile
                               cancelTask
                               changeDirectory
                               characters
                               class
                               clearEcho
                               collectGarbage
                               combine
                               commandInterpreter
                               concatenate
                               connectionCount
                               copy
                               cpuTime
                               createTask
                               currentColumnNumber
                               currentDirectory
                               currentRowNumber
                               currentTime
                               deepSplice
                               difference
                               disassemble
                               drop
                               echoOff
                               echoOn
                               erase
                               exec
                               fileExecutable
                               fileExists
                               fileLength
                               fileMode
                               fileReadable
                               fileTime
                               fileWritable
                               firstkey
                               flagLookup
                               fork
                               frames
                               functionBody
                               GCstats
                               get
                               getc
                               getenv
                               getGlobalSymbol
                               getIOThreadMode
                               getNetFile
                               groupID
                               hash
                               hashTable
                               horizontalJoin
                               identity
                               installMethod
                               instance
                               isANumber
                               isCanceled
                               isDirectory
                               isGlobalSymbol
                               isInputFile
                               isListener
                               isMutable
                               isOpen
                               isOutputFile
                               isReady
                               isRegularFile
                               join
                               keys
                               kill
                               left
                               limitFiles
                               limitProcesses
                               linkFile
                               localDictionaries
                               lookup
                               lookupCount
                               merge
                               mergePairs
                               midpoint
                               mingle
                               minimizeFilename
                               minus
                               mkdir
                               nanosleep
                               newClass
                               newNetFile
                               nextkey
                               openDatabase
                               openDatabaseOut
                               openFiles
                               openIn
                               openInOut
                               openListener
                               openOut
                               openOutAppend
                               override
                               pairs
                               parent
                               plus
                               power
                               powermod
                               prepend
                               printString
                               processID
                               protect
                               pseudocode
                               read
                               readDirectory
                               readlink
                               realpath
                               recursionDepth
                               relativizeFilename
                               remove
                               removeDirectory
                               removeFile
                               reorganize
                               reverse
                               right
                               run
                               scan
                               scanPairs
                               schedule
                               selectPairs
                               sequence
                               serialNumber
                               setEcho
                               setGroupID
                               setIOExclusive
                               setIOSynchronized
                               setIOUnSynchronized
                               size2
                               sleep
                               splice
                               stack
                               stacktrace
                               substring
                               symbolBody
                               symlinkFile
                               take
                               tally
                               taskResult
                               times
                               toCC
                               toRR
                               toRRi
                               toSequence
                               uncurry
                               unsequence
                               unstack
                               utf8
                               utf8check
                               utf8substring
                               values
                               wait
                               wrap
                               youngest
            CompiledFunctionBody
            CompiledFunctionClosure
            ComplexField
            Cone
            Constant : CatalanConstant
                       EulerConstant
                       ii
                       pi
            Database
            Descent
            Dictionary
            DocumentTag
            EngineRing
            Expression
            Fan
            File : stdio
            FilePosition
            FractionField
            Function
            FunctionBody
            FunctionClosure : addEndFunction
                              ancestors
                              applicationDirectory
                              applyTable
                              baseFilename
                              beginDocumentation
                              benchmark
                              cacheValue
                              centerString
                              columnate
                              currentPosition
                              demark
                              End
                              error
                              even
                              first
                              getNonUnit
                              getSymbol
                              globalAssign
                              globalAssignFunction
                              globalAssignment
                              globalReleaseFunction
                              input
                              installedPackages
                              installMinprimes
                              isPrimitive
                              isTable
                              last
                              lines
                              load
                              memoizeClear
                              memoizeValues
                              method
                              mod
                              monomialCurveIdeal
                              needs
                              notImplemented
                              number
                              odd
                              on
                              pager
                              peek
                              print
                              printerr
                              same
                              seeParsing
                              sheafMap
                              showHtml
                              showTex
                              stashValue
                              subtable
                              synonym
                              syzygyScheme
                              table
                              temporaryFileName
                              toAbsolutePath
                              toLower
                              toUpper
                              tutorial
                              uniform
                              uninstallAllPackages
                              userSymbols
                              zero
            GaloisField
            GeneralOrderedMonoid
            GlobalDictionary : PackageDictionary
            GradedModule
            GradedModuleMap
            GroebnerBasis
            GroebnerBasisOptions
            HashTable
            HeaderType : Adjacent
                         BinaryOperation
                         Divide
                         Equation
                         FunctionApplication
                         MapExpression
                         MatrixExpression
                         Power
                         RowExpression
                         SparseMonomialVectorExpression
                         SparseVectorExpression
                         Subscript
                         Superscript
                         Table
                         VectorExpression
            Ideal
            ImmutableType
            IndeterminateNumber : indeterminate
            IndexedVariable
            IndexedVariableTable
            InexactField
            InexactFieldFamily : CC
                                 RR
                                 RRi
            InexactNumber
            InexactNumber
                         *
            InfiniteNumber : infinity
            Keyword
            List
            LocalDictionary
            Manipulator : close
                          closeIn
                          closeOut
                          endl
                          flush
            Matrix
            MethodFunction : abs
                             accumulate
                             acos
                             acosh
                             acot
                             acoth
                             addCone
                             addPolyhedron
                             adjoint'
                             affineHull
                             affineImage
                             affinePreimage
                             agm
                             all
                             ambDim
                             ambient
                             antipode
                             apropos
                             areCompatible
                             arXiv
                             asin
                             asinh
                             assert
                             atan
                             atan2
                             atanh
                             autoload
                             barycentricTriangulation
                             baseName
                             baseRing
                             BesselJ
                             BesselY
                             Beta
                             between
                             binomial
                             bipyramid
                             borel
                             ccRefinement
                             ceiling
                             cellDecompose
                             changeBase
                             char
                             chi
                             clean
                             coefficient
                             coefficientRing
                             coimage
                             cokernel
                             columnAdd
                             columnMult
                             columnPermute
                             columnRankProfile
                             columnSwap
                             commonFace
                             commonRing
                             comodule
                             compareExchange
                             complement
                             complete
                             components
                             compositions
                             compress
                             conductor
                             cone
                             coneFromHData
                             coneFromVData
                             cones
                             conjugate
                             contains
                             content
                             contract
                             contract'
                             convexHull
                             cos
                             cosh
                             cot
                             coth
                             cover
                             coverMap
                             crossPolytope
                             csc
                             csch
                             cyclicPolytope
                             debug
                             default
                             degree
                             degreeGroup
                             degreeLength
                             degrees
                             degreesMonoid
                             degreesRing
                             delete
                             denominator
                             depth
                             diagonalMatrix
                             diameter
                             dictionary
                             diff
                             diff'
                             Digamma
                             dim
                             dismiss
                             divideByVariable
                             doc
                             dualCone
                             dualFaceRepresentationMap
                             eagonNorthcott
                             effCone
                             effGenerators
                             ehrhart
                             eint
                             elements
                             eliminate
                             emptyPolyhedron
                             endPackage
                             entries
                             erf
                             erfc
                             euler
                             eulers
                             exchange
                             exp
                             expectedReesIdeal
                             expm1
                             exponents
                             exportFrom
                             faceFan
                             faces
                             facesAsCones
                             facesAsPolyhedra
                             facets
                             fan
                             fanFromGfan
                             Fano
                             findSynonyms
                             fittingIdeal
                             flip
                             floor
                             fold
                             formation
                             frac
                             fraction
                             fromDividedPowers
                             fVector
                             Gamma
                             gbRemove
                             gbSnapshot
                             gcdCoefficients
                             genera
                             generateAssertions
                             generator
                             genericMatrix
                             genericSkewMatrix
                             genericSymmetricMatrix
                             genus
                             getChangeMatrix
                             getWWW
                             gramm
                             halfspaces
                             headlines
                             heft
                             height
                             hilbertFunction
                             hirzebruch
                             homogenize
                             homomorphism
                             httpHeaders
                             hypercube
                             hyperplanes
                             icFractions
                             icMap
                             icPIdeal
                             image
                             imageFan
                             imaginaryPart
                             importFrom
                             incompCones
                             incompPolyhedra
                             index
                             indices
                             inducesWellDefinedMap
                             inInterior
                             insert
                             installAssignmentMethod
                             installHilbertFunction
                             instances
                             integrate
                             interiorLatticePoints
                             interiorPoint
                             interiorVector
                             inverse
                             inverseErf
                             inversePermutation
                             inverseRegularizedBeta
                             inverseRegularizedGamma
                             irreducibleCharacteristicSeries
                             irreducibleDecomposition
                             isAffineRing
                             isBorel
                             isc
                             isCommutative
                             isCompact
                             isComplete
                             isConstant
                             isDirectSum
                             isEmpty
                             isFace
                             isField
                             isFinite
                             isFinitePrimeField
                             isFreeModule
                             isFullDimensional
                             isHomogeneous
                             isIdeal
                             isInfinite
                             isInjective
                             isIsomorphism
                             isLatticePolytope
                             isLocallyFree
                             isMember
                             isModule
                             isMonomialIdeal
                             isNormal
                             isPointed
                             isPolynomialRing
                             isPolytopal
                             isProjective
                             isPure
                             isQuotientModule
                             isQuotientOf
                             isQuotientRing
                             isReal
                             isRing
                             isSimplicial
                             isSkewCommutative
                             isSquareFree
                             isStandardGradedPolynomialRing
                             isSubmodule
                             isSubquotient
                             isSubset
                             isSupportedInZeroLocus
                             isSurjective
                             isUnit
                             isWellDefined
                             isWeylAlgebra
                             jacobian
                             kernelOfLocalization
                             koszul
                             latticePoints
                             latticeVolume
                             leadCoefficient
                             leadComponent
                             leadMonomial
                             leadTerm
                             liftable
                             linealitySpace
                             linearTransform
                             linSpace
                             listForm
                             listSymbols
                             lngamma
                             log
                             log1p
                             LUdecomposition
                             makeDirectory
                             maxCones
                             maxFace
                             maxPolyhedra
                             memoize
                             methodOptions
                             minFace
                             minimalNonFaces
                             minimize
                             minkowskiSum
                             minkSummandCone
                             mixedVolume
                             module
                             monomialSubideal
                             multidegree
                             multigraded
                             nefCone
                             nefGenerators
                             newCoordinateSystem
                             newtonPolytope
                             next
                             nextPrime
                             norm
                             normalFan
                             nullhomotopy
                             nullSpace
                             numColumns
                             numerator
                             numeric
                             numericInterval
                             numgens
                             numRows
                             nVertices
                             objectiveVector
                             ofClass
                             pack
                             packageTemplate
                             pad
                             part
                             partition
                             partitions
                             parts
                             pdim
                             peek'
                             permanents
                             permutations
                             pfaffian
                             pfaffians
                             pivots
                             poincare
                             poincareN
                             polar
                             polarFace
                             poly
                             polyhedra
                             polyhedralComplex
                             polyhedron
                             polyhedronFromHData
                             polytope
                             positions
                             posOrthant
                             precision
                             preimage
                             presentation
                             product
                             Proj
                             projectiveHilbertPolynomial
                             promote
                             proximum
                             pseudoRemainder
                             pushout
                             pyramid
                             QRDecomposition
                             quotientRemainder
                             quotientRemainder'
                             randomKRationalPoint
                             randomSubset
                             rank
                             realPart
                             reducedRowEchelonForm
                             reduceHilbert
                             reductionNumber
                             registerFinalizer
                             regularizedBeta
                             regularizedGamma
                             regularSubdivision
                             regularTriangulation
                             relations
                             remainder
                             remainder'
                             removeLowestDimension
                             reshape
                             ring
                             rotate
                             round
                             rowAdd
                             rowMult
                             rowPermute
                             rowRankProfile
                             rowSwap
                             saveSession
                             scanKeys
                             scanLines
                             scanValues
                             schreyerOrder
                             searchPath
                             sec
                             sech
                             secondaryPolytope
                             selectInSubring
                             selectKeys
                             selectValues
                             selectVariables
                             setup
                             setupEmacs
                             setupLift
                             setupPromote
                             sheaf
                             show
                             sign
                             simplex
                             sin
                             singularLocus
                             sinh
                             size
                             skeleton
                             smallestFace
                             smoothSubfan
                             someTerms
                             source
                             Spec
                             splitWWW
                             sqrt
                             stacksProject
                             standardForm
                             standardPairs
                             stanleyReisnerRing
                             statePolytope
                             stdSimplex
                             stellarSubdivision
                             store
                             sublatticeBasis
                             sublists
                             submatrix
                             submatrix'
                             submatrixByDegrees
                             subquotient
                             subsets
                             substitute
                             sum
                             super
                             support
                             switch
                             sylvesterMatrix
                             symmetricPower
                             tailCone
                             tan
                             tanh
                             target
                             tensorAssociativity
                             terms
                             testHunekeQuestion
                             tests
                             toDividedPowers
                             toField
                             topCoefficients
                             topComponents
                             toSublattice
                             trace
                             triangulate
                             truncateOutput
                             ultimate
                             unbag
                             uniquePermutations
                             urlEncode
                             value
                             variety
                             vector
                             versalEmbedding
                             vertexEdgeMatrix
                             vertexFacetMatrix
                             vertices
                             volume
                             wedgeProduct
                             weightRange
                             whichGm
                             width
                             wikipedia
                             zeta
            MethodFunctionBinary : directProduct
                                   gcd
                                   intersect
                                   lcm
                                   tensor
                                   union
            MethodFunctionSingle : chainComplex
                                   code
                                   commonest
                                   describe
                                   directSum
                                   document
                                   EXAMPLE
                                   examples
                                   export
                                   exportMutable
                                   expression
                                   flatten
                                   format
                                   gradedModule
                                   gradedModuleMap
                                   hold
                                   hooks
                                   html
                                   hypertext
                                   ideal
                                   info
                                   isSorted
                                   iterator
                                   length
                                   locate
                                   makeDocumentTag
                                   makePackageIndex
                                   mathML
                                   max
                                   maxPosition
                                   methods
                                   min
                                   minPosition
                                   monoid
                                   monomialIdeal
                                   net
                                   newPackage
                                   options
                                   package
                                   pretty
                                   regexQuote
                                   runLengthEncode
                                   set
                                   setRandomSeed
                                   span
                                   SYNOPSIS
                                   tex
                                   texMath
                                   toExternalString
                                   toList
                                   toString
                                   transpose
                                   undocumented
                                   unique
                                   use
                                   vars
            MethodFunctionWithOptions : about
                                        addHook
                                        adjoint
                                        analyticSpread
                                        annihilator
                                        associatedGradedRing
                                        associatedPrimes
                                        basis
                                        betti
                                        canonicalBundle
                                        capture
                                        check
                                        checkDegrees
                                        codim
                                        coefficients
                                        cohomology
                                        compose
                                        conwayPolynomial
                                        copyDirectory
                                        copyFile
                                        cotangentSheaf
                                        decompose
                                        determinant
                                        discriminant
                                        distinguished
                                        dual
                                        eigenvalues
                                        eigenvectors
                                        extend
                                        exteriorPower
                                        factor
                                        fillMatrix
                                        findFiles
                                        findHeft
                                        findProgram
                                        flattenRing
                                        forceGB
                                        fromDual
                                        gb
                                        gcdLLL
                                        generators
                                        getPrimeWithRootOfUnity
                                        GF
                                        graphIdeal
                                        graphRing
                                        Grassmannian
                                        groebnerBasis
                                        hermite
                                        hilbertBasis
                                        hilbertPolynomial
                                        hilbertSeries
                                        Hom
                                        homology
                                        homomorphism'
                                        icFracP
                                        idealizer
                                        idealSheaf
                                        independentSets
                                        inducedMap
                                        installPackage
                                        integralClosure
                                        intersectInP
                                        interval
                                        inverseSystem
                                        isExact
                                        isIsomorphic
                                        isLinearType
                                        isLLL
                                        isomorphism
                                        isPrimary
                                        isPrime
                                        isPseudoprime
                                        isReduction
                                        isReflexive
                                        isSmooth
                                        isVeryAmple
                                        jacobianDual
                                        kernel
                                        kernelLLL
                                        lift
                                        LLL
                                        loadPackage
                                        localize
                                        makeS2
                                        map
                                        markedGB
                                        match
                                        matrix
                                        mingens
                                        minimalBetti
                                        minimalPresentation
                                        minimalPrimes
                                        minimalReduction
                                        minors
                                        modulo
                                        monomials
                                        moveFile
                                        multiplicity
                                        mutableIdentity
                                        mutableMatrix
                                        needsPackage
                                        netList
                                        newRing
                                        normalCone
                                        oeis
                                        parallelApply
                                        polarize
                                        position
                                        primaryComponent
                                        primaryDecomposition
                                        prune
                                        pullback
                                        pushForward
                                        quotient
                                        quotient'
                                        radical
                                        radicalContainment
                                        random
                                        randomMutableMatrix
                                        rays
                                        readPackage
                                        reesAlgebra
                                        reesIdeal
                                        regex
                                        regSeqInIdeal
                                        regularity
                                        replace
                                        resolution
                                        resultant
                                        ringFromFractions
                                        roots
                                        rsort
                                        runHooks
                                        runProgram
                                        saturate
                                        Schubert
                                        select
                                        separate
                                        sheafHom
                                        simpleDocFrob
                                        smithNormalForm
                                        solve
                                        sort
                                        sortColumns
                                        specialFiber
                                        specialFiberIdeal
                                        status
                                        SVD
                                        symlinkDirectory
                                        symmetricAlgebra
                                        symmetricAlgebraIdeal
                                        symmetricKernel
                                        syz
                                        tangentCone
                                        tangentSheaf
                                        toDual
                                        trim
                                        truncate
                                        uninstallPackage
            Module
            Monoid
            MonoidElement
            MonomialIdeal
            MultigradedBettiTally
            MutableHashTable
            MutableList
            MutableMatrix
            Net
            NetFile
            Nothing
            Number
            OneExpression
            Option
            OptionTable
            OrderedMonoid
            Package : Classic
                      Complexes
                      ConwayPolynomials
                      Core
                      Elimination
                      FourierMotzkin
                      GenericInitialIdeal
                      IntegralClosure
                      InverseSystems
                      Isomorphism
                      LLLBases
                      Macaulay2Doc
                      MinimalPrimes
                      OldChainComplexes
                      OnlineLookup
                      PackageCitations
                      Parsing
                      Polyhedra
                      PrimaryDecomposition
                      PushForward
                      ReesAlgebra
                      Saturation
                      Schubert2
                      SchurRings
                      SimpleDoc
                      SimplicialComplexes
                      TangentCone
                      Text
                      Topcom
                      Truncations
                      User
                      Varieties
            Partition
            PolyhedralComplex
            PolyhedralObject
            Polyhedron
            PolynomialRing
            Program
            ProgramRun
            ProjectiveHilbertPolynomial
            ProjectiveVariety
            Pseudocode
            PseudocodeClosure
            QuotientRing
            RealField
            Resolution
            Ring : QQ
                   ZZ
            RingElement
            RingFamily
            RingMap
            RR
              *
            RRi
               *
            ScriptedFunctor : Ext
                              HH
                              hh
                              id
                              OO
                              sheafExt
                              Tor
            SelfInitializingType : Bag
                                   Command : cite
                                             clearAll
                                             clearOutput
                                             copyright
                                             coverageSummary
                                             edit
                                             exit
                                             help
                                             infoHelp
                                             listLocalSymbols
                                             listUserSymbols
                                             profileSummary
                                             quit
                                             restart
                                             showClassStructure
                                             showStructure
                                             showUserStructure
                                             viewHelp
                                   Eliminate
                                   Hybrid
                                   Iterator
                                   LowerBound
                                   NumberedVerticalList
                                   ProductOrder
                                   TestInput
                                   URL
                                   VerticalList
            Sequence
            Set
            SheafMap
            SheafOfRings
            String
            SumOfTwists
            Symbol
            SymbolBody
            Tally
            Task
            Thing
            Time
            Variety
            Vector
            VirtualTally
            VisibleList
            WrapperType : Describe
                          DirectSum
                          Holder
                          Minus
                          Parenthesize
                          Product
                          SheafExpression
                          Sum
                          TensorProduct
            ZeroExpression

o1 : Descent

i2 : 
