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 "P" o1 = P o1 : Package |
i2 : export x |
i3 : x=3 o3 = 3 |
i4 : endPackage "P" o4 = P o4 : Package |
i5 : dictionaryPath
o5 = {P.Dictionary, User#"private dictionary", Parsing.Dictionary,
------------------------------------------------------------------------
TangentCone.Dictionary, SchurRings.Dictionary, Classic.Dictionary,
------------------------------------------------------------------------
PrimaryDecomposition.Dictionary, LLLBases.Dictionary,
------------------------------------------------------------------------
Elimination.Dictionary, Core.Dictionary, OutputDictionary,
------------------------------------------------------------------------
PackageDictionary}
o5 : List
|
i6 : x o6 = 3 |
i7 : dismiss P |
i8 : dictionaryPath
o8 = {User#"private dictionary", Parsing.Dictionary, TangentCone.Dictionary,
------------------------------------------------------------------------
SchurRings.Dictionary, Classic.Dictionary,
------------------------------------------------------------------------
PrimaryDecomposition.Dictionary, LLLBases.Dictionary,
------------------------------------------------------------------------
Elimination.Dictionary, Core.Dictionary, OutputDictionary,
------------------------------------------------------------------------
PackageDictionary}
o8 : List
|
i9 : x o9 = x o9 : Symbol |
i10 : values PackageDictionary
o10 = {P, Parsing, Classic, Elimination, LLLBases, PrimaryDecomposition,
-----------------------------------------------------------------------
TangentCone, User, SchurRings, Core}
o10 : List
|
i11 : use P |
i12 : x o12 = 3 |