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
Ways to use specialFiber :
specialFiber(Ideal) -- compute the special fiber of the image of a matrix over a quotient ring
specialFiber(Matrix) -- compute the special fiber of the image of a matrix over a quotient ring
specialFiber(Module) -- compute the special fiber of the image of a matrix over a