An algorithm for computing compatibly Frobenius split subvarieties

This paper describes an algorithm which produces all ideals compatible with a given surjective Frobenius near-splitting.