Resolution #27
Description
Implement resolution using the gröbner basis interface; see [CLO05, p. 253-256].
[CLO05] Cox, A. David & Little, John & O'Shea, Donal
Using Algebraic Geometry.
Graduate Texts in Mathematics, 2005.
https://doi.org/10.1007/b138611