MethodFunctionWithOptions -- a type of method function

Fixed 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
• analyticSpread -- Compute the analytic spread of a module or ideal
• annihilator -- the annihilator ideal
• associatedPrimes -- find associated primes
• basis -- basis or generating set of all or part of a ring, ideal or module
• betti -- display or modify a Betti diagram
• canonicalBundle (missing documentation)
• capture -- evaluate Macaulay2 code and capture the output
• check -- perform tests of a package
• checkDegrees -- compares the degrees of generators of two modules
• codim -- compute the codimension
• coefficients -- monomials and their coefficients
• cohomology -- general cohomology functor
• compose -- composition as a pairing on Hom-modules
• conwayPolynomial -- provide a Conway polynomial
• copyDirectory -- see copyDirectory(String,String)
• copyFile -- see copyFile(String,String)
• cotangentSheaf -- cotangent sheaf of a projective variety
• decompose
• determinant -- determinant of a matrix
• discriminant -- see discriminant(RingElement,RingElement)
• distinguished -- Compute the distinguished subvarieties of a pullback, intersection or cone
• dual -- dual module or map
• eigenvalues -- find eigenvalues of a matrix
• eigenvectors -- find eigenvectors of a matrix over RR or CC
• extend -- extend a module map to a chain map, if possible
• 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
• fromDual -- Ideal from inverse system
• gb -- compute a Gröbner basis
• gcdLLL -- compute the gcd of integers, and small multipliers
• 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 -- see Grassmannian(ZZ,ZZ) -- the Grassmannian of linear subspaces of a vector space
• groebnerBasis -- Gröbner basis, as a matrix
• hermite (missing documentation)
• 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
• icFracP -- compute the integral closure in prime characteristic
• idealizer -- compute Hom(I,I) as a quotient ring
• 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
• integralClosure -- integral closure of an ideal or a domain
• intersectInP -- Compute distinguished varieties for an intersection in A^n or P^n
• intersection -- compute an intersection
• interval -- construct an interval
• inverseSystem -- Inverse systems with equivariance
• isIsomorphic -- Probabilistic test for isomorphism of modules
• isLinearType -- Determine whether module has linear type
• isLLL -- is a basis an LLL basis?
• isPrimary -- determine whether a submodule is primary
• isPrime -- whether a integer or polynomial is prime
• isPseudoprime -- see isPseudoprime(ZZ) -- whether an integer is probably prime
• isReduction -- Determine whether an ideal is a reduction
• jacobianDual -- Computes the 'jacobian dual', part of a method of finding generators for Rees Algebra ideals
• kernel -- kernel of a ringmap, matrix, or chain complex
• kernelLLL (missing documentation)
• lift -- lift to another ring
• LLL -- compute an LLL basis
• loadPackage -- load a package
• localize -- localize an ideal at a prime ideal
• makeS2 -- compute the S2ification of a reduced ring
• 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
• minimalPrimes -- minimal primes of an ideal
• minimalReduction -- Find a minimal reduction of an ideal
• minors -- see minors(ZZ,Matrix) -- ideal generated by minors
• modulo -- see modulo(Matrix,Matrix) -- 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)
• multiplicity -- Compute the Hilbert-Samuel multiplicity of an ideal
• mutableIdentity -- see mutableIdentity(Ring,ZZ) -- make a mutable identity matrix
• mutableMatrix -- make a mutable matrix
• needsPackage -- load a package if not already loaded
• netList -- see netList(VisibleList) -- a table of boxes
• newPackage -- the preamble of a package
• newRing -- make a copy of a ring, with some features changed
• normalCone -- The normal cone of a subscheme
• oeis -- OEIS lookup
• polarize -- given a monomial ideal, computes the squarefree monomial ideal obtained via polarization
• position -- the first element of a list satisfying a condition
• primaryComponent -- find a primary component corresponding to an associated prime
• primaryDecomposition -- irredundant primary decomposition of an ideal
• prune -- prune, e.g., compute a minimal presentation
• pullback -- compute the pullback morphism
• pushForward -- see pushForward(RingMap,Module)
• quotient -- quotient or division
• radical -- the radical of an ideal
• radicalContainment -- whether an element is contained in the radical of an ideal
• random -- get a random object
• randomMutableMatrix -- see randomMutableMatrix(ZZ,ZZ,RR,ZZ) -- a random mutable matrix of integers
• readPackage -- read the package preamble
• reesAlgebra -- Compute the defining ideal of the Rees Algebra
• reesIdeal -- Compute the defining ideal of the Rees Algebra
• regex -- evaluate a regular expression search
• regSeqInIdeal -- a regular sequence contained in an ideal
• regularity -- compute the Castelnuovo-Mumford regularity
• replace -- replacement in strings and lists
• resolution -- projective resolution
• resultant -- see resultant(RingElement,RingElement,RingElement)
• ringFromFractions -- find presentation for f.g. ring
• 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 -- see Schubert(ZZ,ZZ,VisibleList) -- find 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
• separateRegexp -- see separate -- split a string into substrings using a regular expression
• sheafHom -- sheaf Hom
• simpleDocFrob -- a sample documentation node
• smithNormalForm -- see smithNormalForm(Matrix) -- smith normal form for a matrix over ZZ or a PID
• solve -- solve linear equation(s)
• sort -- sort a list or columns of a matrix
• sortColumns -- permutation giving sort order
• specialFiber -- Special fiber of a blowup
• specialFiberIdeal -- Special fiber of a blowup
• status -- status of a resolution 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
• symmetricAlgebraIdeal -- Ideal of the symmetric algebra of an ideal or module
• symmetricKernel -- Compute the Rees ring of the image of a matrix
• syz -- the syzygy matrix
• tangentCone -- see tangentCone(Ideal)
• tangentSheaf -- tangent sheaf of a projective variety
• TEST -- add a test for a package
• toDual -- finds the inverse system to an ideal up to a given degree
• 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.