next | previous | forward | backward | up | top | index | toc | home

PackageDictionary -- the dictionary for names of packages

Description

This dictionary is used just for names of packages.
i1 : dictionaryPath

o1 = {User#"private dictionary", Parsing.Dictionary, TangentCone.Dictionary,
     ------------------------------------------------------------------------
     SchurRings.Dictionary, Classic.Dictionary,
     ------------------------------------------------------------------------
     PrimaryDecomposition.Dictionary, LLLBases.Dictionary,
     ------------------------------------------------------------------------
     Elimination.Dictionary, Core.Dictionary, OutputDictionary,
     ------------------------------------------------------------------------
     PackageDictionary}

o1 : List
i2 : values PackageDictionary

o2 = {Parsing, Classic, Elimination, LLLBases, PrimaryDecomposition,
     ------------------------------------------------------------------------
     TangentCone, User, SchurRings, Core}

o2 : List

See also

For the programmer

The object PackageDictionary is an object of class GlobalDictionary.