schreyerOrder(Module) -- obtain Schreyer order information
Synopsis
-
Function: schreyerOrder
-
- Usage:
schreyerOrder F
-
Inputs:
-
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.