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