oiRes(L, n)
Computes an OIresolution of the submodule generated by L out to homological degree n. If L consists of homogeneous elements, then the resulting resolution will be graded and minimal out to homological degree $n1$. The Verbose option must be either true or false, depending on whether one wants debug information printed.
The Strategy option has the following permissible values:
The TopNonminimal option must be either true or false, depending on whether one wants the Gröbner basis in homological degree $n1$ to be minimized. Therefore, use TopNonminimal => true for no minimization of the basis in degree $n1$.





The object oiRes is a method function with options.