# Faugère's F4 Algorithm

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...

Does anyone know if it is currently included in Sage?