Matrix -- the class of all matrices

Functions and methods returning a matrix :

• Matrix + Matrix -- see + -- a unary or binary operator, usually used for addition
• - Matrix -- see - -- a unary or binary operator, usually used for negation or subtraction
• Matrix - Matrix -- see - -- a unary or binary operator, usually used for negation or subtraction
• adjoint'(Matrix,Module,Module) -- see adjoint -- the tensor-Hom adjunction maps
• adjoint(Matrix,Module,Module) -- see adjoint -- the tensor-Hom adjunction maps
• ambient(Matrix) -- get the map between the ambient free modules
• basis -- basis or generating set of all or part of a ring, ideal or module
• borel(Matrix) -- make a Borel fixed submodule
• ChainComplexMap _ ZZ -- component map
• GradedModuleMap _ ZZ -- see ChainComplexMap _ ZZ -- component map
• complement(Matrix) -- find the minimal generators for cokernel of a matrix (low level form)
• compose(Module,Module,Module) -- see compose -- composition as a pairing on Hom-modules
• compress(Matrix) -- see compress -- extract nonzero columns from a matrix
• contract'(Matrix,Matrix) -- contract a matrix by a matrix, the dual notion
• contract(Matrix,Matrix) -- contract a matrix by a matrix
• cover(Matrix) -- get the map between the covering free modules
• coverMap(Module) -- the surjective map from a free module to a module corresponding to the generators
• diagonalMatrix -- make a diagonal matrix
• diff'(Matrix,Matrix) -- differentiate a matrix by a matrix, the dual notion
• diff(Matrix,Matrix) -- differentiate a matrix by a matrix
• divideByVariable(Matrix,RingElement) -- see divideByVariable -- divide all columns by a (power of a) variable
• divideByVariable(Matrix,RingElement,ZZ) -- see divideByVariable -- divide all columns by a (power of a) variable
• dual(Matrix) -- dual of a map
• effGenerators (missing documentation)
• Ext^ZZ(CoherentSheaf,SheafMap) (missing documentation)
• Ext^ZZ(Matrix,Ideal) -- see Ext^ZZ(Matrix,Module) -- map between Ext modules
• Ext^ZZ(Matrix,Module) -- map between Ext modules
• Ext^ZZ(Matrix,Ring) -- see Ext^ZZ(Matrix,Module) -- map between Ext modules
• Ext^ZZ(Ideal,Matrix) -- see Ext^ZZ(Module,Matrix) -- map between Ext modules
• Ext^ZZ(Module,Matrix) -- map between Ext modules
• Ext^ZZ(Ring,Matrix) (missing documentation)
• exteriorPower(ZZ,Matrix) -- exterior power of a matrix
• flatten(Matrix) -- see flatten -- flatten a nested list or a matrix
• flip(Module,Module) -- see flip -- isomorphism map of commutativity of tensor product
• generators(GroebnerBasis) -- the generator matrix of a Gröbner basis
• generators(Ideal) -- the generator matrix of an ideal
• generators(Module) -- the generator matrix of a module
• genericMatrix -- make a generic matrix of variables
• genericSkewMatrix -- make a generic skew symmetric matrix of variables
• genericSymmetricMatrix -- make a generic symmetric matrix
• getChangeMatrix(GroebnerBasis) -- see getChangeMatrix -- get the change of basis matrix
• groebnerBasis -- Gröbner basis, as a matrix
• HH^ZZ ChainComplexMap -- cohomology of a chain complex map
• HH^ZZ SheafMap (missing documentation)
• HH^ZZ(ProjectiveVariety,SheafMap) (missing documentation)
• HH_ZZ ChainComplexMap -- homology of a chain complex map
• Hom(Matrix,Matrix) -- see Hom(Module,Matrix) -- induced map on Hom
• Hom(Matrix,Module) -- see Hom(Module,Matrix) -- induced map on Hom
• Hom(Module,Matrix) -- induced map on Hom
• homogenize(Matrix,RingElement) -- see homogenize -- homogenize with respect to a variable
• homogenize(Matrix,RingElement,List) -- see homogenize -- homogenize with respect to a variable
• homogenize(RingElement,RingElement) -- see homogenize -- homogenize with respect to a variable
• homomorphism(Matrix) -- see homomorphism -- get the homomorphism from element of Hom
• homomorphism'(Matrix) -- see homomorphism' -- get the element of Hom from a homomorphism
• icFractions(Ring) -- see icFractions -- fractions integral over an affine domain
• inducedMap(Module,Module) -- compute the map induced by the identity
• inducedMap(Module,Module,Matrix) -- compute the induced map
• jacobian(Ideal) -- the Jacobian matrix of the generators of an ideal
• jacobian(MonomialIdeal) -- see jacobian(Ideal) -- the Jacobian matrix of the generators of an ideal
• jacobian(Matrix) -- the matrix of partial derivatives of polynomials in a matrix
• jacobian(Ring) -- the Jacobian matrix of the polynomials defining a quotient ring
• jacobian(RingElement) (missing documentation)
• koszul(ZZ,Matrix) -- a differential in a Koszul complex
• leadTerm(Ideal) -- get the ideal of greatest terms
• leadTerm(GroebnerBasis) -- see leadTerm(Matrix) -- get the greatest term of each column
• leadTerm(Matrix) -- get the greatest term of each column
• leadTerm(ZZ,Ideal) -- get the ideal of lead polynomials
• leadTerm(ZZ,Matrix) -- get the matrix of lead polynomials of each column
• lift(Matrix,type of Number) -- see lift -- lift to another ring
• lift(Matrix,type of RingElement) -- see lift -- lift to another ring
• lift(MutableMatrix,type of InexactNumber') (missing documentation)
• lift(MutableMatrix,type of Number) (missing documentation)
• lift(MutableMatrix,type of RingElement) (missing documentation)
• map(Matrix) -- make a matrix with a different degree
• map(Module) -- identity map
• map(Module,Module,Function) -- create a matrix by specifying a function that gives each entry
• map(Module,Module,List) -- create a matrix by giving a sparse or dense list of entries
• map(Module,Module,Matrix) -- create the matrix induced on generators by a given matrix
• map(Module,Module,Number) -- see map(Module,Module,RingElement) -- construct the map induced by multiplication by a ring element on the generators
• map(Module,Module,RingElement) -- construct the map induced by multiplication by a ring element on the generators
• map(Module,Module,ZZ) -- see map(Module,Module,RingElement) -- construct the map induced by multiplication by a ring element on the generators
• map(Module,ZZ,ZZ) -- see map(Module,Module,RingElement) -- construct the map induced by multiplication by a ring element on the generators
• map(Module,Module,RingMap,List) -- see map(Module,Module,RingMap,Matrix) -- homomorphism of modules over different rings
• map(Module,Module,RingMap,Matrix) -- homomorphism of modules over different rings
• map(Module,Nothing,RingMap,List) -- see map(Module,Module,RingMap,Matrix) -- homomorphism of modules over different rings
• map(Module,Nothing,RingMap,Matrix) -- see map(Module,Module,RingMap,Matrix) -- homomorphism of modules over different rings
• map(Module,RingMap) -- see map(Module,Module,RingMap,Matrix) -- homomorphism of modules over different rings
• map(Module,Nothing,List) -- create a matrix by giving a doubly nested list of ring elements
• map(Module,Nothing,Matrix) -- recast a matrix to have a new target, and a free module as source
• map(Module,ZZ,Function) -- create a matrix from a free module by specifying a function that gives each entry
• map(Module,ZZ,List) -- create a matrix by giving a sparse or dense list of entries
• Matrix % GroebnerBasis -- calculate the normal form of ring elements and matrices using a (partially computed) Gröbner basis
• Matrix * Matrix -- matrix multiplication
• Matrix ** Ring -- tensor product
• Ring ** Matrix -- see Matrix ** Ring -- tensor product
• Matrix ++ Matrix -- direct sum of maps
• Matrix ++ RingElement -- see Matrix ++ Matrix -- direct sum of maps
• RingElement ++ Matrix -- see Matrix ++ Matrix -- direct sum of maps
• RingElement ++ RingElement -- see Matrix ++ Matrix -- direct sum of maps
• Matrix // GroebnerBasis -- see Matrix // Matrix -- factor a map through another
• Matrix // Matrix -- factor a map through another
• Matrix // MonomialIdeal -- see Matrix // Matrix -- factor a map through another
• RingElement // GroebnerBasis -- see Matrix // Matrix -- factor a map through another
• Matrix ^ Array -- component of map corresponding to summand of target
• Matrix ^ List -- select rows
• Matrix ^ ZZ -- power
• Matrix _ Array -- component of map corresponding to summand of source
• Matrix _ List -- select columns
• Matrix | Matrix -- join matrices horizontally
• RingElement | RingElement -- see Matrix | Matrix -- join matrices horizontally
• Matrix || Matrix -- join matrices vertically
• RingElement || RingElement -- see Matrix || Matrix -- join matrices vertically
• matrix(List) -- create a matrix from a doubly-nested list of ring elements or matrices
• matrix(Matrix) -- the matrix between generators
• matrix(Ring,List) -- create a matrix from a doubly nested list of ring elements or matrices
• matrix(RingFamily,List) -- see matrix(Ring,List) -- create a matrix from a doubly nested list of ring elements or matrices
• matrix(SheafMap) (missing documentation)
• matrix(String) -- make a matrix using classic Macaulay syntax
• Matrix % Ideal -- see methods for normal forms and remainder -- normal form of ring elements and matrices
• Matrix % Matrix -- see methods for normal forms and remainder -- normal form of ring elements and matrices
• Matrix % Module -- see methods for normal forms and remainder -- normal form of ring elements and matrices
• Matrix % MonomialIdeal -- see methods for normal forms and remainder -- normal form of ring elements and matrices
• mingens(GroebnerBasis) -- (partially constructed) minimal generator matrix
• mingens(Ideal) -- see mingens(Module) -- minimal generator matrix
• mingens(Module) -- minimal generator matrix
• minimalPresentation(Matrix) -- minimally present source and target of a matrix
• prune(Matrix) -- see minimalPresentation(Matrix) -- minimally present source and target of a matrix
• Module ^ Array -- projection onto summand
• Module ^ List -- projection onto summand
• Module _ Array -- inclusion from summand
• Module _ List -- map from free module to some generators
• modulo(Matrix,Matrix) -- find the pre-image (pullback) of image of a map (low level version)
• modulo(Matrix,Nothing) -- see modulo(Matrix,Matrix) -- find the pre-image (pullback) of image of a map (low level version)
• modulo(Nothing,Matrix) -- see modulo(Matrix,Matrix) -- find the pre-image (pullback) of image of a map (low level version)
• MutableMatrix ^ List (missing documentation)
• MutableMatrix _ List (missing documentation)
• nefGenerators (missing documentation)
• presentation(Module) -- presentation of a module
• presentation(QuotientRing) -- see presentation(PolynomialRing,QuotientRing) -- presentation of a quotient ring
• quotient'(Matrix,Matrix) -- see quotient' -- matrix quotient (opposite)
• quotient(Matrix,GroebnerBasis) -- matrix quotient
• quotient(Matrix,Matrix) -- see quotient(Matrix,GroebnerBasis) -- matrix quotient
• quotientRemainder(Matrix,GroebnerBasis) -- see quotientRemainder -- matrix quotient and remainder
• quotientRemainder(Matrix,Matrix) -- see quotientRemainder -- matrix quotient and remainder
• quotientRemainder'(Matrix,Matrix) -- see quotientRemainder' -- matrix quotient and remainder (opposite)
• random(Module,Module) -- make a random module map
• rays(Matrix)
• relations(Module) -- see relations -- the defining relations
• remainder(Matrix,GroebnerBasis) -- see remainder -- matrix remainder
• remainder(Matrix,Matrix) -- see remainder -- matrix remainder
• remainder'(Matrix,Matrix) -- see remainder' -- matrix quotient and remainder (opposite)
• reshape(Module,Module,Matrix) -- see reshape -- reshape a matrix
• RingMap Matrix -- see RingMap RingElement -- apply a ring map
• schreyerOrder(Matrix) -- create a matrix with the same entries whose source free module has a Schreyer monomial order
• schreyerOrder(Module) -- obtain Schreyer order information
• selectInSubring(ZZ,Matrix) -- see selectInSubring -- select columns in a subring
• submatrix
• submatrix' -- exclude rows and/or columns of a matrix
• substitute(Matrix,List) -- see substitute -- substituting values for variables
• substitute(Matrix,Matrix) -- see substitute -- substituting values for variables
• substitute(Matrix,Ring) -- see substitute -- substituting values for variables
• substitute(Matrix,RingFamily) -- see substitute -- substituting values for variables
• substitute(Matrix,ZZ) -- see substitute -- substituting values for variables
• sum(ChainComplexMap) -- direct sum of the components of a chain map
• super(Matrix) -- see super -- get the ambient module
• sylvesterMatrix -- see sylvesterMatrix(RingElement,RingElement,RingElement)
• symmetricPower(ZZ,Matrix) -- see symmetricPower -- symmetric power
• syz -- the syzygy matrix
• syz(GroebnerBasis) -- retrieve the syzygy matrix
• syz(Matrix) -- compute the syzygy matrix
• Matrix ** Matrix -- see tensor(Matrix,Matrix) -- tensor product
• tensor(Matrix,Matrix) -- tensor product
• Matrix ** Module -- see tensor(Matrix,Module) -- tensor product
• Module ** Matrix -- see tensor(Matrix,Module) -- tensor product
• tensor(Matrix,Module) -- tensor product
• tensor(Module,Matrix) -- see tensor(Matrix,Module) -- tensor product
• RingMap ** Matrix -- see tensor(RingMap,Matrix) -- tensor product via a ring map
• tensor(RingMap,Matrix) -- tensor product via a ring map
• tensorAssociativity(Module,Module,Module) -- see tensorAssociativity -- associativity isomorphisms for tensor products
• toDual(ZZ,Ideal) -- see toDual -- finds the inverse system to an ideal up to a given degree
• toDual(ZZ,Matrix) -- see toDual -- finds the inverse system to an ideal up to a given degree
• Tor_ZZ(Matrix,Module)
• Tor_ZZ(Module,Matrix)
• transpose(Matrix) -- transpose a matrix
• truncate(List,Matrix) -- truncation of a map of free modules
• vars(Ring) -- row matrix of the variables
• versalEmbedding(Ideal) -- see versalEmbedding -- Compute a versal embedding
• versalEmbedding(Module) -- see versalEmbedding -- Compute a versal embedding
• wedgeProduct(ZZ,ZZ,Module) -- the exterior multiplication map

Methods that use a matrix :

• Matrix * Number -- see * -- a binary operator, usually used for multiplication
• Matrix * RingElement -- see * -- a binary operator, usually used for multiplication
• Matrix * Vector -- see * -- a binary operator, usually used for multiplication
• Number * Matrix -- see * -- a binary operator, usually used for multiplication
• RingElement * Matrix -- see * -- a binary operator, usually used for multiplication
• Matrix + Number -- see + -- a unary or binary operator, usually used for addition
• Matrix + RingElement -- see + -- a unary or binary operator, usually used for addition
• Number + Matrix -- see + -- a unary or binary operator, usually used for addition
• RingElement + Matrix -- see + -- a unary or binary operator, usually used for addition
• Matrix - Number -- see - -- a unary or binary operator, usually used for negation or subtraction
• Matrix - RingElement -- see - -- a unary or binary operator, usually used for negation or subtraction
• Number - Matrix -- see - -- a unary or binary operator, usually used for negation or subtraction
• RingElement - Matrix -- see - -- a unary or binary operator, usually used for negation or subtraction
• Matrix // Number -- see // -- a binary operator, usually used for quotient
• Number // Matrix -- see // -- a binary operator, usually used for quotient
• Matrix == Matrix -- see == -- equality
• Matrix == Number -- see == -- equality
• Matrix == RingElement -- see == -- equality
• Matrix == ZZ -- see == -- equality
• Number == Matrix -- see == -- equality
• RingElement == Matrix -- see == -- equality
• basis(InfiniteNumber,InfiniteNumber,Matrix) -- see basis -- basis or generating set of all or part of a ring, ideal or module
• basis(InfiniteNumber,List,Matrix) -- see basis -- basis or generating set of all or part of a ring, ideal or module
• basis(InfiniteNumber,ZZ,Matrix) -- see basis -- basis or generating set of all or part of a ring, ideal or module
• basis(List,InfiniteNumber,Matrix) -- see basis -- basis or generating set of all or part of a ring, ideal or module
• basis(List,List,Matrix) -- see basis -- basis or generating set of all or part of a ring, ideal or module
• basis(List,Matrix) -- see basis -- basis or generating set of all or part of a ring, ideal or module
• basis(List,ZZ,Matrix) -- see basis -- basis or generating set of all or part of a ring, ideal or module
• basis(ZZ,InfiniteNumber,Matrix) -- see basis -- basis or generating set of all or part of a ring, ideal or module
• basis(ZZ,List,Matrix) -- see basis -- basis or generating set of all or part of a ring, ideal or module
• basis(ZZ,Matrix) -- see basis -- basis or generating set of all or part of a ring, ideal or module
• basis(ZZ,ZZ,Matrix) -- see basis -- basis or generating set of all or part of a ring, ideal or module
• betti(Matrix) -- see betti -- display or modify a Betti diagram
• chainComplex(Matrix) -- make a small chain complex
• checkDegrees(Matrix,Matrix) -- see checkDegrees -- compares the degrees of generators of two modules
• clean(RR,Matrix) -- see clean -- Set to zero elements that are approximately zero
• coefficients(Matrix) -- see coefficients -- monomials and their coefficients
• coimage(Matrix) -- see coimage -- coimage of a map
• cokernel(Matrix) -- see cokernel -- cokernel of a map of modules, graded modules, or chaincomplexes
• components(Matrix) -- see components -- list the components of a direct sum
• contract(Matrix,Number) -- see contract(Matrix,Matrix) -- contract a matrix by a matrix
• contract(Matrix,RingElement) -- see contract(Matrix,Matrix) -- contract a matrix by a matrix
• contract(Matrix,Vector) -- see contract(Matrix,Matrix) -- contract a matrix by a matrix
• contract(Number,Matrix) -- see contract(Matrix,Matrix) -- contract a matrix by a matrix
• contract(RingElement,Matrix) -- see contract(Matrix,Matrix) -- contract a matrix by a matrix
• contract(Vector,Matrix) -- see contract(Matrix,Matrix) -- contract a matrix by a matrix
• degree(Matrix) (missing documentation)
• degrees(Matrix) -- degrees of target and source
• describe(Matrix) -- see describe -- real description
• determinant(Matrix) -- see determinant -- determinant of a matrix
• diagonalMatrix(Matrix) -- make a diagonal matrix from entries of a matrix
• diff(Matrix,Vector) -- see diff(Matrix,Matrix) -- differentiate a matrix by a matrix
• diff(Vector,Matrix) -- see diff(Matrix,Matrix) -- differentiate a matrix by a matrix
• diff(Matrix,RingElement) -- differentiation
• diff(RingElement,Matrix) -- differentiate each entry of a matrix
• directSum(Matrix) -- see directSum -- direct sum of modules or maps
• eagonNorthcott(Matrix) -- Eagon-Northcott complex of a matrix of linear forms
• eigenvalues(Matrix) -- see eigenvalues -- find eigenvalues of a matrix
• eigenvectors(Matrix) -- see eigenvectors -- find eigenvectors of a matrix over RR or CC
• entries(Matrix) -- see entries -- lists the entries of a matrix
• extend(ChainComplex,ChainComplex,Matrix) -- extend a module map to a chain map, if possible
• fittingIdeal(ZZ,Matrix) (missing documentation)
• forceGB(Matrix) -- see forceGB -- declare that the columns of a matrix are a Gröbner basis
• fromDividedPowers(Matrix) -- see fromDividedPowers -- Translates from divided power monomial basis to ordinary monomial basis
• fromDual(Matrix) -- see fromDual -- Ideal from inverse system
• gb(Matrix) -- see gb -- compute a Gröbner basis
• gbRemove(Matrix) -- see gbRemove -- remove Gröbner basis
• gbSnapshot(Matrix) -- see gbSnapshot -- the Gröbner basis matrix as so far computed
• Matrix _ ZZ -- see generators of ideals and modules
• gradedModuleMap(Matrix) -- see gradedModuleMap -- make a map of graded modules
• gramm(Matrix) (missing documentation)
• groebnerBasis(Matrix) -- see groebnerBasis -- Gröbner basis, as a matrix
• hermite(Matrix) (missing documentation)
• homology(Matrix,Matrix) -- homology of a pair of maps
• ideal(Matrix) -- make an ideal
• image(Matrix) -- see image -- image of a map
• indices(Matrix) -- see indices(RingElement) -- indices of variables occurring in a polynomial
• inducedMap(Module,Nothing,Matrix) -- see inducedMap(Module,Module,Matrix) -- compute the induced map
• inducedMap(Nothing,Module,Matrix) -- see inducedMap(Module,Module,Matrix) -- compute the induced map
• inducedMap(Nothing,Nothing,Matrix) -- see inducedMap(Module,Module,Matrix) -- compute the induced map
• inducesWellDefinedMap(Module,Module,Matrix) -- see inducesWellDefinedMap -- whether a map is well defined
• inducesWellDefinedMap(Module,Nothing,Matrix) -- see inducesWellDefinedMap -- whether a map is well defined
• inducesWellDefinedMap(Nothing,Module,Matrix) -- see inducesWellDefinedMap -- whether a map is well defined
• inducesWellDefinedMap(Nothing,Nothing,Matrix) -- see inducesWellDefinedMap -- whether a map is well defined
• InfiniteNumber * Matrix (missing documentation)
• installHilbertFunction(Matrix,RingElement) (missing documentation)
• intersection(Matrix)
• intersection(Matrix,Matrix)
• intersection(Matrix,Matrix,Matrix,Matrix)
• inverse(Matrix) -- compute the inverse
• inverseSystem(Matrix) -- see inverseSystem -- Inverse systems with equivariance
• inverseSystem(ZZ,Matrix) -- see inverseSystem -- Inverse systems with equivariance
• isHomogeneous(Matrix) -- see isHomogeneous -- whether something is homogeneous (graded)
• isInjective(Matrix) -- see isInjective -- whether a map is injective
• isIsomorphic(Matrix,Matrix) -- see isIsomorphic -- Probabilistic test for isomorphism of modules
• isIsomorphism(Matrix) -- see isIsomorphism -- whether a map is an isomorphism
• isLiftable(Matrix,Matrix) (missing documentation)
• isLLL(Matrix) -- see isLLL -- is a basis an LLL basis?
• isSurjective(Matrix) -- see isSurjective -- whether a map is surjective
• isWellDefined(Matrix) -- see isWellDefined -- whether a map is well defined
• jacobianDual(Matrix) -- see jacobianDual -- Computes the 'jacobian dual', part of a method of finding generators for Rees Algebra ideals
• jacobianDual(Matrix,Matrix,Matrix) -- see jacobianDual -- Computes the 'jacobian dual', part of a method of finding generators for Rees Algebra ideals
• kernel(Matrix) -- kernel of a matrix
• kernelLLL(Matrix) (missing documentation)
• koszul(Matrix) -- the Koszul complex
• leadComponent(Matrix) -- see leadComponent -- the leading component(s) of a vector or matrix
• lift(Matrix,type of CC_*,type of QQ) -- see lift -- lift to another ring
• lift(Matrix,type of CC_*,type of RR_*) -- see lift -- lift to another ring
• lift(Matrix,type of CC_*,type of ZZ) -- see lift -- lift to another ring
• lift(Matrix,type of QQ,type of QQ) -- see lift -- lift to another ring
• lift(Matrix,type of QQ,type of ZZ) -- see lift -- lift to another ring
• lift(Matrix,type of RR_*,type of QQ) -- see lift -- lift to another ring
• lift(Matrix,type of RR_*,type of ZZ) -- see lift -- lift to another ring
• lift(Matrix,type of RRi_*,type of QQ) -- see lift -- lift to another ring
• lift(Matrix,type of RRi_*,type of RR_*) -- see lift -- lift to another ring
• lift(Matrix,type of RRi_*,type of ZZ) -- see lift -- lift to another ring
• lift(Matrix,type of ZZ,type of ZZ) -- see lift -- lift to another ring
• lift(Matrix,type of CC_*,type of CC_*) (missing documentation)
• lift(Matrix,type of RR_*,type of RR_*) (missing documentation)
• LLL(Matrix) -- see LLL -- compute an LLL basis
• LUdecomposition(Matrix) -- see LUdecomposition -- LU decomposition
• map(CoherentSheaf,CoherentSheaf,Matrix) (missing documentation)
• map(CoherentSheaf,CoherentSheaf,Matrix,InfiniteNumber) (missing documentation)
• map(CoherentSheaf,CoherentSheaf,Matrix,ZZ) (missing documentation)
• map(Ring,Matrix) -- make a ring map
• map(Ring,Ring,Matrix) -- make a ring map
• markedGB(Matrix,Matrix) -- make a marked Gröbner basis
• Matrix * InfiniteNumber (missing documentation)
• Matrix ** RingElement -- a binary operator, usually used for tensor product or Cartesian product
• Matrix // RingElement -- see Matrix // Matrix -- factor a map through another
• Matrix \\ Matrix -- see Matrix // Matrix -- factor a map through another
• Matrix \\ RingElement -- see Matrix // Matrix -- factor a map through another
• RingElement // Matrix -- see Matrix // Matrix -- factor a map through another
• RingElement \\ Matrix -- see Matrix // Matrix -- factor a map through another
• Matrix \\ Number (missing documentation)
• Matrix _ Sequence -- get entry of matrix
• Matrix | Number -- see Matrix | Matrix -- join matrices horizontally
• Matrix | RingElement -- see Matrix | Matrix -- join matrices horizontally
• Number | Matrix -- see Matrix | Matrix -- join matrices horizontally
• RingElement | Matrix -- see Matrix | Matrix -- join matrices horizontally
• Matrix || Number -- see Matrix || Matrix -- join matrices vertically
• Matrix || RingElement -- see Matrix || Matrix -- join matrices vertically
• Number || Matrix -- see Matrix || Matrix -- join matrices vertically
• RingElement || Matrix -- see Matrix || Matrix -- join matrices vertically
• Matrix Vector (missing documentation)
• Matrix % RingElement -- see methods for normal forms and remainder -- normal form of ring elements and matrices
• RingElement % Matrix -- see methods for normal forms and remainder -- normal form of ring elements and matrices
• minors(ZZ,Matrix) -- ideal generated by minors
• monomialIdeal(Matrix) -- monomial ideal of lead monomials
• monomials(Matrix) -- see monomials -- matrix of monomials in a ring element or matrix
• mutableMatrix(Matrix) -- see mutableMatrix -- make a mutable matrix
• newCoordinateSystem(PolynomialRing,Matrix) -- see newCoordinateSystem -- change variables
• norm(InfiniteNumber,Matrix) -- see norm
• norm(Matrix) -- see norm
• norm(RR,Matrix) -- see norm
• Number \\ Matrix (missing documentation)
• numColumns(Matrix) -- number of columns in a matrix or mutable matrix
• numeric(Matrix) -- see numeric -- convert to floating point
• numeric(ZZ,Matrix) -- see numeric -- convert to floating point
• numRows(Matrix) -- number of rows in a matrix or mutable matrix
• permanents(ZZ,Matrix) -- see permanents -- ideal generated by square permanents of a matrix
• pfaffians(ZZ,Matrix) -- see pfaffians -- ideal generated by Pfaffians
• pivots(Matrix) -- list of pivot locations of a matrix
• precision(Matrix) -- see precision
• preimage(Matrix,Module) -- see preimage -- preimage of a map
• pullback(Matrix,Matrix) (missing documentation)
• pushout(Matrix,Matrix) (missing documentation)
• QRDecomposition(Matrix) -- see QRDecomposition -- compute a QR decomposition of a real matrix
• rank(Matrix) -- see rank -- compute the rank
• reducedRowEchelonForm(Matrix) -- see reducedRowEchelonForm -- compute the reduced row echelon form of a matrix or mutable matrix over a field
• resolution(Matrix) -- given a module map represented by a matrix, produce a comparison map between resolutions of its source and target
• ring(Matrix) -- see ring -- get the associated ring of an object
• ringFromFractions(Matrix,RingElement) -- see ringFromFractions -- find presentation for f.g. ring
• rsort(Matrix) -- see rsort -- sort a list or matrix in reverse order
• sheafMap(Matrix) (missing documentation)
• sheafMap(Matrix,ZZ) (missing documentation)
• simpleDocFrob(ZZ,Matrix) -- see simpleDocFrob -- a sample documentation node
• smithNormalForm(Matrix) -- smith normal form for a matrix over ZZ or a PID
• solve(Matrix,Matrix) -- see solve -- solve linear equation(s)
• solve(Matrix,Vector) (missing documentation)
• sort(Matrix) -- sort the columns of a matrix
• sortColumns(Matrix) -- see sortColumns -- permutation giving sort order
• source(Matrix) -- find the source module of matrix
• submatrix'(Matrix,Nothing,Nothing) -- see submatrix' -- exclude rows and/or columns of a matrix
• submatrix'(Matrix,Nothing,VisibleList) -- see submatrix' -- exclude rows and/or columns of a matrix
• submatrix'(Matrix,VisibleList) -- see submatrix' -- exclude rows and/or columns of a matrix
• submatrix'(Matrix,VisibleList,Nothing) -- see submatrix' -- exclude rows and/or columns of a matrix
• submatrix'(Matrix,VisibleList,VisibleList) -- see submatrix' -- exclude rows and/or columns of a matrix
• submatrix(Matrix,VisibleList) -- select columns
• submatrix(Matrix,VisibleList,VisibleList) -- select part of a matrix
• submatrixByDegrees(Matrix,List,List) -- see submatrixByDegrees -- submatrix consisting of rows and columns in an interval or box of degrees
• submatrixByDegrees(Matrix,Sequence,Sequence) -- see submatrixByDegrees -- submatrix consisting of rows and columns in an interval or box of degrees
• submatrixByDegrees(Matrix,ZZ,ZZ) -- see submatrixByDegrees -- submatrix consisting of rows and columns in an interval or box of degrees
• subquotient(Matrix,Matrix) -- see subquotient -- make a subquotient module
• subquotient(Matrix,Nothing) -- see subquotient -- make a subquotient module
• subquotient(Module,Matrix,Matrix) -- see subquotient -- make a subquotient module
• subquotient(Module,Matrix,Nothing) -- see subquotient -- make a subquotient module
• subquotient(Module,Nothing,Matrix) -- see subquotient -- make a subquotient module
• subquotient(Nothing,Matrix) -- see subquotient -- make a subquotient module
• substitute(Ideal,Matrix) -- see substitute -- substituting values for variables
• substitute(Matrix,Option) -- see substitute -- substituting values for variables
• substitute(Module,Matrix) -- see substitute -- substituting values for variables
• substitute(RingElement,Matrix) -- see substitute -- substituting values for variables
• substitute(Vector,Matrix) -- see substitute -- substituting values for variables
• support(Matrix) -- see support -- list of variables occurring in a polynomial or matrix
• SVD(Matrix) -- see SVD -- singular value decomposition of a matrix
• symmetricAlgebra(Matrix) -- see symmetricAlgebra -- the symmetric algebra of a module
• symmetricAlgebra(Nothing,Nothing,Matrix) -- see symmetricAlgebra -- the symmetric algebra of a module
• symmetricAlgebra(Nothing,Ring,Matrix) -- see symmetricAlgebra -- the symmetric algebra of a module
• symmetricAlgebra(Ring,Nothing,Matrix) -- see symmetricAlgebra -- the symmetric algebra of a module
• symmetricAlgebra(Ring,Ring,Matrix) -- see symmetricAlgebra -- the symmetric algebra of a module
• symmetricKernel(Matrix) -- see symmetricKernel -- Compute the Rees ring of the image of a matrix
• target(Matrix) -- find the target module of matrix
• toDividedPowers(Matrix) -- see toDividedPowers -- Translates to divided power monomial basis from ordinary monomial basis
• topCoefficients(Matrix) -- see topCoefficients -- first variable and its coefficient of a polynomial or matrix
• Tor_ZZ(Ideal,Matrix) (missing documentation)
• Tor_ZZ(Matrix,Ideal) (missing documentation)
• Tor_ZZ(Matrix,Ring) (missing documentation)
• Tor_ZZ(Ring,Matrix) (missing documentation)
• trace(Matrix) -- trace of a matrix
• truncate(ZZ,Matrix) -- see truncate(List,Matrix) -- truncation of a map of free modules
• vector(Matrix) -- see vector -- make a vector
• vector(Module,Matrix) -- see vector -- make a vector

For the programmer

The object Matrix is a type, with ancestor classes HashTable < Thing.