Rename S-polynomial function.
Rename syzygy-pairs function.
Add sec3-2.