i1 : code methods use o1 = -- code for method: use(Monoid) -- ../m2/orderedmonoidrings.m2:7 use Monoid := x -> ( if x.?use then x.use x; x) --------------------------------- -- code for method: use(Package) -- ../m2/packages.m2:374-383 use Package := pkg -> ( a := member(pkg,loadedPackages); b := member(pkg.Dictionary,dictionaryPath); if a and not b then error("use: package ",toString pkg," appears in loadedPackages, but its dictionary is missing from dictionaryPath"); if b and not a then error("use: package ",toString pkg," does not appear in loadedPackages, but its dictionary appears in dictionaryPath"); if not a and not b then ( loadedPackages = prepend(pkg,loadedPackages); dictionaryPath = prepend(pkg.Dictionary,dictionaryPath); ); ) --------------------------------- -- code for method: use(Ring) -- ../m2/enginering.m2:267-272 use Ring := R -> ( if R.?ring then use R.ring; -- I'm not sure what this is for. Which rings have this key? generators R; if R.?generators and R.?generatorSymbols then scan(R.generatorSymbols,R.generators,(sym,val) -> sym <- val); if R.?use then R.use R; R) --------------------------------- -- code for method: use(Thing) function 'identity': source code not available |