C = res(I, FastNonminimal => true, ...)
Given an inhomogeneous, singly-graded, or multi-graded ideal or module, this function computes a non-minimal free resolution. If the input is an ideal $I \subset S$, it computes a non-minimal resolution of $S^1/I$.
A key benefit of this function is that it allows a much faster method for computing the betti numbers of the minimal free resolution. If that is your only interest (i.e. you don't need the complex itself), instead use minimalBetti. However, minimalBetti currently only works for single gradings, not multi-gradings.
|
|
|
|
|
For a non-minimal resolution, betti gives the actual Betti numbers, and using the betti(...,Minimize=>...) option gives the ranks in a minimal resolution (which is itself not computed).
|
|
As mentioned above, if you are just interested in the minimal betti numbers of the ideal or module, then use minimalBetti, as it avoids construction of the non-minimal free resolution.
|
If the resolution is not large, this function can be slower than the usual function resolution. But for larger examples, if one is only interested in the betti numbers, this function can be hundreds or thousands of times faster.
If the input module is not graded, or is multi-graded, this function still works. However, minimalBetti does not work in these cases. In the inhomogeneous case, the returned free resolution is often highly non minimal. Of course, there is no notion of minimal resolution in this case, but one can use pruneComplex to clean up the returned complex.
|
|
|
|
|
If one has a specific Groebner basis on which one wants to base the Schreyer resolution, use Strategy=>5. This will not check that the input forms a Groebner basis, but if it does not, then the function will either produce non-sensical answers, or fail.
|
|
|
|
Note that Strategy=>4 or Strategy=>5 implies FastNonminimal.
|
|
Released in M2 1.9, still experimental. Only works over finite prime fields. Uses quite a lot of memory. For inhomogeneous ideals or modules, the monomial order must be a degree order. For multi-graded ideals or modules, minimalBetti is not yet implemented.
The object FastNonminimal is a symbol.