Frobenius splitting (source code)

= Frobenius splitting
{wiki=Frobenius_splitting}