Global variable
linear_solver
Default value: linsolve
linsolve
linear_solver names the solver which is used to solve the system of equations in Zeilberger's algorithm.