schreyerOrder(Module) -- obtain Schreyer order information

Synopsis

• 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.

Description

For examples, see Schreyer orders, and schreyerOrder(Matrix).

See also

• monomial orders for free modules