There are many places online which mention that Faugère's F4 (and even F5) algorithms are included (or were going to be included) in Sage, but the only result in the documentation I can find is here: http://www.sagemath.org/doc/reference/sage/rings/polynomial/pbori.html?highlight=faugere#sage.rings.polynomial.pbori.GroebnerStrategy.faugere_step_dense
Does anyone know if it is currently included in Sage?
