MethodFunctionWithOptions -- a type of method function

Protected objects of class MethodFunctionWithOptions:

• about -- search the documentation
• addHook -- add a hook function to an object for later processing
• adjoint -- the tensor-Hom adjunction maps
• annihilator -- the annihilator ideal
• basis -- basis or generating set of all or part of a ring, ideal or module
• betti -- display or modify a Betti diagram
• capture -- evaluate Macaulay2 code and capture the output
• check -- perform tests of a package
• codim -- compute the codimension
• coefficients -- get the monomials and coefficients of a polynomial or matrix
• cohomology -- general cohomology functor
• compose -- composition as a pairing on Hom-modules
• copyDirectory -- see copyDirectory(String,String)
• copyFile -- see copyFile(String,String)
• decompose
• determinant -- determinant of a matrix
• dual -- dual module or map
• eigenvalues -- find eigenvalues of a matrix
• eigenvectors -- find eigenvectors of a matrix over real or complex numbers
• extend -- extend an object
• exteriorPower -- exterior power
• factor -- factor a ring element or a ZZ-module
• fillMatrix -- fill a mutable matrix with random numbers
• findFiles -- find files recursively
• findHeft -- find a heft vector for a list of degrees
• findProgram -- load external program
• flattenRing -- write a ring as a (quotient of a) polynomial ring
• forceGB -- declare that the columns of a matrix are a Gröbner basis
• gb -- compute a Gröbner basis
• generators -- provide matrix or list of generators
• getPrimeWithRootOfUnity -- find a prime p with a primitive n-th root of unity r in ZZ/p
• GF -- make a finite field
• graphIdeal -- see graphIdeal(RingMap) -- the ideal of the graph of the regular map corresponding to a ring map
• graphRing -- see graphRing(RingMap) -- the coordinate ring of the graph of the regular map corresponding to a ring map
• Grassmannian -- compute the ideal of the Grassmannian of linear subspaces of a vector space
• groebnerBasis -- Gröbner basis, as a matrix
• hilbertPolynomial -- compute the Hilbert polynomial
• hilbertSeries -- compute the Hilbert series
• Hom -- module of homomorphisms
• homology -- general homology functor
• homomorphism' -- get the element of Hom from a homomorphism
• independentSets -- some size-maximal independent subsets of variables modulo an ideal
• inducedMap -- compute an induced map
• installPackage -- load and install a package and its documentation
• interval -- construct an interval
• isExact
• isPrime -- whether a integer or polynomial is prime
• isPseudoprime -- see isPseudoprime(ZZ) -- whether an integer is probably prime
• isSmooth
• isVeryAmple
• kernel -- kernel of a map
• lift -- lift to another ring
• loadPackage -- load a package
• map -- make a map
• markedGB -- see markedGB(Matrix,Matrix) -- make a marked Gröbner basis
• match -- regular expression matching
• matrix -- make a matrix
• mingens -- minimal generator matrix
• minimalBetti -- minimal betti numbers of (the minimal free resolution of) a homogeneous ideal or module
• minimalPresentation -- compute a minimal presentation
• minors -- see minors(ZZ,Matrix) -- ideal generated by minors
• modulo -- find the pre-image (pullback) of image of a map (low level version)
• monomials -- matrix of monomials in a ring element or matrix
• moveFile -- see moveFile(String,String)
• mutableIdentity -- see mutableIdentity(Ring,ZZ) -- make a mutable identity matrix
• mutableMatrix -- make a mutable matrix
• needsPackage -- load a package if not already loaded
• netList -- a table of boxes
• newRing -- make a copy of a ring, with some features changed
• normalCone
• parallelApply -- apply a function to each element in parallel
• polarize -- compute the polarization of a monomial ideal
• position -- the first element of a list satisfying a condition
• prune -- prune, e.g., compute a minimal presentation
• pullback -- compute the pullback morphism
• pushForward -- see pushForward(RingMap,Module) -- compute the pushforward of a module along a ring map
• quotient -- quotient or division
• quotient' -- factor a map through another with the same source
• random -- get a random object
• randomMutableMatrix -- see randomMutableMatrix(ZZ,ZZ,RR,ZZ) -- a random mutable matrix of integers
• rays -- 1-dimensional cones of a fan or polyhedral object
• readPackage -- read the package preamble
• regex -- evaluate a regular expression search
• regularity -- compute the Castelnuovo-Mumford regularity
• replace -- replacement in strings and lists
• roots -- see roots(RingElement) -- compute the roots of a polynomial
• rsort -- sort a list or matrix in reverse order
• runHooks -- run the hook functions stored in an object
• runProgram -- run an external program
• saturate -- saturation of ideal or submodule
• Schubert -- compute the Plücker ideal of a Schubert variety
• select -- select from a list, hash table, or string
• separate -- split a string into substrings using a regular expression
• smithNormalForm -- see smithNormalForm(Matrix) -- smith normal form for a matrix over a PID
• solve -- solve linear equation(s)
• sort -- sort a list or columns of a matrix
• sortColumns -- permutation giving sort order
• status -- get the status of a computation
• SVD -- singular value decomposition of a matrix
• symlinkDirectory -- see symlinkDirectory(String,String) -- make symbolic links for all files in a directory tree
• symmetricAlgebra -- the symmetric algebra of a module
• syz -- the syzygy matrix
• trim -- minimize generators and relations
• truncate
• uninstallPackage -- uninstall a package and remove its documentation

For the programmer

The object MethodFunctionWithOptions is a type, with ancestor classes FunctionClosure < Function < Thing.

The source of this document is in Macaulay2Doc/ov_methods.m2:584:0.