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(Module) -- compute the special fiber of the image of a matrix over a