specialFiber(Module) -- compute the special fiber of the image of a matrix over a

Synopsis

• Usage:

  specialFiber(M)

• Function: specialFiber
• Inputs:

  • f, a module, a a module
• Outputs:

  • an an ideal defining the special fiber
• Optional inputs:

  • Strategy => ..., -- Allows the user to define the matrix, ideal, or module over a polynomial ring and then set an ideal to compute the special fiber over a quotient ring defined by Strategy
  • Variable => ..., -- specialFiber introduces new variables and the option Variable allows the user to specify a variable name for this purpose, the default is

Description