New monomial selection algorithm that uses facial reduction (Permenter,
Parrilo '14)