MethodFunction -- a type of method function

Protected objects of class MethodFunction:

• abs -- absolute value function
• accumulate -- apply a binary operator repeatedly
• acos -- arccosine
• acosh -- inverse hyperbolic cosine
• acot -- compute the inverse cotangent
• acoth -- compute the hyperbolic arctangent of a number
• adjoint' -- see adjoint -- the tensor-Hom adjunction maps
• agm -- arithmetic-geometric mean
• all -- whether all elements satisfy a specified condition
• ambient -- ambient free module of a subquotient, or ambient ring
• antipode -- antipode for skew commuting polynomial rings
• apropos -- symbols matching a pattern
• asin -- arcsine
• asinh -- inverse hyperbolic sine
• assert -- check whether something is true, raise an error if not
• atan -- compute the arctangent of a number
• atan2 -- compute an angle of a certain triangle
• atanh -- compute the hyperbolic arctangent of a number
• autoload -- arrange for a function to be loaded automatically
• baseName -- the base name of a generator
• baseRing -- produce the ring from which a ring was formed
• BesselJ -- Bessel function of the first kind
• BesselY -- Bessel function of the second kind
• Beta -- Beta function
• between -- insert something between elements of a list
• binomial -- binomial coefficient
• borel -- see borel(Matrix) -- make a Borel fixed submodule
• ceiling -- ceiling function
• changeBase -- change integer base
• char -- get the characteristic of the ring or field
• chi
• clean -- set to zero elements that are approximately zero
• coefficient -- coefficient of a monomial
• coefficientRing -- get the coefficient ring
• coimage -- coimage of a map
• cokernel -- cokernel of a map
• columnAdd -- add a multiple of one column to another
• columnMult -- multiply a column by a ring element
• columnPermute -- permute some columns
• columnRankProfile -- find the column rank profile of a mutable matrix
• columnSwap -- interchange columns
• commonRing -- find smallest containing ring
• comodule -- submodule to quotient module
• compareExchange -- compare and possibly exchange the value of an atomic integer
• complement -- find the minimal generators for cokernel of a matrix (low level form)
• complete
• components -- list the components of a direct sum
• compositions -- list the compositions of an integer
• compress -- extract nonzero columns from a matrix
• cone -- mapping cone or polyhedral cone
• conjugate -- complex conjugate
• content -- 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
• cos -- compute the cosine
• cosh -- compute the hyperbolic cosine
• cot -- cotangent
• coth -- hyperbolic cotangent
• cover -- get the covering free module
• coverMap -- see coverMap(Module) -- the surjective map from a free module to a module corresponding to the generators
• csc -- cosecant
• csch -- hyperbolic cosecant
• debug -- assistant for debugging packages, dictionaries, etc
• default -- default member of a family
• degree
• degreeGroup -- the degree group of a ring or monoid
• degreeLength -- the length of the degree vector
• degrees -- degrees of generators
• degreesMonoid -- see degreesRing -- the ring or monoid of degrees
• degreesRing -- the ring or monoid of degrees
• delete -- delete some elements of a list
• denominator -- denominator of a fraction
• depth -- depth of an object
• diagonalMatrix -- make a diagonal matrix
• diameter -- diameter of an interval
• 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
• Digamma -- Digamma function
• dim -- compute the Krull dimension
• dismiss -- dismiss a package
• divideByVariable -- divide all columns by a (power of a) variable
• eagonNorthcott -- Eagon-Northcott complex of a matrix of linear forms
• eint -- exponential integral
• elements -- list of elements
• endPackage -- end a new package
• entries -- get the entries of a matrix
• erf -- error function
• erfc -- complementary error function
• euler
• eulers
• exchange -- exchange the value of an atomic integer
• exp -- exponential function
• expm1 -- exponential minus 1
• exponents -- the exponents of a polynomial
• exportFrom -- export symbols from a package's private dictionary
• Fano -- compute the ideal of a Fano scheme in the Grassmannian
• findSynonyms -- see findSynonyms(Symbol) -- find synonyms of symbols
• fittingIdeal -- Fitting ideal of a module
• flip -- isomorphism map of commutativity of tensor product
• floor -- floor function
• fold -- apply a binary operator repeatedly
• formation -- recover the methods used to make a module
• frac -- construct a fraction field
• fraction
• Gamma -- Gamma function
• gbRemove -- remove Gröbner basis
• gbSnapshot -- the Gröbner basis matrix as so far computed
• gcdCoefficients -- greatest common divisor with coefficients
• genera
• generateAssertions -- generate assert statements from experimental input
• generator -- provide a single generator
• genericMatrix -- make a generic matrix of variables
• genericSkewMatrix -- make a generic skew symmetric matrix of variables
• genericSymmetricMatrix -- make a generic symmetric matrix
• genus
• getChangeMatrix -- get the change of basis matrix
• getWWW -- get a web page
• headlines -- display a table of documentation headlines
• heft -- heft vector of ring or monoid
• height -- height of an object
• homogenize -- homogenize with respect to a variable
• homomorphism -- get the homomorphism from element of Hom
• httpHeaders -- see httpHeaders(String) -- prepend http headers to a string
• image -- image of a map
• imaginaryPart -- imaginary part
• importFrom -- import symbols to the current private dictionary
• 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
• insert -- copy a list, inserting an element
• installAssignmentMethod -- see installing assignment methods -- install methods assignment to the value of an operator
• instances
• integrate -- numerical integration
• inverse -- compute the inverse
• inverseErf -- inverse error function
• inversePermutation -- inverse permutation
• inverseRegularizedBeta -- inverse of the regularized beta function
• inverseRegularizedGamma -- inverse of the upper regularized gamma function
• irreducibleCharacteristicSeries -- irreducible characteristic series of an ideal
• 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
• isEmpty -- whether an object is empty
• isField -- whether something is a field
• isFinite -- whether a number is finite
• isFinitePrimeField -- whether a ring is a finite prime field
• isFreeModule -- whether something is a free module
• isHomogeneous -- whether something is homogeneous (graded)
• isIdeal -- whether something is an ideal
• isInfinite -- whether a number is infinite
• isInjective -- whether a map is injective
• isIsomorphism -- whether a map is an isomorphism
• isMember -- test membership in a list or set
• isModule -- whether something is a module
• isMonomialIdeal -- whether something is a monomial ideal
• isNormal
• isPolynomialRing -- whether something is a polynomial ring
• 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
• isReal -- whether a number is real
• 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 -- see isSubquotient(Module,Module) -- check whether a module is a subquotient of another
• 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 -- Koszul complex or specific matrix in the Koszul complex
• leadCoefficient -- the coefficient of the leading term
• leadComponent -- the leading component(s) of a vector or matrix
• leadMonomial -- the leading monomial of a ring element
• leadTerm -- get the greatest term
• left -- left endpoint of an interval
• liftable -- whether lifting to another ring is possible
• listForm -- convert to list form
• listSymbols -- compact display of symbols and their values
• lngamma -- logarithm of the Gamma function
• lock -- lock a mutex
• log -- logarithm function
• log1p -- logarithm of 1+x
• lowerLeft (missing documentation)
• lowerRight (missing documentation)
• LUdecomposition -- compute the LU decomposition of a matrix
• makeDirectory -- see makeDirectory(String) -- make a directory
• memoize -- record results of function evaluation for future use
• methodOptions -- see methodOptions(Function) -- recover the options used when a method function was created
• midpoint -- midpoint of an interval
• minimize
• module -- make or get a module
• monomialSubideal -- find the largest monomial ideal in an ideal
• multidegree -- multidegree
• multigraded -- convert a Betti tally into a multigraded Betti tally
• newCoordinateSystem -- change variables
• next -- get the next object from an iterator
• nextPrime -- compute the smallest prime greater than or equal to a given number
• norm -- l^p norm
• nullhomotopy
• nullSpace -- find the null space of a mutable matrix
• numColumns -- see numColumns(Matrix) -- number of columns in a matrix or mutable matrix
• numerator -- numerator of a fraction
• numeric -- convert to floating point
• numericInterval -- convert a constant to an interval
• numgens -- the number of generators
• numRows -- see numRows(Matrix) -- number of rows in a matrix or mutable matrix
• ofClass -- English phrases for types
• pack -- pack elements of a list or string into several shorter lists or strings
• pad -- pad a string or net with spaces
• part -- select terms of a polynomial by degree(s) or weight(s)
• partition -- partition a set or list by values of a function
• partitions -- list the partitions of an integer
• parts -- display terms of a polynomial degree by degree
• pdim -- compute the projective dimension
• peek' -- examine contents of an object
• permanents -- ideal generated by square permanents of a matrix
• permutations -- produce all permutations of a list
• pfaffian -- Pfaffian of a skew-symmetric matrix
• pfaffians -- ideal generated by Pfaffians
• pivots -- see pivots(Matrix) -- list of pivot locations of a matrix
• installHilbertFunction -- see poincare -- assemble degrees of a ring, module, or ideal into a polynomial
• poincare -- assemble degrees of a ring, module, or ideal into a polynomial
• poincareN -- assemble degrees into polynomial
• polylog -- polylogarithm function
• positions -- which elements of a list satisfy a condition
• precision
• preimage -- preimage of a map
• presentation -- presentation of a module or ring
• product
• projectiveHilbertPolynomial -- Hilbert polynomial of projective space
• promote -- promote to another ring
• pseudoRemainder -- compute the pseudo-remainder
• pushout -- compute the pushout morphism
• QRDecomposition -- compute a QR decomposition of a real matrix
• quotientRemainder -- matrix quotient and remainder
• quotientRemainder' -- matrix quotient and remainder (opposite)
• randomElement -- select a random element of a list
• randomKRationalPoint -- pick a random K rational point on the scheme X defined by I
• randomSubset
• rank -- compute the rank
• realPart -- real part
• reducedRowEchelonForm -- compute the reduced row echelon form of a matrix or mutable matrix over a field
• reduceHilbert -- reduce a Hilbert series expression
• registerFinalizer -- register a string that will be displayed when an object is garbage collected
• regularizedBeta -- regularized beta function
• regularizedGamma -- upper regularized gamma function
• relations -- the defining relations
• remainder -- matrix remainder
• remainder' -- matrix remainder (opposite)
• reshape -- reshape a matrix
• right -- right endpoint of an interval
• ring -- get the associated ring of an object
• rotate -- rotate a list
• round -- round a number
• rowAdd -- add a multiple of one row to another
• rowMult -- multiply a row by a ring element
• rowPermute -- permute some rows
• rowRankProfile -- find the row rank profile of a mutable matrix
• rowSwap -- interchange rows
• scanKeys -- apply a function to each key in a hash table or database
• scanLines -- apply a function to each line of a file
• scanValues -- apply a function to each value in a hash table or database
• schreyerOrder -- create or obtain free modules with Schreyer monomial orders
• searchPath -- see searchPath(List,String) -- search a path for a file
• sec -- secant
• sech -- hyperbolic secant
• selectInSubring -- select columns in a subring
• selectKeys -- select a part of a hash table by keys
• selectValues -- select part of a hash table by values
• selectVariables -- make a subring of a polynomial ring generated by selected variables
• setup
• setupEmacs
• setupLift -- set up lift from one ring to another
• setupPromote -- set up promote from one ring to another
• show -- display various objects in an external viewer
• shuffle -- shuffle a list randomly
• sign -- sign (signum) function
• sin -- compute the sine
• singularLocus -- singular locus
• sinh -- compute the hyperbolic sine
• size -- the size of an object
• someTerms -- select some terms of a polynomial
• source -- source of a map
• splitWWW -- separate an http response into header and body
• sqrt -- square root function
• standardForm -- convert to standard form
• standardPairs -- find the standard pairs of a monomial ideal
• store -- store the value of an atomic integer
• sublists -- process interspersed subsequences of a visible list
• submatrix -- select part of a matrix
• submatrix' -- exclude rows and/or columns of a matrix
• submatrixByDegrees -- submatrix consisting of rows and columns in an interval or box of degrees
• subquotient -- make a subquotient module
• subsets -- produce the subsets of a set or list
• substitute -- substituting values for variables
• sum -- compute the sum
• super -- get the ambient module
• support -- list of variables occurring in a polynomial or matrix
• switch -- copy a list, switching two elements
• symmetricPower -- symmetric power
• tan -- compute the tangent
• tanh -- compute the hyperbolic tangent
• target -- target of a map
• tensorAssociativity -- associativity isomorphisms for tensor products
• terms -- provide a list of terms of a polynomial
• tests -- locate a package's tests
• toField -- see toField(Ring) -- declare that a ring is a field
• topCoefficients -- first variable and its coefficient of a polynomial or matrix
• trace -- see trace(Matrix) -- trace of a matrix
• truncateOutput
• tryLock -- try locking a mutex
• ultimate -- ultimate value for an iteration
• unbag
• uniquePermutations -- produce all unique permutations of a list
• unlock -- unlock a mutex
• upperLeft (missing documentation)
• upperRight (missing documentation)
• urlEncode -- URL encoding
• value -- evaluate
• vector -- make a vector
• wedgeProduct -- see wedgeProduct(ZZ,ZZ,Module) -- the exterior multiplication map
• weightRange -- the pair of lowest and highest weights of the monomials
• isWeylAlgebra -- see Weyl algebras
• width -- width of an object
• zeta -- Riemann zeta function

For the programmer

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

The source of this document is in /__w/M2/M2/macaulay2-1.26.05+ds/M2/Macaulay2/packages/Macaulay2Doc/ov_methods.m2:582:0.