QuillenSuslin : Index

• changeVar -- computes a change of variables which make the first entry of a unimodular row monic in a specified variable
• changeVar(Matrix,List) -- computes a change of variables which make the first entry of a unimodular row monic in a specified variable
• CheckProjective -- optional input which gives the user the option to check whether the given module is projective
• CheckUnimodular -- optional input which gives the user the option to check whether the given matrix is unimodular
• completeMatrix -- completes a unimodular matrix over a polynomial ring or Laurent polynomial ring to a square invertible matrix
• completeMatrix(Matrix) -- completes a unimodular matrix over a polynomial ring or Laurent polynomial ring to a square invertible matrix
• computeFreeBasis -- computes a free basis of a projective module
• computeFreeBasis(...,CheckProjective=>...) -- computes a free basis of a projective module
• computeFreeBasis(Ideal) -- computes a free basis of a projective module
• computeFreeBasis(Module) -- computes a free basis of a projective module
• getMaxIdeal -- computes a maximal ideal containing a given ideal in a polynomial ring
• getMaxIdeal(Ideal) -- computes a maximal ideal containing a given ideal in a polynomial ring
• getMaxIdeal(Ideal,List) -- computes a maximal ideal containing a given ideal in a polynomial ring
• horrocks -- computes a local solution to the unimodular row problem over a localization at a maximal ideal
• horrocks(...,CheckUnimodular=>...) -- computes a local solution to the unimodular row problem over a localization at a maximal ideal
• horrocks(...,Verbose=>...) -- computes a maximal ideal containing a given ideal in a polynomial ring
• horrocks(Matrix,RingElement,Ideal) -- computes a local solution to the unimodular row problem over a localization at a maximal ideal
• isProjective -- determines if a given module is projective with constant rank over a Noetherian ring
• isProjective(Module) -- determines if a given module is projective with constant rank over a Noetherian ring
• isUnimodular -- determines if a given matrix is unimodular
• isUnimodular(Matrix) -- determines if a given matrix is unimodular
• maxMinors -- computes the ideal generated by the maximal non-vanishing minors of a given matrix
• maxMinors(Matrix) -- computes the ideal generated by the maximal non-vanishing minors of a given matrix
• patch -- patch together local solutions to eliminate a variable
• patch(List,RingElement) -- patch together local solutions to eliminate a variable
• qsAlgorithm -- computes a solution to the unimodular matrix problem
• qsAlgorithm(...,CheckUnimodular=>...) -- computes a solution to the unimodular matrix problem
• qsAlgorithm(Matrix) -- computes a solution to the unimodular matrix problem
• qsIsomorphism -- computes an isomorphism between a free module and a given projective module
• qsIsomorphism(...,CheckProjective=>...) -- computes an isomorphism between a free module and a given projective module
• qsIsomorphism(Module) -- computes an isomorphism between a free module and a given projective module
• QuillenSuslin -- computes a free basis of a projective module over a polynomial ring