-- -*- M2-comint -*- {* hash: -1695921531 *}

i1 : newPackage "PKG"

o1 = PKG

o1 : Package

i2 : export x1

o2 = {x1}

o2 : List

i3 : x1=3

o3 = 3

i4 : endPackage "PKG"

o4 = PKG

o4 : Package

i5 : dictionaryPath

o5 = {PKG.Dictionary, SimpleDoc.Dictionary, Elimination.Dictionary,
     ------------------------------------------------------------------------
     LLLBases.Dictionary, IntegralClosure.Dictionary,
     ------------------------------------------------------------------------
     PrimaryDecomposition.Dictionary, Classic.Dictionary,
     ------------------------------------------------------------------------
     SchurRings.Dictionary, TangentCone.Dictionary, ReesAlgebra.Dictionary,
     ------------------------------------------------------------------------
     ConwayPolynomials.Dictionary, User#"private dictionary",
     ------------------------------------------------------------------------
     Core.Dictionary, OutputDictionary, PackageDictionary}

o5 : List

i6 : x1

o6 = 3

i7 : dismiss PKG

o7 = PKG

o7 : Package

i8 : dictionaryPath

o8 = {SimpleDoc.Dictionary, Elimination.Dictionary, LLLBases.Dictionary,
     ------------------------------------------------------------------------
     IntegralClosure.Dictionary, PrimaryDecomposition.Dictionary,
     ------------------------------------------------------------------------
     Classic.Dictionary, SchurRings.Dictionary, TangentCone.Dictionary,
     ------------------------------------------------------------------------
     ReesAlgebra.Dictionary, ConwayPolynomials.Dictionary, User#"private
     ------------------------------------------------------------------------
     dictionary", Core.Dictionary, OutputDictionary, PackageDictionary}

o8 : List

i9 : x1

o9 = x1

o9 : Symbol

i10 : values PackageDictionary

o10 = {PrimaryDecomposition, SimpleDoc, PrimaryDecomposition, SimpleDoc,
      -----------------------------------------------------------------------
      Text, Text, IntegralClosure, Parsing, IntegralClosure,
      -----------------------------------------------------------------------
      ConwayPolynomials, Parsing, ConwayPolynomials, LLLBases, LLLBases,
      -----------------------------------------------------------------------
      Elimination, ReesAlgebra, Elimination, TangentCone, ReesAlgebra,
      -----------------------------------------------------------------------
      TangentCone, User, PKG, SchurRings, PKG, SchurRings, Classic, Classic,
      -----------------------------------------------------------------------
      Core, Core}

o10 : List

i11 : use PKG

i12 : x1

o12 = 3

i13 :