Tasks for Ruby

[ndattani]

• need an example for negative term FGBZ
• "In combination with \ref{subsec:Negative-Monomial-Reduction}, it can reduce $t$ positive terms of degree $k$ in $n$ variables using $n+t(k-1)$ auxiliary variables in the worst case." applies to positive-term FGBZ, but needs to be modified for negative-term FGBZ.
• Summary and Example sections need to be re-done from scratch for Pairwise Covers