| fastAntiClosure | Math.RootLoci.Geometry.Mobius, Math.RootLoci.Geometry |
| fastClosure | Math.RootLoci.Geometry.Mobius, Math.RootLoci.Geometry |
| filterGrade | Math.RootLoci.Algebra.SymmPoly, Math.RootLoci.Algebra |
| finerThan | Math.RootLoci.Geometry.Mobius, Math.RootLoci.Geometry |
| firstLevelDown | Math.RootLoci.Geometry.Mobius, Math.RootLoci.Geometry |
| firstLevelDownSetP | Math.RootLoci.Geometry.Mobius, Math.RootLoci.Geometry |
| firstLevelUp | Math.RootLoci.Geometry.Mobius, Math.RootLoci.Geometry |
| forgetEquiv | Math.RootLoci.Geometry.Cohomology, Math.RootLoci.Geometry |
| forgetGamma | Math.RootLoci.Geometry.Cohomology, Math.RootLoci.Geometry |
| formulaAnyStratumCSM | Math.RootLoci.CSM.Equivariant.Ordered |
| formulaDistinctCSM | Math.RootLoci.CSM.Equivariant.Ordered |
| formulaQPoly | Math.RootLoci.CSM.Equivariant.Ordered |
| FreeMod | Math.RootLoci.Algebra |
| fromAB | Math.RootLoci.Algebra.SymmPoly, Math.RootLoci.Algebra |
| fromChern | Math.RootLoci.Algebra.SymmPoly, Math.RootLoci.Algebra |
| fromRat | Math.RootLoci.Misc.Common, Math.RootLoci.Misc |
| fromSchur | Math.RootLoci.Algebra.SymmPoly, Math.RootLoci.Algebra |