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
|