universalEmbedding -- Compute the universal embedding

Synopsis

• Optional inputs:

  • Strategy => ..., -- Allows the user to define the matrix, ideal, or module over a polynomial ring and then set an ideal to compute a the univeral embedding over a quotient ring defined by Strategy