A generic free module M is created by giving the coefficient ring P (which may be a polynomial ring or a quotient of such), the degree r, and, optionally, an argument specifying the type of module order. The ideal I corresponding to M is the column-extended ideal of P with the basis consisting of the module polynomials 1[c] for each column c.
The following functions create generic free modules with the default weights of
0 for each column.
Module(P, r) : Rng, RngIntElt -> RngMPol
Given a multivariate polynomial ring or quotient ring P over a field K, create the generic free module of degree r over P with TOP module order.
Given a multivariate polynomial ring or quotient ring P over a field K, create the generic free module of degree r over P with order specified by the string S. S may be the string "top" or the string "pot".
The following functions create graded generic free modules.
Module(P, W) : Rng, [ RngIntElt ] -> RngMPol
Given a multivariate polynomial ring or quotient ring P over a field K, together with an integer sequence W of length r, create the generic free module of degree r over P with TOP order and with column weights given by W.
Given a multivariate polynomial ring or quotient ring P over a field K, together with an integer sequence W of length r and a string S, create the generic free module of degree r over P with order specified by the string S and with column weights given by W. S may be the string "top" or the string "pot".
> P<x, y, z> := PolynomialRing(RationalField(), 3); > M := Module(P, 3); > M; Full Module of degree 3 TOP Order Coefficient ring: Polynomial ring of rank 3 over Rational Field Lexicographical Order Variables: x, y, z > GM := Module(P, [1, 2, 3], "pot"); > GM; Full Module of degree 3 POT Order Column weights: 1 2 3 Coefficient ring: Polynomial ring of rank 3 over Rational Field Lexicographical Order Variables: x, y, zWe now construct a module over a quotient ring.
> P<x, y, z> := PolynomialRing(RationalField(), 3); > Q<a, b, c> := quo<P | y^3 + z*x - 2>; > M := Module(Q, 3); > M; Full Quotient Module of degree 3 TOP Order Coefficient ring: Ideal of Quotient Ring by Ideal of Polynomial ring of rank 3 over Rational Field Lexicographical Order Variables: x, y, z Basis: [ x*z + y^3 - 2 ] Preimage ideal: Polynomial ring of rank 3 over Rational Field Lexicographical Order Variables: x, y, z Quotient Relations: ( 0 0 x*z + y^3 - 2) ( 0 x*z + y^3 - 2 0) (x*z + y^3 - 2 0 0)