The function feasible returns true if a feasible solution to the linear system C exists, and false otherwise.

Non-negativity constraints on all the variables can be indicated by use of a second argument, NONNEGATIVE, or by explicitly listing the constraints. No restriction on the signs of the variable may be indicated by using UNRESTRICTED as the second argument to feasible.

The final two arguments are used to return, as sets, the final system found by feasible, and any variable transformations which occurred. The new system may have global artificial and slack variables present (such as  _AR or _SL1).

The command with(simplex,feasible) allows the use of the abbreviated form of this command.