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