CheckProjective -- optional input which gives the user the option to check whether the given module is projective

Functions with optional argument named CheckProjective :

• computeFreeBasis(...,CheckProjective=>...) -- see computeFreeBasis -- computes a free basis of a projective module
• qsIsomorphism(...,CheckProjective=>...) -- see qsIsomorphism -- computes an isomorphism between a free module and a given projective module