-- -*- M2-comint -*- {* hash: -1899366068 *} 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 i3 :