| F | Math.Projects.RootSystem |
| f | Math.Projects.Rubik |
| F11 | |
| 1 (Type/Class) | Math.Algebra.Field.Base |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f11 | |
| 1 (Function) | Math.Algebra.Field.Base |
| 2 (Function) | Math.Core.Field |
| F13 | |
| 1 (Type/Class) | Math.Algebra.Field.Base |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f13 | |
| 1 (Function) | Math.Algebra.Field.Base |
| 2 (Function) | Math.Core.Field |
| F16 | |
| 1 (Type/Class) | Math.Algebra.Field.Extension |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f16 | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.Core.Field |
| F17 | |
| 1 (Type/Class) | Math.Algebra.Field.Base |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f17 | |
| 1 (Function) | Math.Algebra.Field.Base |
| 2 (Function) | Math.Core.Field |
| F19 | |
| 1 (Type/Class) | Math.Algebra.Field.Base |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f19 | |
| 1 (Function) | Math.Algebra.Field.Base |
| 2 (Function) | Math.Core.Field |
| F2 | |
| 1 (Type/Class) | Math.Algebra.Field.Base |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f2 | |
| 1 (Function) | Math.Algebra.Field.Base |
| 2 (Function) | Math.Core.Field |
| F23 | |
| 1 (Type/Class) | Math.Algebra.Field.Base |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f23 | |
| 1 (Function) | Math.Algebra.Field.Base |
| 2 (Function) | Math.Core.Field |
| F25 | |
| 1 (Type/Class) | Math.Algebra.Field.Extension |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f25 | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.Core.Field |
| F27 | Math.Algebra.Field.Extension |
| f27 | Math.Algebra.Field.Extension |
| F29 | Math.Algebra.Field.Base |
| f29 | Math.Algebra.Field.Base |
| F3 | |
| 1 (Type/Class) | Math.Algebra.Field.Base |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f3 | |
| 1 (Function) | Math.Algebra.Field.Base |
| 2 (Function) | Math.Core.Field |
| F31 | Math.Algebra.Field.Base |
| f31 | Math.Algebra.Field.Base |
| F32 | Math.Algebra.Field.Extension |
| f32 | Math.Algebra.Field.Extension |
| F37 | Math.Algebra.Field.Base |
| f37 | Math.Algebra.Field.Base |
| F4 | |
| 1 (Type/Class) | Math.Algebra.Field.Extension |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f4 | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.Core.Field |
| F41 | Math.Algebra.Field.Base |
| f41 | Math.Algebra.Field.Base |
| F43 | Math.Algebra.Field.Base |
| f43 | Math.Algebra.Field.Base |
| F47 | Math.Algebra.Field.Base |
| f47 | Math.Algebra.Field.Base |
| F5 | |
| 1 (Type/Class) | Math.Algebra.Field.Base |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f5 | |
| 1 (Function) | Math.Algebra.Field.Base |
| 2 (Function) | Math.Core.Field |
| F53 | Math.Algebra.Field.Base |
| f53 | Math.Algebra.Field.Base |
| F59 | Math.Algebra.Field.Base |
| f59 | Math.Algebra.Field.Base |
| F61 | Math.Algebra.Field.Base |
| f61 | Math.Algebra.Field.Base |
| F67 | Math.Algebra.Field.Base |
| f67 | Math.Algebra.Field.Base |
| F7 | |
| 1 (Type/Class) | Math.Algebra.Field.Base |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f7 | |
| 1 (Function) | Math.Algebra.Field.Base |
| 2 (Function) | Math.Core.Field |
| 3 (Function) | Math.Combinatorics.Matroid |
| F71 | Math.Algebra.Field.Base |
| f71 | Math.Algebra.Field.Base |
| F73 | Math.Algebra.Field.Base |
| f73 | Math.Algebra.Field.Base |
| F79 | Math.Algebra.Field.Base |
| f79 | Math.Algebra.Field.Base |
| f7m | Math.Combinatorics.Matroid |
| F8 | |
| 1 (Type/Class) | Math.Algebra.Field.Extension |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| f8 | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.Core.Field |
| F83 | Math.Algebra.Field.Base |
| f83 | Math.Algebra.Field.Base |
| F89 | Math.Algebra.Field.Base |
| f89 | Math.Algebra.Field.Base |
| F9 | |
| 1 (Type/Class) | Math.Algebra.Field.Extension |
| 2 (Type/Class) | Math.Core.Field |
| 3 (Data Constructor) | Math.Core.Field |
| 4 (Type/Class) | Math.Projects.MiniquaternionGeometry |
| 5 (Data Constructor) | Math.Projects.MiniquaternionGeometry |
| f9 | |
| 1 (Function) | Math.Algebra.Field.Extension |
| 2 (Function) | Math.Core.Field |
| 3 (Function) | Math.Projects.MiniquaternionGeometry |
| F97 | Math.Algebra.Field.Base |
| f97 | Math.Algebra.Field.Base |
| factorial | Math.Projects.RootSystem |
| fanoPlane | |
| 1 (Function) | Math.Combinatorics.Design |
| 2 (Function) | Math.Combinatorics.Hypergraph |
| far | Math.QuantumAlgebra.TensorCategory |
| fcig | Math.Combinatorics.Matroid |
| fcim | Math.Combinatorics.Matroid |
| fcim' | Math.Combinatorics.Matroid |
| FinCard | Math.QuantumAlgebra.TensorCategory |
| FinCardAr | Math.QuantumAlgebra.TensorCategory |
| finCardAr | Math.QuantumAlgebra.TensorCategory |
| FinCardOb | Math.QuantumAlgebra.TensorCategory |
| findBase | Math.Algebra.Group.SchreierSims |
| findCycles | Math.Combinatorics.Graph |
| findlambda | Math.Combinatorics.Design |
| findLatinSqs | Math.Combinatorics.LatinSquares |
| findMOLS | Math.Combinatorics.LatinSquares |
| findOvals | Math.Projects.MiniquaternionGeometry |
| findOvals1 | Math.Projects.MiniquaternionGeometry |
| findOverlap | |
| 1 (Function) | Math.Algebra.Group.StringRewriting |
| 2 (Function) | Math.Algebra.NonCommutative.GSBasis |
| findPaths | Math.Combinatorics.Graph |
| findQuadrangles | Math.Projects.MiniquaternionGeometry |
| findvk | Math.Combinatorics.Design |
| FiniteField | Math.Algebra.Field.Base |
| FinOrd | Math.QuantumAlgebra.TensorCategory |
| FinOrdAr | Math.QuantumAlgebra.TensorCategory |
| finOrdAr | Math.QuantumAlgebra.TensorCategory |
| FinOrdOb | Math.QuantumAlgebra.TensorCategory |
| finPerm | Math.QuantumAlgebra.TensorCategory |
| FinSet | Math.Core.Utils |
| flats | Math.Combinatorics.Matroid |
| flats1 | Math.Combinatorics.Matroid |
| flatsAG | Math.Combinatorics.FiniteGeometry |
| flatsDesignAG | Math.Combinatorics.Design |
| flatsDesignPG | Math.Combinatorics.Design |
| flatsPG | Math.Combinatorics.FiniteGeometry |
| flatten | Math.Combinatorics.CombinatorialHopfAlgebra |
| flipbind | Math.CommutativeAlgebra.Polynomial |
| fmapExt | Math.Algebras.TensorAlgebra |
| fmapExt' | Math.Algebras.TensorAlgebra |
| fmapP | Math.Algebra.Group.PermutationGroup |
| fmapSym | Math.Algebras.TensorAlgebra |
| fmapSym' | Math.Algebras.TensorAlgebra |
| fmapTA | Math.Algebras.TensorAlgebra |
| fmapTA' | Math.Algebras.TensorAlgebra |
| fMatrix | Math.Algebra.LinearAlgebra |
| fMatrix' | Math.Algebra.LinearAlgebra |
| fob | Math.QuantumAlgebra.TensorCategory |
| foldcmpl | Math.Core.Utils |
| form | Math.Projects.RootSystem |
| Fp | |
| 1 (Type/Class) | Math.Algebra.Field.Base |
| 2 (Data Constructor) | Math.Algebra.Field.Base |
| frobeniusAut | Math.Algebra.Field.Extension |
| fromAdjacencyMatrix | Math.Combinatorics.Graph |
| fromBase | Math.Core.Utils |
| fromBases | Math.Combinatorics.Matroid |
| fromBinary | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Combinatorics.Graph |
| fromBinary' | Math.Algebra.Group.PermutationGroup |
| fromBraid | |
| 1 (Function) | Math.Projects.KnotTheory.TemperleyLieb |
| 2 (Function) | Math.Projects.KnotTheory.IwahoriHecke |
| fromCircuits | Math.Combinatorics.Matroid |
| fromClosure | Math.Combinatorics.Matroid |
| fromCoxeterMatrix | Math.Projects.RootSystem |
| fromCoxeterMatrix2 | Math.Projects.RootSystem |
| fromCycles | Math.Algebra.Group.PermutationGroup |
| fromDesign | Math.Combinatorics.Hypergraph |
| fromDigits | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Combinatorics.Graph |
| fromDigits' | Math.Algebra.Group.PermutationGroup |
| fromElimSnd | Math.CommutativeAlgebra.GroebnerBasis |
| fromFlats | Math.Combinatorics.Matroid |
| fromFlats' | Math.Combinatorics.Matroid |
| fromGeoRep | Math.Combinatorics.Matroid |
| fromGraph | Math.Combinatorics.Hypergraph |
| fromHyperplanes | Math.Combinatorics.Matroid |
| fromHyperplanes1 | Math.Combinatorics.Matroid |
| fromIncidenceMatrix | |
| 1 (Function) | Math.Combinatorics.Graph |
| 2 (Function) | Math.Combinatorics.Hypergraph |
| fromIndeps | Math.Combinatorics.Matroid |
| fromIndeps1 | Math.Combinatorics.Matroid |
| fromList | |
| 1 (Function) | Math.Algebra.Group.PermutationGroup |
| 2 (Function) | Math.Projects.ChevalleyGroup.Exceptional |
| fromLS | Math.Combinatorics.LatinSquares |
| fromMOLS | Math.Combinatorics.LatinSquares |
| fromPairs | Math.Algebra.Group.PermutationGroup |
| fromPairs' | Math.Algebra.Group.PermutationGroup |
| fromProjectivePlane | Math.Combinatorics.LatinSquares |
| fromRankfun | Math.Combinatorics.Matroid |
| fromTrans | Math.Algebra.Group.CayleyGraph |
| fromTranspositions | Math.Algebra.Group.CayleyGraph |
| fundamentalCircuit | Math.Combinatorics.Matroid |
| fundamentalCircuitIncidenceMatrix | Math.Combinatorics.Matroid |
| fundamentalCircuitIncidenceMatrix' | Math.Combinatorics.Matroid |