The package itself is still accessible under its name in the PackageDictionary, and its exported symbols can be made available again with use.
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, User#"private dictionary",
------------------------------------------------------------------------
User.Dictionary, Elimination.Dictionary, LLLBases.Dictionary,
------------------------------------------------------------------------
IntegralClosure.Dictionary, PrimaryDecomposition.Dictionary,
------------------------------------------------------------------------
Classic.Dictionary, TangentCone.Dictionary, ReesAlgebra.Dictionary,
------------------------------------------------------------------------
ConwayPolynomials.Dictionary, Core.Dictionary, OutputDictionary,
------------------------------------------------------------------------
PackageDictionary}
o5 : List
|
i6 : x1 o6 = 3 |
i7 : dismiss PKG o7 = PKG o7 : Package |
i8 : dictionaryPath
o8 = {SimpleDoc.Dictionary, User#"private dictionary", User.Dictionary,
------------------------------------------------------------------------
Elimination.Dictionary, LLLBases.Dictionary, IntegralClosure.Dictionary,
------------------------------------------------------------------------
PrimaryDecomposition.Dictionary, Classic.Dictionary,
------------------------------------------------------------------------
TangentCone.Dictionary, ReesAlgebra.Dictionary,
------------------------------------------------------------------------
ConwayPolynomials.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, PKG, Classic, Classic, Core, Core}
o10 : List
|
i11 : use PKG --warning: symbol "x1" in User#"private dictionary" is shadowed by a symbol in PKG.Dictionary -- use the synonym x1$0 |
i12 : x1 o12 = 3 |