schreyerOrder(Module) -- obtain Schreyer order information

• Function: schreyerOrder

• Usage:

  schreyerOrder F

• Inputs:
  • F, a module, a free module
• Outputs:
  • a matrix, the zero matrix, if F is not equipped with a Schreyer order, otherwise a matrix with source F, such that the monomial order on F is the one induced by this matrix.