MethodFunction -- a type of method function

Functions and methods returning an object of class MethodFunction :

• method -- make a new method function

Fixed objects of class MethodFunction :

• accumulate -- apply binary operator repeatedly
• addHook, see addHook(HashTable,Thing,Function) -- add a hook function to an object for later processing
• adjoint, see adjoint(Matrix,Module,Module) -- an adjoint map
• adjoint1, see adjoint1(Matrix,Module,Module) -- an adjoint map
• all -- whether all elements satisfy a specified condition
• allGenerators -- list of all generators
• ambient -- ambient free module of a subquotient, or ambient ring
• apropos, see apropos(String) -- symbols matching a pattern
• autoload, see autoload(Symbol,String) -- arrange for a function to be loaded automatically
• baseName -- the base name of a generator
• betti -- display degrees
• between -- insert something between elements of a list
• binomial -- binomial coefficient
• borel, see borel(Matrix) -- make a Borel fixed submodule
• capture, see capture(String) -- evaluate Macaulay 2 code and capture the output (under development)
• char -- computes the characteristic of a field or ring
• check -- perform tests of a package
• codim -- compute the codimension
• coefficient -- coefficient of a monomial
• coefficientRing -- get the coefficient ring
• coimage -- coimage of a map
• cokernel -- cokernel of a map of modules, graded modules, or chaincomplexes
• columnAdd -- add a multiple of one column to another
• columnMult -- multiply a column by a ring element
• columnPermute -- permute some columns
• columnSwap -- interchange columns
• comodule -- submodule to quotient module
• complement, see complement(Matrix) -- find the minimal generators for cokernel of a matrix (low level form)
• complete
• components -- list the components of a direct sum
• compositions -- compositions of an integer
• compress -- extract nonzero columns from a matrix
• conductor -- compute the conductor of a finite ring map
• cone -- mapping cone of a chain map
• conjugate -- complex conjugate
• content, see content(RingElement) -- the content of a polynomial
• contract -- contract one matrix by another
• contract', see contract'(Matrix,Matrix) -- contract a matrix by a matrix, the dual notion
• cover -- get the covering free module
• coverMap, see coverMap(Module) -- the surjective map from a free module to a module corresponding to the generators
• debug -- open private dictionary of a package
• degree
• degreeLength -- the number of degrees
• degrees -- degrees of generators
• degreesMonoid -- get the monoid of degrees
• degreesRing -- the ring of degrees
• denominator -- denominator of a fraction
• depth -- depth of a net
• describe -- real description
• diagonalMatrix -- make a diagonal matrix
• dictionary -- determine the dictionary to which a symbol belongs
• diff -- differentiate or take difference
• diff', see diff'(Matrix,Matrix) -- differentiate a matrix by a matrix, the dual notion
• dim -- compute the Krull dimension
• discriminant, see discriminant(RingElement,RingElement)
• dismiss -- dismiss a package
• divideByVariable -- divide all columns by a (power of a) variable
• dual -- dual module or map
• eagonNorthcott, see eagonNorthcott(Matrix) -- Eagon-Northcott complex of a matrix of linear forms
• elements -- list of elements
• eliminate
• endPackage, see endPackage(String) -- end a new package
• entries -- lists the entries of a matrix
• euler -- Euler characteristic
• eulers -- list the sectional Euler characteristics
• exponents -- list the exponents in a polynomial
• extend -- extend a module map to a chain map, if possible
• Fano -- Fano scheme
• findSynonyms, see findSynonyms(Symbol) -- find synonyms of symbols
• fittingIdeal -- Fitting ideal of a module
• flip, see flip(Module,Module) -- matrix of commutativity of tensor product
• fold -- apply binary operator repeatedly
• frac -- construct a fraction field
• fraction
• gcdCoefficients -- gcd with coefficients
• genera -- list of the successive linear sectional arithmetic genera
• generateAssertions -- generate assert statements from experimental input
• generator -- provide a single generator
• generators -- provide matrix or list of generators
• genericMatrix -- make a generic matrix of variables
• genericSkewMatrix -- make a generic skew symmetric matrix of variables
• genericSymmetricMatrix -- make a generic symmetric matrix
• genus -- arithmetic genus
• getChangeMatrix -- get the change of basis matrix
• getWWW -- get a web page
• gram
• height -- height of a net
• hilbertFunction -- compute the Hilbert function
• Hom -- module of homomorphisms
• homogenize -- homogenize with respect to a variable
• homomorphism -- get the homomorphism from element of Hom
• ICmap -- natural map from an affine domain into its integral closure.
• image -- image of a map
• index -- numeric index of a ring variable
• indices -- indices of a polynomial; also components for a direct sum
• inducesWellDefinedMap -- whether a map is well defined
• installAssignmentMethod -- install methods assignment to the value of an operator
• inverse -- compute the inverse
• irreducibleCharacteristicSeries -- irreducible characteristic series of an ideal
• irreducibleDecomposition, see irreducibleDecomposition(MonomialIdeal) -- express a monomial ideal as an intersection of irreducible monomial ideals
• isAffineRing -- whether something is an affine ring
• isBorel -- whether an ideal is fixed by upper triangular changes of coordinates
• isCommutative -- whether a ring is commutative
• isConstant -- whether a ring element is constant
• isDirectSum -- whether something is a direct sum
• isField -- whether something is a field
• isFreeModule -- whether something is a free module
• isHomogeneous -- whether something is homogeneous (graded)
• isIdeal -- whether something is an ideal
• isInjective -- whether a map is injective
• isIsomorphism -- whether a map is an isomorphism
• isModule -- whether something is a module
• isMonomialIdeal -- whether something is a monomial ideal
• isNormal -- determine whether a reduced ring is normal
• isPolynomialRing -- whether someting is a polynomial ring
• isPrime -- whether a integer, polynomial, or ideal is prime
• isQuotientModule -- whether something is evidently a quotient of a free module
• isQuotientOf -- whether one thing is a quotient of another
• isQuotientRing -- whether something is a quotient ring
• isRing -- whether something is a ring
• isSkewCommutative -- whether a ring has skew commuting variables
• isSquareFree -- whether something is square free monomial ideal
• isSubmodule -- whether a module is evidently a submodule of a free module
• isSubquotient -- missing documentation
• isSubset -- whether one object is a subset of another
• isSurjective -- whether a map is surjective
• isUnit -- whether a ring element is a unit
• isWellDefined -- whether a map is well defined
• jacobian -- the Jacobian matrix of partial derivatives
• koszul
• leadCoefficient -- the leading coefficient
• leadComponent -- the leading component of a vector or matrix
• leadMonomial -- the leading monomial
• leadTerm -- get the greatest term
• length -- length
• lift -- lift to another ring
• liftable -- whether a ring element can be lifted to another ring
• listForm -- convert to list form
• listSymbols -- compact display of symbols and their values
• LU -- LU decomposition
• makeDirectory, see makeDirectory(String) -- make a directory
• match -- regular expression matching
• member -- test membership in a list or set
• memoize -- record results of function evaluation for future use
• methodOptions, see methodOptions(Function) -- recover the options used when a method function was created
• minimalPrimes -- minimal associated primes of an ideal
• module -- make or get a module
• monomialSubideal -- find the largest monomial ideal in an ideal
• newCoordinateSystem -- change variables
• nullhomotopy -- make a null homotopy
• numColumns, see numColumns(MutableMatrix) -- number of columns in a mutable matrix
• numerator -- numerator of a fraction
• numgens -- the number of generators
• numRows, see numRows(MutableMatrix) -- number of rows in a mutable matrix
• ofClass -- English phrases for types
• package -- get containing package
• pad -- pad a string with spaces
• part -- sum of monomials of a polynomial of a given degree
• partitions -- list the partitions of an integer
• pdim -- calculate the projective dimension
• peek', see peek'(ZZ,Thing) -- examine contents of an object
• permanents -- ideal generated by square permanents of a matrix
• permutations -- produce all permutations of a list
• pfaffians -- ideal generated by Pfaffians
• pivots -- missing documentation
• plethysm -- missing documentation
• poincare -- assemble degrees into polynomial
• poincareN -- assemble degrees into polynomial
• poly, see poly(String) -- make a polynomial using classic Macaulay syntax
• positions -- which elements of a list satisfy a condition
• preimage -- preimage of an ideal under a ring map
• presentation -- presentation of a module or ring
• product
• profile -- profile a function
• Proj, see Proj(Ring) -- make a projective variety
• projectiveHilbertPolynomial -- Hilbert polynomial of projective space
• promote -- promote to another ring
• pseudoRemainder -- compute the pseudo-remainder
• quotient' -- matrix quotient (opposite)
• quotientRemainder -- matrix quotient and remainder
• quotientRemainder' -- matrix quotient and remainder (opposite)
• rank -- compute the rank
• reduceHilbert -- reduce a Hilbert series expression
• regularity -- compute the Castelnuovo-Mumford regularity
• relations -- the defining relations
• remainder -- matrix remainder
• remainder' -- matrix quotient and remainder (opposite)
• removeHook, see removeHook(HashTable,Thing,Function) -- remove a hook function from an object
• removeLowestDimension -- remove components of lowest dimension
• reshape, see reshape(Module,Module,Matrix) -- reshape a matrix
• resultant, see resultant(RingElement,RingElement,RingElement)
• ring -- Get the associated ring of an object
• rotate, see rotate(ZZ,VisibleList) -- rotate a list
• rowAdd -- add a multiple of one row to another
• rowMult -- multiply a row by a ring element
• rowPermute -- permute some rows
• rowSwap -- interchange rows
• runHooks, see runHooks(HashTable,Thing,Thing) -- run the hook functions stored in an object
• scanKeys -- apply a function to each key in a hash table or database
• scanValues -- apply a function to each value in a hash table
• schreyerOrder -- create or obtain free modules with Schryer monomial orders
• schurRing -- make a Schur ring
• searchPath, see searchPath(List,String) -- search a path for a file
• selectInSubring -- select columns in a subring
• separateRegexp -- separate a string into pieces, with separators determined by a regular expression
• setRandomSeed -- set starting point for random number generator
• sheaf -- make a coherent sheaf
• sheafHom, see sheafHom(CoherentSheaf,CoherentSheaf) -- sheaf Hom
• show -- display various TeX, hypertext, or a URL, in an external application
• singularLocus -- singular locus
• size -- the size of an object
• solve -- solve a linear equation
• someTerms -- select some terms of a polynomial
• source -- source of a map
• Spec, see Spec(Ring) -- make an affine variety
• standardForm -- convert to standard form
• standardPairs -- find the standard pairs of a monomial ideal
• sublists -- process interspersed sublists of a list
• submatrix
• submatrix' -- missing documentation
• subquotient -- make a subquotient module
• subsets -- produce all the subsets
• substitute -- substituting values for variables
• sum -- compute the sum
• super -- get the ambient module
• support -- list of variables occuring in a polynomial
• sylvesterMatrix, see sylvesterMatrix(RingElement,RingElement,RingElement)
• symmetricPower -- symmetric power
• target -- target of a map
• tensorAssociativity -- associativity isomorphisms for tensor products
• terms -- provide a list of terms of a polynomial
• TEST -- package item: register a test of the package
• topCoefficients -- first variable and its coefficient of a polynomial or matrix
• topComponents -- compute top dimensional component
• trace, see trace(Matrix) -- trace of a matrix
• truncate -- truncate the module at a specified degree
• truncateOutput
• tryHooks, see tryHooks(HashTable,Thing,Thing) -- try the hook functions stored in an object
• ultimate -- ultimate value for an iteration
• unbag, see unbag(Bag)
• use -- install or activate object
• validate, see validate(Hypertext)
• value -- evaluate
• variety -- get the variety
• wedgeProduct, see wedgeProduct(ZZ,ZZ,Module) -- the exterior multiplication map
• weightRange -- the pair of lowest and highest weights of the monomials
• width -- width of a file or net

For the programmer

The object MethodFunction is a type, with ancestor classes CompiledFunctionClosure < Function < Thing.