schreyerOrder(Module) -- obtain Schreyer order information

Synopsis

• Usage:

  schreyerOrder F

• Function: schreyerOrder
• 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 the monomial order on F is the one induced by this matrix.

Description

See also

• monomial orders for free modules