extractEntries -- Inverse of moduleToSubringIdeal

Synopsis

• Usage:

  result = extractEntries(M, gVars)

• Inputs:
  • M, a matrix, a 1-column matrix of elements of a subring ideal
  • gVars, a matrix, a 1-row matrix containing the variables that correspond to the generators of the module.
• Outputs:
  • result, a matrix,

Description

i1 : R = QQ[a, b, c, x_1, x_2, x_3];

i2 : extractEntries(matrix {{a*x_1 + b*x_2 + c*x_3}}, matrix {{x_1, x_2, x_3}})

o2 = | c b a |

             1       3
o2 : Matrix R  <--- R

i3 : extractEntries(matrix {{a*x_1 + b*x_2 + c*x_3},{a*x_1 + a*x_2 + a*x_3}}, matrix {{x_1, x_2, x_3}} )

o3 = | c b a |
     | a a a |

             2       3
o3 : Matrix R  <--- R

See also

• moduleToSubringIdeal(Subring,Matrix) -- Convert a module as a matrix to a subring ideal.