i1 : code listUserSymbols
o1 = ../../m2/debugging.m2:204:34-204:61: --source code:
listUserSymbols = Command ( type -> listSymbols userSymbols type )
|
i2 : code(res,Ideal)
o2 = -- code for method: resolution(Ideal)
../../m2/res.m2:231:45-235:6: --source code:
resolution Ideal := ChainComplex => options -> (I) -> resolution(
if I.cache.?quotient
then I.cache.quotient
else I.cache.quotient = cokernel generators I, -- used to be (ring I)^1/I, but that needs GB recomputation...
options)
|
i3 : code(symbol :, Ideal, Ideal)
o3 = -- code for method: Ideal : Ideal
../Saturation.m2:146:59-146:74: --source code:
Ideal : Ideal := Ideal => (I, J) -> quotient(I, J)
|
i4 : code methods use
o4 = -- code for method: use(Monoid)
../../m2/orderedmonoidrings.m2:7:17-7:46: --source code:
use Monoid := x -> ( if x.?use then x.use x; x)
---------------------------------
-- code for method: use(Package)
../../m2/packages.m2:538:20-543:39: --source code:
use Package := pkg -> (
scan(pkg.Options.PackageExports, needsPackage);
loadedPackages = prepend(pkg, delete(pkg, loadedPackages));
dictionaryPath = prepend(pkg.Dictionary, delete(pkg.Dictionary, dictionaryPath));
checkShadow();
if pkg.?use then pkg.use pkg else pkg)
---------------------------------
-- code for method: use(Ring)
../../m2/enginering.m2:344:15-349:6: --source code:
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
|
The object code is a method function with a single argument.