next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Macaulay2Doc > The Macaulay2 language > code

code -- display source code

Description

Synopsis

  • Usage:
    code f
  • Inputs:
  • Outputs:
    • a net, the source code of the function or commandf 
i1 : code listUserSymbols

o1 = ../../../../../../../Macaulay2/m2/debugging.m2:204:34-204:61: --source
     listUserSymbols = Command ( type -> listSymbols userSymbols type )
     ------------------------------------------------------------------------
     code:

Synopsis

  • Usage:
    code(f,X)
  • Inputs:
  • Outputs:
    • a net, the source code of method for applying f to an argument of type X 
i2 : code(res,Ideal)

o2 = -- code for method: resolution(Ideal)
     ../../../../../../../Macaulay2/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)

Synopsis

  • Usage:
    code(f,X,Y)
  • Inputs:
  • Outputs:
    • a net, the source code of method for applying f to arguments of type X and Y 
i3 : code(symbol :, Ideal, Ideal)

o3 = -- code for method: Ideal : Ideal
     ../../../../../../../Macaulay2/packages/Saturation.m2:148:59-148:74: --
     Ideal  : Ideal                := Ideal  =>         (I, J) -> quotient(I
     ------------------------------------------------------------------------
     source code:
     , J)

Synopsis

  • Usage:
    code(f,X,Y,Z)
  • Inputs:
  • Outputs:
    • a net, the source code of method for applying f to arguments of type X, Y, and Z

Synopsis

  • Usage:
    code(f,X,Y,Z,T)
  • Inputs:
  • Outputs:
    • a net, the source code of method for applying f to arguments of type X, Y, Z, and T

Synopsis

  • Usage:
    code {v,w,...}
  • Inputs:
  • Outputs:
    • a net, the source code of the functions or commandsv,w,.... Such a list can be obtained, for example, with methods. 
i4 : code methods use

o4 = -- code for method: use(Monoid)
     ../../../../../../../Macaulay2/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)
     ../../../../../../../Macaulay2/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)
     ../../../../../../../Macaulay2/m2/enginering.m2:347:15-352: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

See also

Ways to use code :

For the programmer

The object code is a method function with a single argument.